Change tests for 32 bit float

augustss · Feb 25, 2024 · c1310d0 · c1310d0
1 parent 30a0fe2
commit c1310d0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/tests/FArith.hs b/tests/FArith.hs
@@ -15,6 +15,6 @@ main = do
   putStrLn $ show [ op x y | x <- list1, y <- list1, op <- [(+), (-), (*)] ]
   putStrLn $ show [ op x y | x <- list1, y <- list1, op <- [(==), (/=), (<), (<=), (>), (>=)] ]
   putStrLn $ show [ x / y  | x <- list1, y <- [1.0::Double, -16.0::Double, 0.0625::Double]]
-  putStrLn $ show $ readDouble "1.565"
+  putStrLn $ show $ readDouble "1.625"
   putStrLn $ show $ 1.0 + readDouble "2.5"
-  putStrLn $ show $ map readDouble ["1.5e32", "1.25e-33"]
+  putStrLn $ show $ map readDouble ["1.5e10", "1.25e-11"]
diff --git a/tests/FArith.ref b/tests/FArith.ref
@@ -1,6 +1,6 @@
 [-200.5,0.0,10050.0625,-153.5,-47.0,5338.3125,-100.25,-100.25,-0.0,-99.25,-101.25,-100.25,-99.125,-101.375,-112.78125,9899.75,-10100.25,-1002500.0,-153.5,47.0,5338.3125,-106.5,0.0,2835.5625,-53.25,-53.25,-0.0,-52.25,-54.25,-53.25,-52.125,-54.375,-59.90625,9946.75,-10053.25,-532500.0,-100.25,100.25,-0.0,-53.25,53.25,-0.0,0.0,0.0,0.0,1.0,-1.0,0.0,1.125,-1.125,0.0,10000.0,-10000.0,0.0,-99.25,101.25,-100.25,-52.25,54.25,-53.25,1.0,1.0,0.0,2.0,0.0,1.0,2.125,-0.125,1.125,10001.0,-9999.0,10000.0,-99.125,101.375,-112.78125,-52.125,54.375,-59.90625,1.125,1.125,0.0,2.125,0.125,1.125,2.25,0.0,1.265625,10001.125,-9998.875,11250.0,9899.75,10100.25,-1002500.0,9946.75,10053.25,-532500.0,10000.0,10000.0,0.0,10001.0,9999.0,10000.0,10001.125,9998.875,11250.0,20000.0,0.0,100000000.0]
 [True,False,False,True,False,True,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,False,False,True,True,True,False,False,True,False,True,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,False,False,True,True,False,True,False,False,True,True,True,False,False,True,False,True,False,True,True,True,False,False,False,True,True,True,False,False,False,True,True,True,False,False,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,True,False,False,True,False,True,False,True,True,True,False,False,False,True,True,True,False,False,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,True,False,False,True,False,True,False,True,True,True,False,False,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,False,True,False,False,True,True,True,False,False,True,False,True]
 [-100.25,6.265625,-1604.0,-53.25,3.328125,-852.0,0.0,-0.0,0.0,1.0,-0.0625,16.0,1.125,-0.0703125,18.0,10000.0,-625.0,160000.0]
-1.565
+1.625
 3.5
-[1.5e+32,1.25e-33]
+[15000000000.0,1.25e-11]