
23 Mar
2009
23 Mar
'09
6:06 a.m.
On Mon, 23 Mar 2009, nicolas.pouillard wrote:
Excerpts from Henning Thielemann's message of Sun Mar 22 23:58:44 +0100 2009:
On Sun, 22 Mar 2009, nicolas.pouillard wrote:
It sounds like a nice idea, it would be great to have a straight-io package to play a bit more with explicit exceptions in things like 'IO'.
Maybe I should then restrict lifting to LazyIO to SIO actions. That would not make LazyIO safe, but reduces surprises.
By SIO you actually mean straight-io right?
Yes
I was confused because I also have an SIO monad in the strict-io package.
Sorry