[GHC] #2664: type family + data family + typeclass + type error causes GHC to diverge

[GHC]

#2664: type family + data family + typeclass + type error causes GHC to diverge
------------------------------------------------------+---------------------
  Reporter:  ryani                                    |          Owner:  chak            
      Type:  bug                                      |         Status:  closed          
  Priority:  low                                      |      Milestone:  7.0.1           
 Component:  Compiler                                 |        Version:  6.11            
Resolution:  fixed                                    |       Keywords:                  
  Testcase:  indexed-types/should_fail/T2664, T2664a  |      Blockedby:                  
Difficulty:  Unknown                                  |             Os:  Unknown/Multiple
  Blocking:                                           |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown                             |  
------------------------------------------------------+---------------------
Changes (by simonpj):

  * status:  new => closed
  * failure:  => None/Unknown
  * resolution:  => fixed
  * testcase:  => indexed-types/should_fail/T2664, T2664a


Comment:

 Works now.  Tests added.

 Simon

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