more tests with sexprs

This commit is contained in:
Simon Cruanes 2013-02-05 09:57:42 +01:00
parent 8c8b09c94a
commit 855dd739e1

View file

@ -41,7 +41,7 @@ let _ =
(Sequence.take 5 (Sequence.List.to_seq l3)) (Sequence.List.to_seq l4))));
(* sum *)
let n = 100000000 in
let sum = Sequence.fold (+) 0 (Sequence.take n (Sequence.Int.repeat 1)) in
let sum = Sequence.fold (+) 0 (Sequence.take n (Sequence.repeat 1)) in
Format.printf "%dx1 = %d@." n sum;
assert (n=sum);
let s = Sexpr.of_seq (Sexpr.lex (Sequence.String.to_seq sexpr)) in
@ -50,4 +50,6 @@ let _ =
(Sexpr.traverse s))
in
Format.printf "@[<hov2>transform @[<h>%s@] into @[<h>%a@]@]@." sexpr (Sexpr.pp_sexpr ~indent:false) s;
Format.printf "@[<hv2> cycle:%a@]@." Sexpr.pp_tokens
(Sequence.concat (Sequence.take 10 (Sequence.repeat (Sexpr.traverse s))));
()