Simon Marlow simonmar at
Mon Feb 5 04:51:34 EST 2001

> Sun, 04 Feb 2001 17:15:16 +1100, Manuel M. T. Chakravarty 
> <chak at> 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 mailing list