[GHC] #2102: Typeclass membership doesn't bring coercion superclass requirements into scope

[GHC]

#2102: Typeclass membership doesn't bring coercion superclass requirements into
scope
-------------------------------------+--------------------------------------
 Reporter:  ryani                    |          Owner:  chak       
     Type:  bug                      |         Status:  new        
 Priority:  normal                   |      Milestone:  6.10 branch
Component:  Compiler (Type checker)  |        Version:  6.8.2      
 Severity:  normal                   |     Resolution:             
 Keywords:                           |     Difficulty:  Unknown    
 Testcase:                           |   Architecture:  Unknown    
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Changes (by simonpj):

  * owner:  => chak

Comment:

 Manuel is working on equality constraints.

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