From bc622f636a3b29aadc422023681aebd58ff537e1 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 17 Jan 2018 20:04:03 -0600 Subject: [PATCH] fix tests for sequence 1.0 --- src/data/CCBV.ml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/data/CCBV.ml b/src/data/CCBV.ml index b0fa445c..793eb456 100644 --- a/src/data/CCBV.ml +++ b/src/data/CCBV.ml @@ -257,17 +257,21 @@ let iter bv f = [30; 100; 255; 256;10_000] *) +(*$inject + let seq_zip s k = s (fun x y -> k(x,y)) +*) + (*$= & ~printer:Q.Print.(list (pair int bool)) - [] (iter (create ~size:0 false) |> Sequence.zip |> Sequence.to_list) + [] (iter (create ~size:0 false) |> seq_zip |> Sequence.to_list) [0, false; 1, true; 2, false] \ - (iter (let bv = create ~size:3 false in set bv 1; bv) |> Sequence.zip |> Sequence.to_list) + (iter (let bv = create ~size:3 false in set bv 1; bv) |> seq_zip |> Sequence.to_list) *) (*$Q Q.(small_int) (fun n -> \ assert (n >= 0); \ let bv = create ~size:n true in \ - let l = iter bv |> Sequence.zip |> Sequence.to_list in \ + let l = iter bv |> seq_zip |> Sequence.to_list in \ List.length l = n && List.for_all (fun (_,b) -> b) l) *)