[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:         
      Type:  bug                      |         Status:  new    
  Priority:  normal                   |      Milestone:         
 Component:  Compiler (Type checker)  |        Version:  6.5    
  Severity:  normal                   |     Resolution:         
  Keywords:                           |             Os:  Unknown
Difficulty:  Unknown                  |   Architecture:  Unknown
--------------------------------------+-------------------------------------
Changes (by claus.reinke at talk21.com):

  * type:  feature request => bug

Comment:

 (reclassified as bug, let's see whether that evokes any comments?-)

 the problem has now become acute in haskell' list discussions.

 btw, the same problem exists with contexts of data declarations,
 which show an equal unawareness of FDs.

 {{{
 data C a b => D a
 }}}

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