[GHC] #345: GADT - fundep interaction

[GHC]

#345: GADT - fundep interaction
-------------------------------------+--------------------------------------
 Reporter:  bring                    |          Owner:  simonpj 
     Type:  bug                      |         Status:  assigned
 Priority:  normal                   |      Milestone:  6.8     
Component:  Compiler (Type checker)  |        Version:  6.4     
 Severity:  normal                   |     Resolution:  None    
 Keywords:                           |     Difficulty:  Unknown 
 Testcase:  gadt-fd                  |   Architecture:  Unknown 
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Comment (by simonpj):

 This one still doesn't work, even with the new implication-constraint
 machinery.  It's a good example of the need for full-on equality
 constraints.

 Simon

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