The Revenge of Finalizers

[Simon Marlow]

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

Cheers,
	Simon