Add another gcdInteger rule
authorIan Lynagh <igloo@earth.li>
Fri, 13 Jul 2012 19:04:51 +0000 (20:04 +0100)
committerIan Lynagh <igloo@earth.li>
Fri, 13 Jul 2012 19:04:51 +0000 (20:04 +0100)
This one is better when the result is converted to an Int

GHC/Integer/Type.lhs

index a402f37..b9d9c3c 100644 (file)
@@ -283,9 +283,14 @@ lcmInteger a b =      if a `eqInteger` S# 0# then S# 0#
         ab = absInteger b
 
 -- This rule needs to use absInteger so that it works correctly when
--- the result is minBound :: Int
-{-# RULES "gcdInteger/Int" forall a b.
-    gcdInteger (smallInteger a) (smallInteger b) = absInteger (smallInteger (gcdInt a b))
+-- 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