Add FlexibleContexts to two nofib benchmarks
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 24 Apr 2014 07:34:41 +0000 (08:34 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 24 Apr 2014 07:34:41 +0000 (08:34 +0100)
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

imaginary/kahan/Main.hs
spectral/fibheaps/Main.lhs

index 6b3f76b..cb8d155 100644 (file)
@@ -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.
index 452ae6e..5ce7bfc 100644 (file)
@@ -1,10 +1,16 @@
+>{-# 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@LOCH.MESS.CS.CMU.EDU
 To:      simonpj@dcs.gla.ac.uk
 Subject: Fibonacci Heaps
 
 As I promised at the Haskell Workshop, here is a sample program
-using encapsulated state.  I've translated this from SML, but 
+using encapsulated state.  I've translated this from SML, but
 in doing so, I noticed that in fact accumArray is all the
 encapsulated state you really need for this application.  In SML,
 we are forced to use mutable arrays because we don't have such