base: Fix #14425
authorBen Gamari <bgamari.foss@gmail.com>
Thu, 9 Nov 2017 22:53:39 +0000 (17:53 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 9 Nov 2017 23:31:21 +0000 (18:31 -0500)
Test Plan: Validate

Reviewers: hvr

Subscribers: rwbarton, thomie

GHC Trac Issues: #14425

Differential Revision: https://phabricator.haskell.org/D4167

libraries/base/Data/Ratio.hs
libraries/base/tests/all.T

index 8d19506..946824f 100644 (file)
@@ -49,7 +49,9 @@ import GHC.Real         -- The basic defns for Ratio
 
 approxRational :: (RealFrac a) => a -> a -> Rational
 approxRational rat eps =
-    simplest (rat-eps) (rat+eps)
+    -- We convert rat and eps to rational *before* subtracting/adding since
+    -- otherwise we may overflow. This was the cause of #14425.
+    simplest (toRational rat - toRational eps) (toRational rat + toRational eps)
   where
     simplest x y
       | y < x      =  simplest y x
index 7839076..06c7350 100644 (file)
@@ -221,4 +221,4 @@ test('T3474',
      [stats_num_field('max_bytes_used', [ (wordsize(64), 44504, 5) ]),
       only_ways(['normal'])],
      compile_and_run, ['-O'])
-test('T14425', expect_broken(14425), compile_and_run, [''])
+test('T14425', normal, compile_and_run, [''])