[commit: nofib] master: Add FlexibleContexts to two nofib benchmarks (d98f703)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/nofib

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d98f7038d1111e515db9cc27d5d3bbe237e6e14f/nofib

>---------------------------------------------------------------

commit d98f7038d1111e515db9cc27d5d3bbe237e6e14f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Apr 24 08:34:41 2014 +0100

    Add FlexibleContexts to two nofib benchmarks
    
    Turns out that these two have a local function with a
    (MArray (STUArray s) Double m) context, or something like that.
    The real issue here is that we don't yet know what 'm' is.
    A better solution would be MonoMonoBinds, but that would threaten
    perf comparison with older GHC's


>---------------------------------------------------------------

d98f7038d1111e515db9cc27d5d3bbe237e6e14f
 imaginary/kahan/Main.hs    |    5 +++++
 spectral/fibheaps/Main.lhs |    6 ++++++
 2 files changed, 11 insertions(+)

diff --git a/imaginary/kahan/Main.hs b/imaginary/kahan/Main.hs
index 6b3f76b..cb8d155 100644
--- a/imaginary/kahan/Main.hs
+++ b/imaginary/kahan/Main.hs
@@ -1,3 +1,8 @@
+{-# LANGUAGE FlexibleContexts #-}
+-- Inferred type for 'inner' has a constraint (MArray (STUArray s) Double m)
+-- An alternative fix (better, but less faithful to backward perf comparison)
+-- would be MonoLocalBinds
+
 -- | Implementation of Kahan summation algorithm that tests
 -- performance of tight loops involving unboxed arrays and floating
 -- point arithmetic.
diff --git a/spectral/fibheaps/Main.lhs b/spectral/fibheaps/Main.lhs
index 452ae6e..5ce7bfc 100644
--- a/spectral/fibheaps/Main.lhs
+++ b/spectral/fibheaps/Main.lhs
@@ -1,3 +1,9 @@
+>{-# LANGUAGE FlexibleContexts #-}
+
+    Inferred type for 'getMin' has a constraint (MArray a (MyMaybe t) m)
+    An alternative fix (better, but less faithful to backward perf
+    comparison) would be MonoLocalBinds
+
 Date:    Tue, 04 Jul 1995 13:10:58 -0400
 From:    Chris_Okasaki at LOCH.MESS.CS.CMU.EDU
 To:      simonpj at dcs.gla.ac.uk