blob: bd6d4ff3445b7b7360d945365ef0c966eb3fd3c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
(* TEST
modules = "offset.ml pr6726.ml pr7427.ml pr4008.ml"
*)
(* PR#6435 *)
module F (M : sig
type t
module Set : Set.S with type elt = t
end) =
struct
let test set = Printf.printf "%d\n" (M.Set.cardinal set)
end
module M = F (Offset)
let () = M.test (Offset.M.Set.singleton "42")
let v = Pr6726.Test.v
let v = Pr4008.v
(* PR#7427 *)
let () =
try
let module M = Pr7427.F () in
failwith "Test failed"
with Assert_failure _ -> ()
|
