Re: Avoiding CAF's

Hi Simon,

Ok, but suppose you get some good results - what's the point? None of this is guaranteed to work tomorrow. Why not aim for a robust translation into Core that preserves the semantics? It can't be that hard to pass around a State# RealWorld, can it?

Is there a paper/document that gives the current design for the IO Monad as implemented in GHC, particularly with what things have zero runtime cost? I have a reasonable idea, but would like to make sure I know exactly whats going on before getting down to a very low level with this. Thanks Neil