simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 03:05:28 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(list): support 4.03 (using CCList.init)

Browse source
This commit is contained in:
favonia 2021-05-22 21:29:21 -05:00
parent 6d2dc4ccf4
commit c030beaf52
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/CCList.ml
View file

@ -769,7 +769,7 @@ let sorted_diff ~cmp l1 l2 =
let l = sorted_diff ~cmp:CCInt.compare (List.sort CCInt.compare l1) (List.sort CCInt.compare l2) in \
l = sort CCInt.compare l) (* [is_sorted] is after this function *)
Q.(triple small_nat small_nat int) (fun (n1,n2,x) -> \
let l = sorted_diff ~cmp:CCInt.compare (List.init n1 (fun _ -> x)) (List.init n2 (fun _ -> x)) in \
let l = sorted_diff ~cmp:CCInt.compare (CCList.init n1 (fun _ -> x)) (CCList.init n2 (fun _ -> x)) in \
count (CCInt.equal x) l = CCInt.max (n1 - n2) 0)
*)