[GHC] #714: inconsistency between handling of class and signature constraints

[GHC]

#714: inconsistency between handling of 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:                           |             Os:  Unknown
Difficulty:  Unknown                  |   Architecture:  Unknown
--------------------------------------+-------------------------------------
Changes (by simonpj):

  * milestone:  6.6 =>
  * priority:  normal => low

Comment:

 I agree that this is an inconsistency.

 However I'm planning to re-work the part of the type checker that deals
 with FDs, as part of the overlhaul that makes FC the intermediate
 language, and adds associated types.  So I'll look at it then.  Meanwhile,
 I don't think the payoff is enough to also do it for the current FD
 implementation.

 Simon

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