26 Nov
2002
26 Nov
'02
9:25 p.m.
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.)