Fri, 18 Aug 2000 00:01:45 +1000, Manuel M. T. Chakravarty <[EMAIL PROTECTED]> pisze:

> > 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?

Simon Marlow told that addFinalizer is unsafe. The object can be
silently reboxed and then the finalizer can fire much earlier anyway.

-- 
 __("<  Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK


Reply via email to