addForeignPtrFinalizer

[Alastair Reid]

> The spec says there are no guarantees on the order in which the
> finalizers are run.  Doesn't this make this function almost
> impossible to use?  Suppose one finalizer frees the storage and the
> other cleans up something it refers to.

I seem to remember that Sigbjorn and Erik dealt with this problem by
arranging some kind of GC-visible link between the objects so that
until the second finalizer has run, the object will not be considered
garbage.

I can't remember the details though...  Can you remind us how it
worked, Sigbjorn?  Was it in the heaven from hell paper?

--
Alastair