X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcDeriv.lhs;h=45bca4c6009fefd6b78604e5f13afc34a83e0d07;hb=04612d54b51bebf809717d1cf0242efb6294ee59;hp=7ed64c16288850570623b405ac2cc9687a54598c;hpb=94df10136b6e879bb55ce04796942da9d0367a5a;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcDeriv.lhs b/ghc/compiler/typecheck/TcDeriv.lhs
index 7ed64c1..45bca4c 100644
--- a/ghc/compiler/typecheck/TcDeriv.lhs
+++ b/ghc/compiler/typecheck/TcDeriv.lhs
@@ -29,7 +29,7 @@ import RnEnv		( bindLocalNames )
 import HscTypes		( DFunId, FixityEnv )
 
 import Class		( className, classArity, classKey, classTyVars, classSCTheta, Class )
-import Type		( zipTvSubst, substTheta )
+import Type		( zipOpenTvSubst, substTheta )
 import ErrUtils		( dumpIfSet_dyn )
 import MkId		( mkDictFunId )
 import DataCon		( isNullarySrcDataCon, isVanillaDataCon, dataConOrigArgTys )
@@ -441,7 +441,7 @@ makeDerivEqns tycl_decls
 		-- There's no 'corece' needed because after the type checker newtypes
 		-- are transparent.
 
-	sc_theta = substTheta (zipTvSubst clas_tyvars inst_tys)
+	sc_theta = substTheta (zipOpenTvSubst clas_tyvars inst_tys)
 			      (classSCTheta clas)
 
 		-- If there are no tyvars, there's no need