X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnDriver.lhs;h=144d0d0f4b5ff003acd2e768ec9754a103446652;hb=ab5b8aa357c685a7c702262903bce04c66f79156;hp=83d8321169f193a2de36fd9feeaf90ccd94b3b73;hpb=14ec68724389d204e9121361e015ab776f348c5e;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs
index 83d8321..144d0d0 100644
--- a/compiler/typecheck/TcRnDriver.lhs
+++ b/compiler/typecheck/TcRnDriver.lhs
@@ -1036,11 +1036,11 @@ tcRnExpr hsc_env ictxt rdr_expr
 	-- Now typecheck the expression; 
 	-- it might have a rank-2 type (e.g. :t runST)
     ((tc_expr, res_ty), lie)	   <- getLIE (tcInferRho rn_expr) ;
-    ((qtvs, _, dict_ids), lie_top) <- getLIE (tcSimplifyInfer smpl_doc (tyVarsOfType res_ty) lie)  ;
+    ((qtvs, dict_insts, _), lie_top) <- getLIE (tcSimplifyInfer smpl_doc (tyVarsOfType res_ty) lie)  ;
     tcSimplifyInteractive lie_top ;
 
     let { all_expr_ty = mkForAllTys qtvs $
-    		        mkFunTys (map idType dict_ids)	$
+    		        mkFunTys (map (idType . instToId) dict_insts)	$
     		        res_ty } ;
     zonkTcType all_expr_ty
     }