Tue Aug 26 05:21:21 PDT 2008 [EMAIL PROTECTED]
* Fix flaggery for RULES (cf Trac #2497)
This patch executes the plan described in the discussion in Trac #2497.
Specficially:
* Inside a RULE, switch on the forall-as-keyword in the lexer,
unconditionally. (Actually this is done by an earlier patch.)
* Merge the -XScopedTypeVariables and -XPatternSignatures flags,
and deprecate the latter. Distinguishing them isn't senseless,
but it's jolly confusing.
* Inside a RULE, switch on -XScopedTypeVariables unconditionally.
* Change -frewrite-rules to -fenable-rewrite-rules; deprecate the former.
Internally the DynFlag is now Opt_EnableRewriteRules.
There's a test in typecheck/should_compile/T2497.hs
M ./compiler/deSugar/DsExpr.lhs -1 +1
M ./compiler/deSugar/DsListComp.lhs -1 +1
M ./compiler/ghc.cabal -1 +1
M ./compiler/main/DynFlags.hs -7 +16
M ./compiler/rename/RnPat.lhs -2 +2
M ./compiler/rename/RnSource.lhs -1 +3
M ./compiler/simplCore/SimplUtils.lhs -1 +1
M ./compiler/typecheck/TcDeriv.lhs -2 +2
M ./docs/users_guide/flags.xml -6
M ./docs/users_guide/glasgow_exts.xml -32 +36
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080826122121-1287e-139df8eee9f714c7ec98b3404c373294b7a705de.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
