[GHC] #345: GADT - fundep interaction

[GHC]

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

 The corresponding problem in the type families world has now been fixed -
 eg #1723.  I am unsure what the intention with this bug is.  Close it, and
 tell people to use type families?  Wait until FDs are being implemented by
 way of type families?

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