
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Friday 05 September 2003 1:02 pm, Keith Wansbrough wrote:
-- ** The @handle@ functions - handle, -- :: (Exception -> IO a) -> IO a -> IO a - handleJust,-- :: (Exception -> Maybe b) -> (b -> IO a) -> IO a -> IO a + handle, -- :: MonadIO m => (Exception -> m a) -> m a -> m a + handleJust,-- :: (Exception -> Maybe b) -> (b -> m a) -> m a -> m a
Is the MonadIO constraint on m intentionally missing from handleJust?
No, it's an unfortunate omission. Thanks for pointing that out! Corrected patch attached. - -- Sebastien -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/WITdvtNcI2aw9NwRAr8iAKCEKD0WF98RZ3O3MI6VDLei4H4pRACfcvGv z2Zi7DfsmrEaVzDFYjY+bUk= =m/Ld -----END PGP SIGNATURE-----