[GHC] #4426: Simplify the rules for implicit quantification

[GHC]

#4426: Simplify the rules for implicit quantification
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  bgamari
            Type:  feature request   |               Status:  patch
        Priority:  highest           |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  6.12.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #7880             |  Differential Rev(s):  Phab:D211,
       Wiki Page:                    |  Phab:D1615
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"ddde542dbcb088e0a10aa3cdc3e0aef0a1c4a9b7/ghc"
 ddde542d/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="ddde542dbcb088e0a10aa3cdc3e0aef0a1c4a9b7"
 DynFlags Remove -fwarn-context-quantification flag

 As mentioned in #4426 these warnings are now errors since the Great
 Wildcards Refactor of 2015 (1e041b7382b6aa329e4ad9625439f811e0f27232).
 I've opened #11221 to ensure we remove the last traces of the option in
 8.2.

 Test Plan: validate

 Reviewers: austin

 Subscribers: thomie

 Differential Revision: https://phabricator.haskell.org/D1615

 GHC Trac Issues: #4426
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:28>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler