[GHC] #1968: data family + GADT: not implemented yet

[GHC]

#1968: data family + GADT: not implemented yet
---------------------------------------------------+------------------------
    Reporter:  Remi                                |        Owner:  chak            
        Type:  bug                                 |       Status:  closed          
    Priority:  normal                              |    Milestone:  6.10 branch     
   Component:  Compiler (Type checker)             |      Version:  6.9             
    Severity:  normal                              |   Resolution:  fixed           
    Keywords:  data type family GADT choose_univs  |   Difficulty:  Moderate (1 day)
    Testcase:                                      |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple                    |  
---------------------------------------------------+------------------------
Comment (by igloo):

 The example in the original report works in the HEAD, but not the 6.10
 branch.

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