[GHC] #14993: QuantifiedConstraints and principal types

[GHC]

#14993: QuantifiedConstraints and principal types
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  task              |               Status:  closed
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.5
      Resolution:  fixed             |             Keywords:
                                     |  QuantifiedConstraints, wipT2893
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by AntC):

 Replying to [comment:7 simonpj]:
 > a separate "constraint solver" including implication constraints.

 Thanks Simon. JFP06 ''Understanding FunDeps via Constraint Handling
 Rules'' is where the theoretical groundwork was laid, but there was no
 corresponding development at that time, AFAICT.

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