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-10-31 (21:17)
From: Zheng Li <zheng_li@u...>
Subject: Re: let rec and environment sharing

Daniel Bünzli wrote:
> Hello,
> Is the closure's environment of definitions introduced by let rec shared 
> between the definitions ?

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)

  - I did encounter this encoding when implementing Vprint

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