From 7566e6ff728f5c1e934db31a7ea3602b9a9e9959 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 18 Apr 2008 19:02:38 +0000 Subject: [PATCH] Turn off the gcd/lcm optimisations for Integer for now This makes it easier to experiment with other implementations --- GHC/Real.lhs | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/GHC/Real.lhs b/GHC/Real.lhs index 9b61445..8f39cf8 100644 --- a/GHC/Real.lhs +++ b/GHC/Real.lhs @@ -440,13 +440,16 @@ lcm x y = abs ((x `quot` (gcd x y)) * y) {-# RULES "gcd/Int->Int->Int" gcd = gcdInt -"gcd/Integer->Integer->Integer" gcd = gcdInteger' -"lcm/Integer->Integer->Integer" lcm = lcmInteger #-} -gcdInteger' :: Integer -> Integer -> Integer -gcdInteger' 0 0 = error "GHC.Real.gcdInteger': gcd 0 0 is undefined" -gcdInteger' a b = gcdInteger a b +-- XXX these optimisation rules are disabled for now to make it easier +-- to experiment with other Integer implementations +-- "gcd/Integer->Integer->Integer" gcd = gcdInteger' +-- "lcm/Integer->Integer->Integer" lcm = lcmInteger +-- +-- gcdInteger' :: Integer -> Integer -> Integer +-- gcdInteger' 0 0 = error "GHC.Real.gcdInteger': gcd 0 0 is undefined" +-- gcdInteger' a b = gcdInteger a b integralEnumFrom :: (Integral a, Bounded a) => a -> [a] integralEnumFrom n = map fromInteger [toInteger n .. toInteger (maxBound `asTypeOf` n)] -- 1.7.10.4