Move some rules into PrelRules
authorIan Lynagh <igloo@earth.li>
Wed, 18 Jul 2012 14:15:16 +0000 (15:15 +0100)
committerIan Lynagh <igloo@earth.li>
Wed, 18 Jul 2012 14:15:16 +0000 (15:15 +0100)
GHC/Integer/Type.lhs

index b9d9c3c..5189b25 100644 (file)
@@ -91,11 +91,6 @@ smallInteger i = S# i
 wordToInteger :: Word# -> Integer
 wordToInteger w = case word2Integer# w of (# s, d #) -> J# s d
 
-{-# RULES
-"integerToInt/smallInteger"   forall x . integerToInt  (smallInteger  x) = x
-"integerToWord/wordToInteger" forall x . integerToWord (wordToInteger x) = x
- #-}
-
 {-# NOINLINE integerToWord #-}
 integerToWord :: Integer -> Word#
 integerToWord (S# i) = int2Word# i
@@ -126,11 +121,6 @@ int64ToInteger i = if ((i `leInt64#` intToInt64# 0x7FFFFFFF#) &&
                    then smallInteger (int64ToInt# i)
                    else case int64ToInteger# i of
                         (# s, d #) -> J# s d
-
-{-# RULES
-"integerToInt64/int64ToInteger"   forall x . integerToInt64  (int64ToInteger  x) = x
-"integerToWord64/word64ToInteger" forall x . integerToWord64 (word64ToInteger x) = x
- #-}
 #endif
 
 integerToInt :: Integer -> Int#