[GHC] #2639: Core lint failure with type families, data families, and typeclasses

[GHC]

#2639: Core lint failure with type families, data families, and typeclasses
------------------------------+---------------------------------------------
 Reporter:  ryani             |          Owner:  chak            
     Type:  bug               |         Status:  closed          
 Priority:  normal            |      Milestone:                  
Component:  Compiler          |        Version:  6.9             
 Severity:  normal            |     Resolution:  fixed           
 Keywords:                    |     Difficulty:  Unknown         
 Testcase:  T2639             |   Architecture:  Unknown/Multiple
       Os:  Unknown/Multiple  |  
------------------------------+---------------------------------------------
Changes (by chak):

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

Comment:

 The type checker completely omitted to produce one cast plus associated
 coercion when data family pattern matching was combined with local type
 refinement.

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