#902: Deriving for H98 types using GADT syntax fails
--------------------------------------+-------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.5
Severity: normal | Resolution:
Keywords: | Os: Unknown
Difficulty: Unknown | Architecture: Unknown
--------------------------------------+-------------------------------------
Comment (by [EMAIL PROTECTED]):
In compiler/typecheck/TcDeriv.lhs, mkDataTypeEqn, ordinary_constraints,
constraints are added for all argument types of all data constructors.
However, with GADTs, type variables which are data constructor arguments
are distinct from the type constructor arguments. simonpj suggested fixing
this by using dataConInstOrigArgTys to instantiate the type variables.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/902>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
