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
Obj.magic and existential types.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-06-22 (17:03)
From: Jake Donham <jake@d...>
Subject: Re: [Caml-list] Re: Obj.magic and existential types.
On Sun, Jun 21, 2009 at 5:03 PM, Daniel
Bünzli<daniel.buenzli@erratique.ch> wrote:
> Does that mean the only values froc knows how to garbage collect are those
> values that are dynamically created in an update cycle and not used further
> ? (because that's rather contrived IMHO)

Everything in froc happens on a "timeline". When you bind a changeable
value, there's a chunk of the timeline that corresponds to the dynamic
scope of the bind function. When the value changes, that chunk is
removed, which unregisters any dependencies created in the course of
evaluating the bind function.

So it is true that dependencies created outside a bind are not
removed; but you can always fix this by wrapping everything in a
top-level bind (as in the code I posted).

Best regards,