[Added nonBottomError.
Nils Anders Danielsson <nad@cs.chalmers.se>**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
}