diff options
Diffstat (limited to 'libraries/base/tests/enum04.hs')
| -rw-r--r-- | libraries/base/tests/enum04.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/libraries/base/tests/enum04.hs b/libraries/base/tests/enum04.hs new file mode 100644 index 0000000000..8120a5bb21 --- /dev/null +++ b/libraries/base/tests/enum04.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE ScopedTypeVariables #-} +import Control.Exception + +-- 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") |