blob: 7a0bffcd54a04be6805cc7b9a07f84def2dbc261 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
(* TEST
flags = " -w -a "
* setup-ocamlc.byte-build-env
** ocamlc.byte
*** check-ocamlc.byte-output
*)
module type Priv = sig
type t = private int
end
module Make (Unit:sig end): Priv = struct type t = int end
module A = Make (struct end)
module type Priv' = sig
type t = private [> `A]
end
module Make' (Unit:sig end): Priv' = struct type t = [`A] end
module A' = Make' (struct end)
|