[GHC] #714: Inconsistency between handling functional dependencies in class and signature constraints

[GHC]

#714: Inconsistency between handling functional dependencies in class and
signature constraints
-------------------------------------+--------------------------------------
 Reporter:  claus.reinke at talk21.com  |          Owner:  simonpj
     Type:  bug                      |         Status:  new    
 Priority:  low                      |      Milestone:  _|_    
Component:  Compiler (Type checker)  |        Version:  6.5    
 Severity:  normal                   |     Resolution:         
 Keywords:                           |     Difficulty:  Unknown
 Testcase:                           |   Architecture:  Unknown
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Changes (by simonpj):

  * summary:  inconsistency between handling of class and signature
              constraints => Inconsistency between handling
              functional dependencies in class and signature
              constraints

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