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

qtest

Browse source
This commit is contained in:
Simon Cruanes 2014-05-12 15:30:13 +02:00
parent fcde09ca24
commit 1f36c9e02b
2 changed files with 15 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitignore vendored
View file

@ -8,4 +8,4 @@ TAGS
*.docdir *.docdir
setup.log setup.log
setup.data setup.data
qtest qtest*

14
circList.ml
View file

@ -51,6 +51,14 @@ let of_list l =
let length l = l.f_len + l.r_len let length l = l.f_len + l.r_len
(*$Q
(Q.list Q.small_int) (fun l -> \
l = [] || \
let q = of_list l in \
let _, q = next q in \
length q = List.length l)
*)
let cons x l = make (x::l.front) (l.f_len+1) l.rear l.r_len let cons x l = make (x::l.front) (l.f_len+1) l.rear l.r_len
let snoc l x = make l.front l.f_len (x::l.rear) (l.r_len+1) let snoc l x = make l.front l.f_len (x::l.rear) (l.r_len+1)
@ -113,6 +121,12 @@ let gen l =
l := l'; l := l';
Some x Some x
(*$Q
(Q.list Q.small_int) (fun l -> \
l = [] || let q = of_list l in \
gen q |> Gen.take (List.length l) |> Gen.to_list = l)
*)
let seq l k = let seq l k =
let r' = lazy (List.rev l.rear) in let r' = lazy (List.rev l.rear) in
while true do while true do