15 Oct
2002
15 Oct
'02
6:47 a.m.
On Mon, Oct 14, 2002 at 10:38:55PM +0100, Alastair Reid wrote:
[...] There's a few details to take care of (e.g., avoiding calling cons in scheduleFinalizer) but they're all manageable.
Indeed: a ForeignPtr has a list of finalizers, so you can use appendOnto(). In fact there is already a list of finalizers of type IO (), for weak pointers (though currently emptied manually).