File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -39,7 +39,7 @@ q (Q.list Q.small_int) (fun l ->
3939q Q. small_int (fun size -> create ~size true |> cardinal = size);;
4040
4141q Q. small_int (fun size ->
42- create ~size true |> to_sorted_list = List . init size CCFun. id)
42+ create ~size true |> to_sorted_list = CCList . init size CCFun. id)
4343;;
4444
4545t ~name: (spf " line %d" __LINE__) @@ fun () ->
225225 let l1 = bv |> to_sorted_list in
226226 let l2 =
227227 CCList. init (length bv) (get bv)
228- |> List . mapi (fun i b -> i, b)
228+ |> CCList . mapi (fun i b -> i, b)
229229 |> CCList. filter_map (function
230230 | i , true -> Some i
231231 | _ -> None )
@@ -629,7 +629,7 @@ module Op = struct
629629 (* random list of integers *)
630630 let rand_list =
631631 0 -- 200 >> = fun n st ->
632- List . init n (fun i ->
632+ CCList . init n (fun i ->
633633 if bool st then
634634 Some i
635635 else
@@ -762,7 +762,7 @@ module Ref_ = struct
762762 | Filter_is_odd -> self.set < - Intset. filter (fun x -> x mod 2 = 1 ) self.set
763763 | Negate ->
764764 let l' =
765- List . init self.size (fun x -> x)
765+ CCList . init self.size (fun x -> x)
766766 |> List. filter (fun x -> not (Intset. mem x self.set))
767767 in
768768 self.set < - Intset. of_list l'
You can’t perform that action at this time.
0 commit comments