• simonpj@microsoft.com's avatar
    Fix flaggery for RULES (cf Trac #2497) · 24b1e136
    simonpj@microsoft.com authored
    This patch executes the plan described in the discussion in Trac #2497.
        * 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
DynFlags.hs 83.8 KB