Skip to content

Commit ae1bd80

Browse files
committed
removing accidental duplication of the extended List module
1 parent 5dc5828 commit ae1bd80

File tree

1 file changed

+0
-20
lines changed

1 file changed

+0
-20
lines changed

quickCheck.ml

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -47,26 +47,6 @@ module List = struct
4747
let group xs = groupBy (=) xs
4848
end
4949

50-
module List = struct
51-
include List
52-
let rec span : ('a -> bool) -> 'a list -> 'a list * 'a list =
53-
fun p -> function
54-
[] -> [],[]
55-
| x::xs when p x ->
56-
let ys,zs = span p xs in
57-
(x::ys,zs)
58-
| xs -> [],xs
59-
60-
let rec groupBy : ('a -> 'a -> bool) -> 'a list -> 'a list list =
61-
fun p -> function
62-
[] -> []
63-
| x::xs ->
64-
let ys,zs = span (p x) xs in
65-
(x::ys) :: groupBy p zs
66-
67-
let group xs = groupBy (=) xs
68-
end
69-
7050
type 'a gen = Gen of (int -> 'a)
7151
type pretty_str = Format.formatter -> unit -> unit
7252

0 commit comments

Comments
 (0)