In the last section you said that IO has the same definition in GHC and Hugs. As far as I can remember in Hugs IO is defined as: newtype IO a = IO ((a -> IOResult) -> (IOError -> IOResult) -> IOResult) Of course this definition is builtin and cann't be seen in the Haskell source code. Cheers, Krasimir 2006/6/30, Bulat Ziganshin :

Hello Haskell,

I'm just wrote exhaustive introduction to Haskell I/O titled

HASKELL I/O INSIDE: DOWN THE RABBIT'S HOLE

Can you please help me (and Haskell community) by proof-reading this text? Even if you will correct paragraph or two, it will advance the work further. Also feel free to add more explanations, correct me and ask (here) about new topics you need to be explained. The page is

http://haskell.org/haskellwiki/IO_inside

-- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe