[GHC] #345: GADT - fundep interaction

[GHC]

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

  * priority:  high => low
  * milestone:  6.10 branch => _|_

Comment:

 Ultimately, I think we can implement fundeps using type families, and then
 the fundep version will work too.  Until then, it'll only work in type-
 family form.

 So, since we now have a good workaround (well, actually, a better way to
 write the program rather than a workaround), I'll leave it open, but at
 low priority and with milestone bottom.

 Simon

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