-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 [EMAIL PROTECTED] 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----- _______________________________________________ Yhc mailing list [email protected] http://www.haskell.org/mailman/listinfo/yhc
