The Revenge of Finalizers

Simon Marlow simonmar at
Tue Oct 15 10:56:48 EDT 2002

> > So, are we now claiming that my patch *is* safe?  (Never mind about
> > IORefs, I'm talking about the implementation itself).
> No.

Then I'm confused.  Allow me to quote your previous message:

> Most calls to IO actions from primitives are safe
> and I believe these ones are too.  

So is it just that there are a small number of places where it is unsafe
to invoke IO from a primitive, or is there something else going on?  Can
we easily identify which are the unsafe places and fix them?


More information about the FFI mailing list