blob: 8852a8fa984c6c52e05db55a5dc35489803fdde9 (
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 Foo
(Bar : sig type a = private [> `A ] end)
(Baz : module type of struct include Bar end) =
struct
end
module Bazoinks = struct type a = [ `A ] end
module Bug = Foo(Bazoinks)(Bazoinks)
|