[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 jeltsch):

 Replying to [comment:12 simonpj]:
 > Does that do it?  Shall we close the ticket?

 This seems to solve my problem. So as far as I’m concerned, this ticket
 can be closed. :-)

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