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 <[email protected]>
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#



_______________________________________________
Cvs-libraries mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-libraries

Reply via email to