From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Wed, 20 Sep 2006 20:48:05 +0000 (+0000)
Subject: Correct substitution into theta types (after merge)
X-Git-Tag: After_FC_branch_merge^0
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=8053aac536c96dabdc06e9f068852f5481474a29

Correct substitution into theta types (after merge)
---

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) }
 
 -----------------------------------