Proposal: Extensible exceptions
igloo at earth.li
Fri Jul 4 14:53:21 EDT 2008
On Fri, Jul 04, 2008 at 03:52:32PM +0100, Chris Kuklewicz wrote:
> Ian Lynagh wrote:
> >=== Library function differences
> >As far as the library functions are concerned, here are the main
> >The old and new types for catch are:
> > Old: catch :: IO a -> (Exception -> IO a) -> IO a
> > New: catch :: Exception e => IO a -> (e -> IO a) -> IO a
> >i.e. catch can now catch any type of exception; we don't have to force
> >all the different types of extension into one fixed datatype.
> Is there any sane way to allow extending or building equivalents to these
> for MonadIO?
I don't think that this change makes it any easier or harder.
More information about the Libraries