[Yhc] instance Monad IO bug

[Isaac Dupree]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

shackell at cs.york.ac.uk wrote:
> Ah oops, tried to remove the Either as an optimization, forgot that IO
> isn't strict in the value ;-)
> 
> It should probably be something like
> 
>   newtype IO a = IO (World -> _E a)
> 
> where _E is just a box to prevent evaluation (it's used in primitive
> handling already).
> 
>   data _E a = _E a

Yes, that seems about right. BTW, why is it called "_E"?

Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFF9FOpHgcxvIWYTTURAgPvAJ95fYpcaDFHdQso7MOyW16rAuIeeACdEmWB
16/xsEet2b4cBtLX8DQ3Btc=
=kRM4
-----END PGP SIGNATURE-----