[Added nonBottomError. Nils Anders Danielsson **20050602224501] { hunk ./Test/ChasingBottoms/IsBottom.hs 13 -module Test.ChasingBottoms.IsBottom(isBottom, bottom, isBottomTimeOut) where +module Test.ChasingBottoms.IsBottom + ( isBottom + , bottom + , nonBottomError + , isBottomTimeOut + ) where hunk ./Test/ChasingBottoms/IsBottom.hs 59 + +-- | @'nonBottomError' s@ raises an exception ('AssertionFailed') that +-- is not caught by 'isBottom'. Use @s@ to describe the exception. + +nonBottomError :: String -> a +nonBottomError = throw . AssertionFailed hunk ./Test/ChasingBottoms/IsBottom/Tests.hs 74 - -- Some other exceptions that are not caught. + -- Some other exceptions that are not caught, including + -- nonBottomError. hunk ./Test/ChasingBottoms/IsBottom/Tests.hs 78 + , isException (nonBottomError "...") == True }