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

GHC trac at galois.com
Tue Jul 15 02:32:37 EDT 2008


#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                              |   Architecture:  Multiple        
       Os:  Multiple                            |  
------------------------------------------------+---------------------------
Changes (by chak):

  * testcase:  => GADT13

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


More information about the Glasgow-haskell-bugs mailing list