[GHC] #8095: TypeFamilies painfully slow

[GHC]

#8095: TypeFamilies painfully slow
-------------------------------------+-------------------------------------
        Reporter:  MikeIzbicki       |                   Owner:  bgamari
            Type:  bug               |                  Status:  new
        Priority:  high              |               Milestone:  7.12.1
       Component:  Compiler (Type    |                 Version:  7.6.3
  checker)                           |
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  performance bug                    |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:  5321              |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by goldfire):

 I got caught in this morass some time ago, but my comment:1 is out-of-date
 at this point: I am well acquainted with how all this works in the solver
 these days. So I'm happy to help out, but I don't have the bandwidth now
 to take the lead here. Thanks, Ben!

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