Re: [Yhc] instance Monad IO bug

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 shackell@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-----