> On Fri, Sep 27, 2002 at 12:25:31PM +0100, Simon Marlow wrote:
> > Then I'll reformulate my question as a patch. Enclosed is a
> > proof-of-concept patch that implements Haskell finalizers
> in Hugs, which
> > works on some simple tests that I've run. There's nothing
> particularly
> > clever
On Fri, Sep 27, 2002 at 12:25:31PM +0100, Simon Marlow wrote:
> Then I'll reformulate my question as a patch. Enclosed is a
> proof-of-concept patch that implements Haskell finalizers in Hugs, which
> works on some simple tests that I've run. There's nothing particularly
> clever going on - I'm
> > Still hoping ;-) The discussion seemed to stop without reaching a
> > conclusion last time.
>
> I thought it was concluded and the report changed such that all three
> compilers which implement the ffi spec can implement it without
> receiving a heart, lung and liver transplant.
Then I'll re
> So what's wrong with [...]
That would have the garbage collector invoking a C function (this is
ok) which then calls a Haskell function (this is not and the ffi spec
says not to expect it to work).
Mutation cannot be overlapped with garbage collection.
Things would be especially bad if the