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