Hi Philip,

Philip K.F. Hölzenspies wrote:
some_catch_function (error "foo") (error "bar")

should result in an error "bar"

Take a look at the isBottom function which is defined in module Test.QuickCheck.Batch; it might be of value to you:

isBottom :: a -> Bool
isBottom a = unsafePerformIO (do
        a' <- try (Exception.evaluate a)
        case a' of
           Left _ -> return True
           Right _ -> return False)

Regards,

Martijn.
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to