X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.lhs;h=83833533d731e57c2bc1752501f829b0d9688521;hb=5f553f0c0508cb09b75f78e6c2ac1baa4c01b6aa;hp=cf94f27f19c2157dcbe917e09508dcd825735453;hpb=c5a65b1704212e3f4354841ff480c660a3b51fb6;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index cf94f27..8383353 100644
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -458,11 +458,11 @@ tc_expr expr@(RecordUpd record_expr rbinds) res_ty
 	non_upd_field_lbls  = concat relevant_field_lbls_s `minusList` upd_field_lbls
 	common_tyvars       = tyVarsOfTypes (map fieldLabelType non_upd_field_lbls)
 
-	mk_inst_ty (tyvar, result_inst_ty) 
+	mk_inst_ty tyvar result_inst_ty 
 	  | tyvar `elemVarSet` common_tyvars = returnM result_inst_ty	-- Same as result type
 	  | otherwise			     = newTyVarTy liftedTypeKind	-- Fresh type
     in
-    mappM mk_inst_ty (zip tycon_tyvars result_inst_tys)	`thenM` \ inst_tys ->
+    zipWithM mk_inst_ty tycon_tyvars result_inst_tys	`thenM` \ inst_tys ->
 
 	-- STEP 5
 	-- Typecheck the expression to be updated