[GHC] #5224: Improve consistency checking for family instances

[GHC]

#5224: Improve consistency checking for family instances
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:  simonpj                     
        Type:  bug               |       Status:  new                         
    Priority:  normal            |    Milestone:  7.2.1                       
   Component:  Compiler          |      Version:  7.0.3                       
    Keywords:                    |     Testcase:                              
   Blockedby:                    |   Difficulty:                              
          Os:  Unknown/Multiple  |     Blocking:                              
Architecture:  Unknown/Multiple  |      Failure:  Compile-time performance bug
---------------------------------+------------------------------------------
Changes (by igloo):

  * owner:  => simonpj
  * priority:  highest => normal


Comment:

 I don't think this is critical for 7.2.1, after we removed most of the
 generic tuple instances. `T3064` and `T4801` are now failing because ghc
 doesn't allocate as much as expected, and `IndTypesPerf` is passing.

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