[GHC] #345: GADT - fundep interaction

[GHC]

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

 See also #1573, which gives another example.

 I plan to fix this by the upcoming work on indexed type families. Tom
 Schrivjers has built a prototype implementation, which mostly works.  I
 need to review and commit it.  Stay tuned.

 Simon

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