From 74fb0a47257f4bb0a4979d40b6ac3ab201810cf8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 4 Feb 2013 20:41:58 +0100 Subject: [PATCH] test of fast iteration over integers --- tests.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/tests.ml b/tests.ml index 14cfd11..901b059 100644 --- a/tests.ml +++ b/tests.ml @@ -37,4 +37,9 @@ let _ = (Sequence.Array.to_seq (Sequence.Array.of_seq (Sequence.append (Sequence.take 5 (Sequence.List.to_seq l3)) (Sequence.List.to_seq l4)))); + (* sum *) + let n = 200000000 in + let sum = Sequence.fold (+) 0 (Sequence.take n (Sequence.Int.repeat 1)) in + Format.printf "%dx1 = %d@." n sum; + assert (n=sum); ()