[EMAIL PROTECTED] (Marcin 'Qrczak' Kowalczyk) wrote,

> Assuming that the only finalized things will be ForeignObj, touch can
> have the type ForeignObj -> IO (). Perhaps it's be more efficient to
> touch the ForeignObj# inside ForeignObj.

How about about objects that got a finalizer with
addFinalizer?

Manuel

Reply via email to