addForeignPtrFinalizer

[Ross Paterson]

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.)