On Mar 20, 2007, at 19:13, Erik de Castro Lopo wrote:
>
> Wouldn't it be nicer to be able to specify the rectypes behaviour  
> per type? Maybe something like this would work:
>
> 	rec type 'a t = 'a * 'a t Lazy.t

You know... I have found myself on several occasions wishing for  
something like that.  A nitpick: I think I'd be happier with "type  
rec" as opposed to "rec type" since that seems symmetrical with the  
"let rec" phrasing.  Yes, I would expect "type rec a = ... and b  
= ... and c = ..." to allow all three types to be recursive.


—
j h woodyatt <jhw@conjury.org>
http://jhw.vox.com/