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

diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs
index 88dfe81..144d0d0 100644
--- a/compiler/typecheck/TcRnDriver.lhs
+++ b/compiler/typecheck/TcRnDriver.lhs
@@ -1036,12 +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 ;
-    qtvs' <- mappM zonkQuantifiedTyVar qtvs ;
 
-    let { all_expr_ty = mkForAllTys qtvs' $
-    		        mkFunTys (map idType dict_ids)	$
+    let { all_expr_ty = mkForAllTys qtvs $
+    		        mkFunTys (map (idType . instToId) dict_insts)	$
     		        res_ty } ;
     zonkTcType all_expr_ty
     }