Mon Sep 17 09:07:08 PDT 2007 [EMAIL PROTECTED]
* 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.
tc236 tests.
M ./compiler/parser/Parser.y.pp -1 +1
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
