blob: 69429ec142d595f2ac8cbc80b8f2f2d5e3cc26f7 (
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
|}];;
|