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
let rec and environment sharing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-11-01 (10:41)
From: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Re: let rec and environment sharing

Le 31 oct. 08 ŕ 22:17, Zheng Li a écrit :

> AFAIK, the answer is yes.
> - I once saw this on a teaching slide of Xavier Leroy (I don't  
> remember which one, but you can probably find it on his webpage)

Maybe your thinking about this [1]. It states that ocaml uses minimal  
environments hence my second example shouldn't leak.

> Btw, it is called infix pointers, and there's a "infix" tag for  
> OCaml block value.

If this corresponds to what is described in the same document. Then  
the mutually recursive definitions should share the same environment.



[1] http://pauillac.inria.fr/~xleroy/dea/compil/fermetures