RE: The Revenge of Finalizers

...

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