From 8053aac536c96dabdc06e9f068852f5481474a29 Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Wed, 20 Sep 2006 20:48:05 +0000 Subject: [PATCH] Correct substitution into theta types (after merge) --- compiler/typecheck/TcUnify.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs index b616b37..7872c59 100644 --- 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) } ----------------------------------- -- 1.7.10.4