simonmar at microsoft.com
Mon Feb 5 04:51:34 EST 2001
> Sun, 04 Feb 2001 17:15:16 +1100, Manuel M. T. Chakravarty
> <chak at 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.
More information about the FFI