FFI digest, Vol 1 #218 - 3 msgs

[Manuel M T Chakravarty]

George Russell <ger at tzi.de> wrote,

> Simon Marlow wrote
> > PS. I'm sorry to keep banging on about this.  Ultimately it doesn't
> > really matter to me that much, since I only really use mallocForeignPtr.
> > I guess I was just intrigued to see if the problem was really as
> > difficult as we'd thought.
> [snip]
> I'm glad you are banging on about it.  But since it looks unlikely that there is going
> to be agreement on the matter, I suggest the following compromise.  We remove the
> restriction that finalizers may not call Haskell functions in the main body of the standard,
> but add a note that says that implementations may opt to impose such a restriction,
> provided they document it in some standard way.

That's as good as not defining it at all.  And given that
the type signatures of the two versions are different, it
isn't even a matter of imposing a runtime restriction.

Cheers,
Manuel