[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:                                      |   Architecture:  Multiple        
       Os:  Multiple                            |  
------------------------------------------------+---------------------------
Comment (by simonpj):

 Correct, I think.  You definitely can't mix data contructors from two
 different 'data instances'.

 Simon

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