I couldn't see it in the spec and I'm working on the code that
In the FFI Addendum, RC 4 <http://www.cse.unsw.edu.au/~chak/haskell/ffi/>, Section 3.4,
Ah, thank you. Hmmm, yet another 'undefined behaviour'. I think I'd prefer that as 'implementation defined'.
So, you are adding this to GHC?
Hugs. I figure if that Hugs is going to use the hierarchial libraries it had better support the same ffi as GHC and NHC.
When this issue was discussed earlier, I think, SimonM pointed out that (especially in the context of concurrency) it is hard to define what exactly is supposed to happen with such exceptions.
I'm not sure I see the difficulty - but I'll go ahead and make up my own solution (which will probably be much like what GreenCard does...) -- Alastair Reid reid@cs.utah.edu http://www.cs.utah.edu/~reid/