Wibble the num009 test

testsuite/tests/ghc-regress/lib/Numeric/num009.hs

@@ -5,31 +5,35 @@
 module Main(main) where
 
 import Control.Monad
+import Foreign.C
 
 main = do let d = 1e20 :: Double
               f = 1e20 :: Float
-          test "sind" sind sin 1e20
-          test "sinf" sinf sin 1e20
-          test "cosd" cosd cos 1e20
-          test "cosf" cosf cos 1e20
-          test "tand" tand tan 1e20
-          test "tanf" tanf tan 1e20
+          test "sind" sind sin d
+          test "sinf" sinf sin f
+          test "cosd" cosd cos d
+          test "cosf" cosf cos f
+          test "tand" tand tan d
+          test "tanf" tanf tan f
           putStrLn "Done"
 
-test :: Floating a => String -> (a -> a) -> (a -> a) -> a -> IO ()
-test s f g x = do let y = f x
+test :: (RealFloat a, Floating a, RealFloat b, Floating b)
+     => String -> (a -> a) -> (b -> b) -> b -> IO ()
+test s f g x = do let y = realToFrac (f (realToFrac x))
                       z = g x
                   unless (y == z) $ do
                       putStrLn s
                       print y
                       print z
+                      print $ decodeFloat y
+                      print $ decodeFloat z
 
-foreign import ccall "math.h sin"  sind :: Double -> Double
-foreign import ccall "math.h sinf" sinf :: Float  -> Float
+foreign import ccall "math.h sin"  sind :: CDouble -> CDouble
+foreign import ccall "math.h sinf" sinf :: CFloat  -> CFloat
 
-foreign import ccall "math.h cos"  cosd :: Double -> Double
-foreign import ccall "math.h cosf" cosf :: Float  -> Float
+foreign import ccall "math.h cos"  cosd :: CDouble -> CDouble
+foreign import ccall "math.h cosf" cosf :: CFloat  -> CFloat
 
-foreign import ccall "math.h tan"  tand :: Double -> Double
-foreign import ccall "math.h tanf" tanf :: Float  -> Float
+foreign import ccall "math.h tan"  tand :: CDouble -> CDouble
+foreign import ccall "math.h tanf" tanf :: CFloat  -> CFloat