diff options
Diffstat (limited to 'compiler/GHC/Driver/Session.hs')
-rw-r--r-- | compiler/GHC/Driver/Session.hs | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/compiler/GHC/Driver/Session.hs b/compiler/GHC/Driver/Session.hs index dd5bb6b7cb..8199755765 100644 --- a/compiler/GHC/Driver/Session.hs +++ b/compiler/GHC/Driver/Session.hs @@ -2250,7 +2250,8 @@ wWarningFlagsDeps = mconcat [ warnSpec Opt_WarnTypeEqualityOutOfScope, warnSpec Opt_WarnTypeEqualityRequiresOperators, warnSpec Opt_WarnTermVariableCapture, - warnSpec Opt_WarnMissingRoleAnnotations + warnSpec Opt_WarnMissingRoleAnnotations, + warnSpec Opt_WarnPatternSignatureBinds ] warningGroupsDeps :: [(Deprecation, FlagSpec WarningGroup)] @@ -2663,8 +2664,10 @@ xFlagsDeps = [ flagSpec "ParallelListComp" LangExt.ParallelListComp, flagSpec "PartialTypeSignatures" LangExt.PartialTypeSignatures, flagSpec "PatternGuards" LangExt.PatternGuards, - depFlagSpec' "PatternSignatures" LangExt.ScopedTypeVariables - (deprecatedForExtension "ScopedTypeVariables"), + flagSpec "PatternSignatures" LangExt.PatternSignatures, + flagSpec "MethodTypeVariables" LangExt.MethodTypeVariables, + flagSpec "ExtendedForAllScope" LangExt.ExtendedForAllScope, + flagSpec "ImplicitForAll" LangExt.ImplicitForAll, flagSpec "PatternSynonyms" LangExt.PatternSynonyms, flagSpec "PolyKinds" LangExt.PolyKinds, flagSpec "PolymorphicComponents" LangExt.RankNTypes, @@ -2757,6 +2760,9 @@ impliedXFlags -- In accordance with GHC Proposal #448 "Modern Scoped Type Variables" , (LangExt.ScopedTypeVariables, turnOn, LangExt.TypeAbstractions) + , (LangExt.ScopedTypeVariables, turnOn, LangExt.PatternSignatures) + , (LangExt.ScopedTypeVariables, turnOn, LangExt.MethodTypeVariables) + , (LangExt.ScopedTypeVariables, turnOn, LangExt.ExtendedForAllScope) , (LangExt.RebindableSyntax, turnOff, LangExt.ImplicitPrelude) -- NB: turn off! |