Commit 13c1fc4d authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

DynFlags: Rip out remnants of WarnContextQuantification

Test Plan: Validate

Reviewers: austin

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #11221
parent ed4cf039
......@@ -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,
......@@ -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
As for type signatures, implicit quantification happens for
non-overloaded types too. So if you write this: ::
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment