blob: e576d93197416bb384418bf9e1d66b13241948b1 (
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
28
29
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
module M : sig
type 'a t
type u = u t and v = v t
val f : int -> u
val g : v -> bool
end = struct
type 'a t = 'a
type u = int and v = bool
let f x = x
let g x = x
end;;
let h (x : int) : bool = M.g (M.f x);;
(* TEST
flags = " -w -a -rectypes ";
ocamlc_byte_exit_status = "2";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
|
