[commit: integer-gmp] master: Move some rules into PrelRules (4e42fde)
Ian Lynagh
igloo at earth.li
Fri Jul 20 15:49:11 CEST 2012
Repository : ssh://darcs.haskell.org//srv/darcs/packages/integer-gmp
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/4e42fde4b2cea2adcf9c9ad75d3b6f898e603e60
>---------------------------------------------------------------
commit 4e42fde4b2cea2adcf9c9ad75d3b6f898e603e60
Author: Ian Lynagh <igloo at earth.li>
Date: Wed Jul 18 15:15:16 2012 +0100
Move some rules into PrelRules
>---------------------------------------------------------------
GHC/Integer/Type.lhs | 10 ----------
1 files changed, 0 insertions(+), 10 deletions(-)
diff --git a/GHC/Integer/Type.lhs b/GHC/Integer/Type.lhs
index b9d9c3c..5189b25 100644
--- a/GHC/Integer/Type.lhs
+++ b/GHC/Integer/Type.lhs
@@ -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#
More information about the Cvs-libraries
mailing list