blob: faa2eaa4adf4a6cad898e2b9e454802c6df20cde (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(* TEST
flags = " -w -a ";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
module M (T:sig type t end)
= struct type t = private { t : T.t } end
module P
= struct
module T = struct type t end
module R = M(T)
end
|