English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2007-03-21 (05:37)
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>