Avoiding CAF's

[Neil Mitchell]

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