From 45ba9b2e76b767ed92e8e14610a9895b692ecab6 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 18 Apr 2008 19:02:38 +0000 Subject: Turn off the gcd/lcm optimisations for Integer for now This makes it easier to experiment with other implementations --- libraries/base/GHC/Real.lhs | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'libraries') diff --git a/libraries/base/GHC/Real.lhs b/libraries/base/GHC/Real.lhs index 9b61445837..8f39cf8cd7 100644 --- a/libraries/base/GHC/Real.lhs +++ b/libraries/base/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)] -- cgit v1.2.1