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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users