The Revenge of Finalizers
simonmar at microsoft.com
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).
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