summaryrefslogtreecommitdiff
path: root/testsuite/tests/lib
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/lib')
-rw-r--r--testsuite/tests/lib/integer/integerConstantFolding.hs17
-rw-r--r--testsuite/tests/lib/integer/integerConstantFolding.stdout4
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