patch applied (ghc): Loosen the syntax of types slightly
Simon Peyton Jones
simonpj at microsoft.com
Mon Sep 17 12:12:12 EDT 2007
Mon Sep 17 09:07:08 PDT 2007 simonpj at microsoft.com
* Loosen the syntax of types slightly
This change allows you to write
f :: (Eq a) => (Ord b) => a -> b -> b
Previously you could only have a forall and context after '->'
but not after '=>' which is strange and inconsistent.
Making the parser a bit more generous didn't change the number
of shift/reduce conflicts.
M ./compiler/parser/Parser.y.pp -1 +1
More information about the Cvs-ghc