Add type-signature in spectral/para to help type-inf
authorHerbert Valerio Riedel <hvr@gnu.org>
Mon, 29 Sep 2014 10:37:26 +0000 (12:37 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Mon, 29 Sep 2014 10:37:26 +0000 (12:37 +0200)
This testcase broke due to the generalised `Data.Foldable.length`

spectral/para/Main.lhs

index 3ae76b0..05b58a3 100644 (file)
@@ -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