blob: 35e4e88bd3e49921a282a57cf8be76459f015e0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(* TEST
expect;
*)
(* PR#7324 *)
module rec T : sig type t = T.t end = T;;
[%%expect{|
Line 1, characters 0-39:
1 | module rec T : sig type t = T.t end = T;;
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The type abbreviation T.t is cyclic:
T.t = T.t
|}]
|