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

GHC trac at galois.com
Wed Dec 10 06:45:45 EST 2008


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

  * testcase:  GADT13 =>
  * status:  new => closed
  * resolution:  => fixed

Comment:

 OK, I'm closing this.  Would one of you care to add a testsuite case (or
 submit a patch) so that we have a test for this feature?

 I'm removing gadt13 as a test, since that test seems entirely unrelated to
 this ticket.

 Simon

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


More information about the Glasgow-haskell-bugs mailing list