[project @ 2001-08-28 10:01:14 by simonmar]

Add two more tests:
 - arith014 tests fromIntegral behaviour on overflow
 - arith015 tests things like (read :: "Infinity" :: Double)

testsuite/tests/ghc-regress/numeric/should_run/all.T

@@ -18,6 +18,8 @@ test "arith010" { vtr("-package lang", "", "") }
 test "arith011" { vtr("-package lang", "", "") }
 test "arith012" { vtr("-package lang", "", "") }
 test "arith013" { vtr("", "", "") }
+test "arith014" { vtr("", "", "") }
+test "arith015" { vtr("", "", "") }
 test "num001" { vtr("", "", "") }
 test "num002" { vtr("", "", "") }
 test "num003" { vtr("", "", "") }

testsuite/tests/ghc-regress/numeric/should_run/arith014.hs

+-- Test behaviour of fromInteger when the target type is out of range.
+
+main :: IO ()
+main = 
+  print [
+    fromInteger maxInt2 :: Int,
+    fromInteger minInt2 :: Int
+  ]  
+
+maxInt2 = fromIntegral (maxBound :: Int)     * 2 :: Integer
+minInt2 = fromIntegral (minBound + 1 :: Int) * 2 :: Integer

testsuite/tests/ghc-regress/numeric/should_run/arith014.stdout

+[-2,2]

testsuite/tests/ghc-regress/numeric/should_run/arith015.hs

+main = do
+  print (map read strange_nums :: [Float]) 
+  print (map read strange_nums :: [Double]) 
+  where
+   strange_nums = ["Infinity","NaN"]

testsuite/tests/ghc-regress/numeric/should_run/arith015.stdout

+[Infinity,NaN]
+[Infinity,NaN]