MarshalError

Simon Marlow 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.

Cheers,
	Simon




More information about the FFI mailing list