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

[GHC]

#4426: Simplify the rules for implicit quantification
-------------------------------------+-------------------------------------
              Reporter:  simonpj     |            Owner:
                  Type:  feature     |           Status:  new
  request                            |        Milestone:  7.10.1
              Priority:  highest     |          Version:  6.12.3
             Component:  Compiler    |         Keywords:
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:  #7880
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:  Phab:D211   |
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * priority:  low => highest
 * status:  closed => new
 * resolution:  fixed =>


Comment:

 No, now, let's not close this.  There's a pending change for 7.12, namely
  * making the warnings into an error.
  * getting rid of the `Qualified` constructor in `HsExplicitFlag` (we can
 use `Explicit` instead)
  * remove or deprecate `fwarn-context-quantification` (I suppose it should
 be deprecated until 7.14, sigh.)

 7.12 isn't a milestone yet (Austin can you fix that?), so I'll milestone
 it for 7.10 so it doesn't get lost.  I'll give it "highest" priority not
 because it's terribly vital but because it's easy and it'd be untidy to
 let it linger.

 Simon

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