projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8cd504) | patch
Instantiate data constructor type variables with the type constructor type variables...
authorbringert@cs.chalmers.se <unknown>
Fri, 15 Sep 2006 23:33:15 +0000 (23:33 +0000)
committerbringert@cs.chalmers.se <unknown>
Fri, 15 Sep 2006 23:33:15 +0000 (23:33 +0000)
commit45b391025ccd6f91d6c280c7d0e5e755b67e760c
treed4159a94356203315a4cc2e9bb8018e06b3cc96etree | snapshot
parentd8cd50453c7f78ceb9d975183031bcf6ebe4b7bdcommit | diff
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.
compiler/typecheck/TcDeriv.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)