blob: bed38dbc83d929b17409756e75bfe8e961272372 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(* TEST
flags = " -w -a ";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
module M : sig
module type T
module F (X : T) : sig end
end = struct
module type T = sig end
module F (X : T) = struct end
end
module type T = M.T
module F : functor (X : T) -> sig end = M.F
|