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

Add tests.

Browse source
This commit is contained in:
Drup 2018-03-28 21:53:42 +02:00
parent 82715cc2cc
commit 3bc8dce19d
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/Sequence.ml
View file

@ -1321,6 +1321,14 @@ let sample k seq =
if !i < k then Array.sub a 0 (!i + 1)
else a
(*$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.length a = Pervasives.min (length seq) n) )
*)
(** {2 Infix functions} *)
module Infix = struct