5 Feb
2001
5 Feb
'01
5:51 p.m.
Sun, 04 Feb 2001 17:15:16 +1100, Manuel M. T. Chakravarty <chak@cse.unsw.edu.au> pisze:
I am just wondering whether we would want to add the following to `MarshalError':
Maybe throwIf should be changed to failIf? The same function would work for both IO and Maybe.
I don't see that. Presumably you mean overloading failIf with the Monad class, but `fail' takes a String and in the IO monad we want to raise a real IOError, not just a UserError. Cheers, Simon