[GHC] #8095: TypeFamilies painfully slow

[GHC]

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

Comment (by rwbarton):

 What's the status of discarding coercions during normal compilations? Is
 it worth separating that idea out into its own ticket? Seems like it would
 be good for compilation time more generally, not just when computing with
 type families.

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