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

[GHC]

#4426: Simplify the rules for implicit quantification
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                   Owner:  simonpj
            Type:  feature request   |                  Status:  new
        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 Revisions:  Phab:D211
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * owner:   => simonpj


Comment:

 Yes, I am working on it, as part of some refactoring in the front end that
 I'm busy with.  Thanks for the offer though!  (There are plenty of other
 tickets, so you should not lack for opportunity.)

 Simon

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