diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-12-16 11:58:55 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-12-16 11:58:58 -0500 |
| commit | 13c1fc4dfc925afa328a6be9db191b11bf96d4a0 (patch) | |
| tree | 97fd195c17438c695f15afd35341c81f7f90f0bc | |
| parent | ed4cf039092a8cc5bea78dedb845f8e2db3f49b8 (diff) | |
| download | haskell-13c1fc4dfc925afa328a6be9db191b11bf96d4a0.tar.gz | |
DynFlags: Rip out remnants of WarnContextQuantification
Test Plan: Validate
Reviewers: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2862
GHC Trac Issues: #11221
| -rw-r--r-- | compiler/main/DynFlags.hs | 3 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 6 |
2 files changed, 2 insertions, 7 deletions
diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index db234bd65d..f1bb6c0dd0 100644 --- a/compiler/main/DynFlags.hs +++ b/compiler/main/DynFlags.hs @@ -614,7 +614,6 @@ data WarningFlag = | Opt_WarnUnusedMatches | Opt_WarnUnusedTypePatterns | Opt_WarnUnusedForalls - | Opt_WarnContextQuantification -- remove in 8.2 | Opt_WarnWarningsDeprecations | Opt_WarnDeprecatedFlags | Opt_WarnAMP -- Introduced in GHC 7.8, obsolete since 7.10 @@ -3466,8 +3465,6 @@ wWarningFlagsDeps = [ flagSpec "dodgy-foreign-imports" Opt_WarnDodgyForeignImports, flagSpec "dodgy-imports" Opt_WarnDodgyImports, flagSpec "empty-enumerations" Opt_WarnEmptyEnumerations, - depFlagSpec "context-quantification" Opt_WarnContextQuantification - "it is subsumed by an error message that cannot be disabled", depFlagSpec "duplicate-constraints" Opt_WarnDuplicateConstraints "it is subsumed by -Wredundant-constraints", flagSpec "redundant-constraints" Opt_WarnRedundantConstraints, diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 5db8bdc13b..b28edf7a53 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -9343,10 +9343,8 @@ example: :: newtype Swizzle' = MkSwizzle' (Ord a => [a] -> [a]) -As of GHC 7.10, this is deprecated. The -:ghc-flag:`-Wcontext-quantification` flag detects this situation and issues -a warning. In GHC 8.0 this flag was deprecated and declarations such as -``MkSwizzle'`` will cause an out-of-scope error. +Since GHC 8.0 declarations such as ``MkSwizzle'`` will cause an out-of-scope +error. As for type signatures, implicit quantification happens for non-overloaded types too. So if you write this: :: |