[commit: nofib] master: Add type-signature in spectral/para to help type-inf (69bae89)

git at git.haskell.org git at git.haskell.org
Mon Sep 29 10:41:11 UTC 2014


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

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

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

commit 69bae89103aca6e498b811d562f387830fbcb959
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date:   Mon Sep 29 12:37:26 2014 +0200

    Add type-signature in spectral/para to help type-inf
    
    This testcase broke due to the generalised `Data.Foldable.length`


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

69bae89103aca6e498b811d562f387830fbcb959
 spectral/para/Main.lhs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spectral/para/Main.lhs b/spectral/para/Main.lhs
index 3ae76b0..05b58a3 100644
--- a/spectral/para/Main.lhs
+++ b/spectral/para/Main.lhs
@@ -513,6 +513,7 @@ we stipulate also that \verb"cost [] = 0".)
 The program resulting from this data refinement is as follows.
 \begin{mcode}
 
+>par1' :: [[a]] -> [[[a]]]
 >par1'
 > = the . minWith cost . fold1 step start
 >   where 



More information about the ghc-commits mailing list