Thu Apr 9 07:40:04 PDT 2009 [email protected]
* Fix Trac #3155: better error message when -XRankNTypes is omitted
Ignore-this: fc9d3035cd461c8a892332facd86c7da
This patch sligtly re-adjusts the way in which the syntax of types
is handled:
* In the lexer, '.' and '*' are always accepted in types
(previously it was conditional). This things can't mean
anything else in H98, which is the only reason for doing things
conditionally in the lexer.
* As a result '.' in types is never treated as an operator.
Instead, lacking a 'forall' keyword, it turns into a plain parse error.
* Test for -XKindSignatures in the renamer when processing
a) type variable bindings
b) types with sigs (ty :: kind-sig)
* Make -XKindSignatures be implied by -XTypeFamilies
Previously this was buried in the conditonal lexing of '*'
M ./compiler/main/DynFlags.hs +2
M ./compiler/parser/Lexer.x -2 +2
M ./compiler/parser/Parser.y.pp +5
M ./compiler/parser/RdrHsSyn.lhs -1 +2
M ./compiler/rename/RnEnv.lhs -8 +16
M ./compiler/rename/RnTypes.lhs -3 +5
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090409144004-1287e-84b89834bd76dbabb042d873ae9202244be731f6.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
