X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcUnify.lhs;h=7872c59cd37be2a3f2f10f753f9b9f63fdac2296;hb=8053aac536c96dabdc06e9f068852f5481474a29;hp=000024e1b3495097e2c2ca71a93b112d5a3d3c4e;hpb=15cb792d18b1094e98c035dca6ecec5dad516056;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs
index 000024e..7872c59 100644
--- a/compiler/typecheck/TcUnify.lhs
+++ b/compiler/typecheck/TcUnify.lhs
@@ -699,11 +699,10 @@ tc_sub1 mb_fun act_sty actual_ty exp_ib exp_sty expected_ty
 	; traceTc (text "tc_sub_spec" <+> vcat [ppr actual_ty, 
 						ppr tyvars <+> ppr theta <+> ppr tau,
 						ppr tau'])
-	; co_fn2 <- tc_sub mb_fun tau tau 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 (mkTyVarTys tyvars) theta
- 	; co_fn2 <- tc_sub False tau tau exp_sty expected_ty
+	; co_fn1 <- instCall InstSigOrigin inst_tys (substTheta subst' theta)
  	; return (co_fn2 <.> co_fn1) }
 
 -----------------------------------