1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
(* TEST
expect;
*)
module _ = struct end;;
[%%expect{|
|}];;
module rec A : sig
type t = B.t
end = A
and _ : sig type t = A.t end = struct type t = A.t end
and B : sig type t end = B
;;
[%%expect{|
module rec A : sig type t = B.t end
and B : sig type t end
|}]
module type S = sig
module _ : sig end
module rec A : sig
type t = B.t
end
and _ : sig type t = A.t end
and B : sig type t end
end
;;
[%%expect{|
module type S =
sig module rec A : sig type t = B.t end and B : sig type t end end
|}]
let f (module _ : S) = ()
;;
[%%expect{|
val f : (module S) -> unit = <fun>
|}]
|
