blob: b0ad633dbe644c2a70d24323e4e9878e4d78dd26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
(* TEST
flags = " -w -a ";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
module type S = sig type 'a t end
module type Sp = sig type 'a t = private 'a array end
module Id (S : S) = S
module M : Sp = struct
include Id (struct type 'a t = 'a array end)
end
|