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

more warnings enabled; fix tests

Browse source
This commit is contained in:
Simon Cruanes 2014-11-04 22:28:39 +01:00
parent 22705b24f0
commit 0226a4cef5
3 changed files with 4 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
_tags
View file

@ -28,3 +28,4 @@
<bench/*.ml{,i}>: use_sequence
# OASIS_STOP
true: bin_annot
<**/*.ml>: warn_K, warn_Y, warn_X

6
sequence.ml
View file

@ -152,10 +152,6 @@ module MList = struct
let of_seq seq =
of_seq_with seq (fun _ -> ())
let is_empty = function
| Nil -> true
| Cons _ -> false
let rec iter f l = match l with
| Nil -> ()
| Cons (a, n, tl) ->
@ -618,8 +614,6 @@ module Set = struct
let of_seq seq = fold (fun set x -> X.add x set) X.empty seq
let of_list l = of_seq (of_list l)
let to_list set = to_list (to_seq set)
include X

5
tests/test_sequence.ml
View file

@ -56,7 +56,7 @@ let test_exists () =
let test_length () =
(1 -- 1000) |> S.length |> OUnit.assert_equal 1000
let test_concat () =
let test_concat2 () =
1 -- 1000
|> S.map (fun i -> (i -- (i+1)))
|> S.concat
@ -208,6 +208,7 @@ let suite =
[ "test_empty" >:: test_empty;
"test_repeat" >:: test_repeat;
"test_concat" >:: test_concat;
"test_concat2" >:: test_concat2;
"test_fold" >:: test_fold;
"test_foldi" >:: test_foldi;
"test_exists" >:: test_exists;
@ -231,5 +232,5 @@ let suite =
"test_hashtbl" >:: test_hashtbl;
"test_int_range" >:: test_int_range;
"test_take" >:: test_take;
"test_regression1" >:: test_regression1
"test_regression1" >:: test_regression1;
]