[GHC] #2627: GADT + Type family doesn't unify like I expect

[GHC]

#2627: GADT + Type family doesn't unify like I expect
-------------------------------------+--------------------------------------
 Reporter:  ryani                    |          Owner:  chak   
     Type:  bug                      |         Status:  closed 
 Priority:  normal                   |      Milestone:         
Component:  Compiler (Type checker)  |        Version:  6.9    
 Severity:  normal                   |     Resolution:  fixed  
 Keywords:                           |     Difficulty:  Unknown
 Testcase:  T2627                    |   Architecture:  Unknown
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Changes (by chak):

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

Comment:

 Fixed the panic, too.

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