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

add another test

Browse source
This commit is contained in:
Simon Cruanes 2018-02-04 12:05:58 -06:00
parent 9e51f8dc77
commit 6b48fe873e
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/core/CCList.ml
View file

@ -1258,6 +1258,12 @@ let replicate i x =
repeat 2 [1;2;3] = [1;2;3;1;2;3] repeat 2 [1;2;3] = [1;2;3;1;2;3]
*) *)
(*$Q
Q.(pair small_int (list int)) (fun (n,l) -> \
if n>0 then repeat n l = flat_map (fun _ -> l) (1--n) \
else Q.assume_fail())
*)
let repeat i l = let repeat i l =
let rec aux acc i = let rec aux acc i =
if i = 0 then List.rev acc if i = 0 then List.rev acc