• simonpj@microsoft.com's avatar
    Loosen the syntax of types slightly · fa1a55ba
    simonpj@microsoft.com authored
    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.