This commit is contained in:
Simon Cruanes 2015-09-08 00:12:38 +02:00
parent 981e521f3c
commit c2c344e8fc
2 changed files with 9 additions and 0 deletions

View file

@ -227,6 +227,8 @@ already in git (but can be reverted if needed):
- change signature of `CCDeque.of_seq` (remove optional argument) - change signature of `CCDeque.of_seq` (remove optional argument)
- heavily refactor `CCLinq` in `containers.advanced`. If you use this module, - heavily refactor `CCLinq` in `containers.advanced`. If you use this module,
you will most likely have to change your code (into simpler code, hopefully). you will most likely have to change your code (into simpler code, hopefully).
- `RAL` in `containers.misc` moved to `containers.data` as `CCRAL`, and is
getting improved on the way
## Build ## Build

View file

@ -65,6 +65,13 @@ let rec set l i v = match l with
get ral i = v)) get ral i = v))
*) *)
(*$Q & ~small:List.length
Q.(list small_int) (fun l -> \
let l1 = of_list l in \
CCList.Idx.mapi (fun i x -> i,x) l \
|> List.for_all (fun (i,x) -> get l1 i = x))
*)
let cons x l = match l with let cons x l = match l with
| Cons (size1, t1, Cons (size2, t2, l')) -> | Cons (size1, t1, Cons (size2, t2, l')) ->
if size1 = size2 if size1 = size2