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

fix(test): compatibility fix for 4.02

Browse source
This commit is contained in:
Simon Cruanes 2018-03-28 15:39:21 -05:00
parent d3613ecfbf
commit 01ada1f11d
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/Sequence.ml
View file

@ -1321,11 +1321,20 @@ let sample k seq =
if !i < k then Array.sub a 0 (!i + 1)
else a
(*$inject
let array_for_all f a =
try
for i=0 to Array.length a-1 do
if not (f a.(i)) then raise Exit
done; true
with Exit -> false
*)
(*$QR
Q.(pair (list int) (1 -- 20)) (fun (l, n) ->
let seq = of_list l in
let a = sample n seq in
(Array.for_all (fun x -> exists ((=) x) seq) a)
(array_for_all (fun x -> exists ((=) x) seq) a)
&& (Array.length a = Pervasives.min (length seq) n) )
*)