blob: 2970e4f3402d49135ce173aaddbbbf4b78b9fe19 (
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 X = struct module Y = struct module type S = sig type t end end end
(* open X (* works! *) *)
module Y = X.Y
type 'a arg_t = 'at constraint 'a = (module Y.S with type t = 'at)
type t = (module X.Y.S with type t = unit)
let f (x : t arg_t) = ()
let () = f ()
|