[GHC] #902: Deriving for H98 types using GADT syntax fails

GHC trac at galois.com
Fri Sep 15 19:46:24 EDT 2006


#902: Deriving for H98 types using GADT syntax fails
--------------------------------------+-------------------------------------
  Reporter:  bringert at cs.chalmers.se  |          Owner:         
      Type:  bug                      |         Status:  closed 
  Priority:  normal                   |      Milestone:         
 Component:  Compiler                 |        Version:  6.5    
  Severity:  normal                   |     Resolution:  fixed  
  Keywords:                           |             Os:  Unknown
Difficulty:  Unknown                  |   Architecture:  Unknown
--------------------------------------+-------------------------------------
Changes (by bringert at cs.chalmers.se):

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

Comment:

 Fixed by patch "Instantiate data constructor type variables with the type
 constructor type variables in constraints for derived class instances.
 Fixes instance deriving for GADTs which declar H98 types, closing ticket
 #902."

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


More information about the Glasgow-haskell-bugs mailing list