diff options
Diffstat (limited to 'testsuite/tests/lib/should_run/enum04.hs')
| -rw-r--r-- | testsuite/tests/lib/should_run/enum04.hs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/lib/should_run/enum04.hs b/testsuite/tests/lib/should_run/enum04.hs new file mode 100644 index 0000000000..fed9e8c4ef --- /dev/null +++ b/testsuite/tests/lib/should_run/enum04.hs @@ -0,0 +1,15 @@ +{-# LANGUAGE ScopedTypeVariables #-} +import Control.Exception +import Prelude hiding (catch) + +-- enumFrom on basic numeric types should be strict +-- (possibly a bug in the Haskell Report: it specifies that +-- these ops should be strict in the section on Enum, but the +-- sample code in the Prelude doesn't agree, at least for +-- Float and Double). + +main = do + catch (evaluate [error "" :: Int ..] >> return ()) (\(e::SomeException) -> putStrLn "ok1") + catch (evaluate [error "" :: Integer ..] >> return ()) (\(e::SomeException) -> putStrLn "ok2") + catch (evaluate [error "" :: Float ..] >> return ()) (\(e::SomeException) -> putStrLn "ok3") + catch (evaluate [error "" :: Double ..] >> return ()) (\(e::SomeException) -> putStrLn "ok4") |