mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-10 05:03:54 -05:00
fix invalid test in intmap
This commit is contained in:
parent
77e3e97dd0
commit
2440092eb5
1 changed files with 7 additions and 1 deletions
|
|
@ -614,9 +614,15 @@ let to_list t = fold (fun k v l -> (k,v) :: l) t []
|
||||||
|
|
||||||
(*$Q
|
(*$Q
|
||||||
Q.(list (pair int int)) (fun l -> \
|
Q.(list (pair int int)) (fun l -> \
|
||||||
of_list l |> cardinal = List.length l)
|
of_list l |> cardinal = List.length (l |> List.map fst |> CCList.sort_uniq ~cmp:CCInt.compare))
|
||||||
|
Q.(list (pair small_int int)) (fun l -> \
|
||||||
|
of_list l |> cardinal = List.length (l |> List.map fst |> CCList.sort_uniq ~cmp:CCInt.compare))
|
||||||
*)
|
*)
|
||||||
|
|
||||||
|
(*$= & ~printer:Q.Print.int
|
||||||
|
1 (let t = of_list [(197151390, 0); (197151390, 0)] in cardinal t)
|
||||||
|
*)
|
||||||
|
|
||||||
let add_iter t iter =
|
let add_iter t iter =
|
||||||
let t = ref t in
|
let t = ref t in
|
||||||
iter (fun (k,v) -> t := add k v !t);
|
iter (fun (k,v) -> t := add k v !t);
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue