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

[GHC]

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

 Does everything I want, from my pov the ticket can be closed.

 Cheers,

 Tris ('guest')

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