Version française
Home     About     Download     Resources     Contact us    
Browse thread
Why isn't -rectypes command line option the default
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: james woodyatt <jhw@c...>
Subject: Re: [Caml-list] Re: Why isn't -rectypes command line option the default
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/