[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:  closed          
    Priority:  low                      |    Milestone:  6.12 branch     
   Component:  Compiler (Type checker)  |      Version:  6.5             
    Severity:  normal                   |   Resolution:  duplicate       
    Keywords:                           |   Difficulty:  Unknown         
    Testcase:                           |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |  
----------------------------------------+-----------------------------------
Changes (by simonpj):

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

Comment:

 I'll close this long thread in favour of #3490, which summarises the key
 feature request.

 Simon

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