[GHC] #345: GADT - fundep interaction

[GHC]

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

 To clarify, my intention is that we'll solve it with type functions, which
 will play nice with GADTs.  I'm not sure fundeps ever will.

 Simon

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