@@ -73,12 +73,8 @@ instance Monad Ok where
74 Errors es >>= _ = Errors es
74 Errors es >>= _ = Errors es
75 Ok a >>= f = f a
75 Ok a >>= f = f a
76− -- TODO: add a definition for "fail", akin to
78− -- fail str = Errors [SomeException (error str)]
77+ fail str = Errors [SomeException (ErrorCall str)]
80− -- but *correct*, as this will throw an exception if you try to
81− -- examine the exception.
83-- | a way to reify a list of exceptions into a single exception
79-- | a way to reify a list of exceptions into a single exception