26 Jul
2007
26 Jul
'07
5:38 p.m.
On Mon, Jul 23, 2007 at 02:43:57PM +0200, Thorkil Naur wrote:
This is fixed by changing HughesPJ.hs as follows:
931c931 < lay1 k _ sl _ | k+sl `seq` False = undefined ---
lay1 k _ sl _ | (k+sl) `seq` False = undefined
And this is, of course, rather interesting, since this type error (I cannot see it as anything else) is neither detected by Hugs nor GHC. But that is a matter for further work some other time.
http://haskell.org/onlinereport/standard-prelude.html says infixl 6 +, - infixr 0 $, $!, `seq` so this should already parse like that. Perhaps yhc/catch is missing an infix decl? Thanks Ian