Simplify how gcd @ Int is implemented
authorIan Lynagh <igloo@earth.li>
Wed, 18 Jul 2012 14:34:18 +0000 (15:34 +0100)
committerIan Lynagh <igloo@earth.li>
Wed, 18 Jul 2012 14:34:18 +0000 (15:34 +0100)
GHC/Integer/GMP/Internals.hs
GHC/Integer/Type.lhs

index d1c1df4..4ad1f62 100644 (file)
@@ -1,6 +1,7 @@
 {-# LANGUAGE NoImplicitPrelude #-}
 
-module GHC.Integer.GMP.Internals (Integer(..), gcdInteger, lcmInteger) where
+module GHC.Integer.GMP.Internals (Integer(..), gcdInt, gcdInteger, lcmInteger)
+    where
 
 import GHC.Integer.Type
 
index 5189b25..464deb6 100644 (file)
@@ -272,16 +272,6 @@ lcmInteger a b =      if a `eqInteger` S# 0# then S# 0#
   where aa = absInteger a
         ab = absInteger b
 
--- This rule needs to use absInteger so that it works correctly when
--- the result is minBound :: Int. But that isn't necessary when the
--- result is converted to an Int.
-{-# RULES
-"gcdInteger/Int" forall a b.
-    gcdInteger (smallInteger a) (smallInteger b)
-        = absInteger (smallInteger (gcdInt a b))
-"integerToInt/gcdInteger/Int" forall a b.
-    integerToInt (gcdInteger (smallInteger a) (smallInteger b)) = gcdInt a b
-  #-}
 gcdInt :: Int# -> Int# -> Int#
 gcdInt 0# y  = absInt y
 gcdInt x  0# = absInt x