Except that this isn't actually allowed because happyReduce_1 appears
in a restricted binding group, and hence can't have any context in its
type. So, at this point, Hugs complains. GHC, I assume, just assigns
hugsReduce_1 a monomorphic type, only to find at some later point that
the list
Simon L Peyton Jones [EMAIL PROTECTED] writes:
[Comment to Simon Marlow:
Does happyReduce_1 really need *eight* type parameters?
Why not output type signatures?
'fraid so: there weren't any type signatures in the grammar, and Happy
can't deduce the type on its own, since it can't