blob: 043502dae991a6e7261499e68d28014723d368f7 (
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)
|