Correct substitution into theta types (after merge)

8053aac5 · chak@cse.unsw.edu.au. · 574022a8 · 8053aac5
Commit 8053aac5 authored 18 years ago by chak@cse.unsw.edu.au.
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -702,7 +702,7 @@ tc_sub1 mb_fun act_sty actual_ty exp_ib exp_sty expected_ty
 	; co_fn2 <- tc_sub mb_fun tau' tau' exp_ib exp_sty expected_ty

 		-- Deal with the dictionaries
-	; co_fn1 <- instCall InstSigOrigin inst_tys (substTy subst' theta)
+	; co_fn1 <- instCall InstSigOrigin inst_tys (substTheta subst' theta)
 	; return (co_fn2 <.> co_fn1) }

 -----------------------------------