Ross Paterson ross at
Tue Nov 26 08:25:11 EST 2002

On Tue, Nov 26, 2002 at 01:14:14PM +0000, Alastair Reid wrote:
> Did we ever sort out the original subject of this thread which was:
>   Should finalizers on a given foreign pointer be executed in the
>   order they were added?

I think that should be the reverse order.  For example, if you add a
finalizer to the result of mallocForeignPtr, you want it to run before
the thing is freed.  (That's what Hugs does now.)

More information about the FFI mailing list