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.
  
  tc236 tests.
  
  

    M ./compiler/parser/Parser.y.pp -1 +1



More information about the Cvs-ghc mailing list