Version française
Home     About     Download     Resources     Contact us    
Browse thread
cyclic type abbreviations
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Keiko Nakata <keiko@k...>
Subject: cyclic type abbreviations
Hello.

I wonder how does the type system (without -rectypes)
check cyclic type abbreviations.
The type system with -rectypes can tell between

 type 'a t = A of 'a
 type s = s t

and

 type 'a t = 'a
 type s = s t

It admit the former, but the latter.

But, the type system without -rectypes cannot tell them.
Why?
I thought that the former would be legal without -rectypes.


Regards,
Keiko NAKATA.