[GHC] #3208: Incorrect handling of recursive groups with signatures containing equalities and TFs

[GHC]

#3208: Incorrect handling of recursive groups with signatures containing
equalities and TFs
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:  chak            
        Type:  bug               |       Status:  reopened        
    Priority:  normal            |    Milestone:  6.12 branch     
   Component:  Compiler          |      Version:  6.11            
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:  T3208a, T3208b    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Changes (by chak):

  * summary:  Type family panic (taking the IdInfo of a coercion variable)
              => Incorrect handling of recursive groups with
              signatures containing equalities and TFs

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