blob: 8f8b376f34b8c898f7bac6ee8f63c0957d8a3751 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(* TEST
flags = " -w -a ";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
(* OK *)
module rec A : sig type 'a t = 'a array B.t * 'a list B.t end
= struct type 'a t = 'a array B.t * 'a list B.t end
and B : sig type 'a t = <m: 'a B.t> end
= struct type 'a t = <m: 'a B.t> end;;
|