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

 Replying to [comment:3 guest]:
 > Also interested in this. Will the implementation allow varying non-
 instance types?

 What do you mean by "varying non-instance type"?  Whether you write
 {{{
 data family Blah x y :: *
 }}}
 or
 {{{
 data family Blah x :: * -> *
 }}}
 makes no difference whatsoever for data families.

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