patch applied (ghc): 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.

[d00bring at dtek.chalmers.se]

Fri Sep 15 16:33:15 PDT 2006  bringert at cs.chalmers.se
  * 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.

    M ./compiler/typecheck/TcDeriv.lhs -3 +3