Add more tests to integerConstantFolding

2 files changed, 21 insertions, 0 deletions

diff --git a/testsuite/tests/lib/integer/integerConstantFolding.hs b/testsuite/tests/lib/integer/integerConstantFolding.hs
index 16aecfe19d..975a587b9d 100644
--- a/testsuite/tests/lib/integer/integerConstantFolding.hs
+++ b/testsuite/tests/lib/integer/integerConstantFolding.hs
@@ -2,6 +2,7 @@
 module Main (main) where
 
 import Data.Bits
+import Data.Word
 
 main :: IO ()
 main = do p "plusInteger"        plusInteger
@@ -50,6 +51,10 @@ main = do p "plusInteger"        plusInteger
           p "floatFromInteger"  floatFromInteger
           p "encodeIntegerDouble" encodeIntegerDouble
           p "encodeIntegerFloat"  encodeIntegerFloat
+          p "integerToWord"       integerToWord
+          p "integerToInt"        integerToInt
+          p "wordToInteger"       wordToInteger
+          p "intToInteger"        intToInteger
 
     where p :: Show a => String -> a -> IO ()
           p str x = putStrLn (str ++ ": " ++ show x)
@@ -179,3 +184,15 @@ encodeIntegerDouble = encodeFloat 100069 2
 encodeIntegerFloat :: Float
 encodeIntegerFloat = encodeFloat 100070 2
 
+integerToWord :: Word
+integerToWord = fromInteger 100071 + 100072
+
+integerToInt :: Int
+integerToInt = fromInteger 100073 + 100074
+
+wordToInteger :: Integer
+wordToInteger = toInteger (100075 :: Word) + 100076
+
+intToInteger :: Integer
+intToInteger = toInteger (100077 :: Int) + 100078
+
diff --git a/testsuite/tests/lib/integer/integerConstantFolding.stdout b/testsuite/tests/lib/integer/integerConstantFolding.stdout
index 2a241a3a83..ae7d5d74b7 100644
--- a/testsuite/tests/lib/integer/integerConstantFolding.stdout
+++ b/testsuite/tests/lib/integer/integerConstantFolding.stdout
@@ -44,3 +44,7 @@ doubleFromInteger: 200131.0
 floatFromInteger: 200135.0
 encodeIntegerDouble: 400276.0
 encodeIntegerFloat: 400280.0
+integerToWord: 200143
+integerToInt: 200147
+wordToInteger: 200151
+intToInteger: 200155