[GHC] #2796: GHC panic related to associated types

[GHC]

#2796: GHC panic related to associated types
-----------------------------------------------------------------------------------------+
    Reporter:  FSalad                                                                    |        Owner:  chak   
        Type:  bug                                                                       |       Status:  closed 
    Priority:  normal                                                                    |    Milestone:  6.12.1 
   Component:  Compiler                                                                  |      Version:  6.10.1 
    Severity:  normal                                                                    |   Resolution:  fixed  
    Keywords:  associated types, associated type synonyms, type families, family, panic  |   Difficulty:  Unknown
    Testcase:                                                                            |           Os:  Linux  
Architecture:  Unknown/Multiple                                                          |  
-----------------------------------------------------------------------------------------+
Changes (by chak):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 This works now with the new pure equality solver.  To be precise, the
 example program fails to compile due to a type error, but it doesn't lead
 to a compiler panic anymore.  You may want to build a copy of the latest
 HEAD (or grab a snapshot) and check that the type error is what you
 expected.

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