blob: 9629f2c6030189fc91a6e2b73b687477b19966b3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(* TEST
* expect
*)
module type S = sig module M : sig end module N = M end;;
[%%expect{|
module type S = sig module M : sig end module N = M end
|}];;
module rec M : S with module M := M = M;;
[%%expect{|
Line 1, characters 34-35:
1 | module rec M : S with module M := M = M;;
^
Error: Illegal recursive module reference
|}];;
|