From 9c991a60cf8eb52665f2616d54be7f9ed726bacc Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Tue, 12 Dec 2006 13:28:13 +0000
Subject: [PATCH] Missed a stage-2 problem in the TcSimplify refactoring

---
 compiler/typecheck/TcRnDriver.lhs |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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