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 typecheck the code
that the user wrote for the production.
I can't see a way around this, without using coercions (which would
remove the type safety).
Cheers,
Simon
--
Simon Marlow [EMAIL PROTECTED]
University of Glasgow http://www.dcs.gla.ac.uk/~simonm/
finger for PGP public key
