diff options
| author | simonpj@microsoft.com <unknown> | 2006-12-12 13:28:13 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2006-12-12 13:28:13 +0000 |
| commit | 9c991a60cf8eb52665f2616d54be7f9ed726bacc (patch) | |
| tree | df6b02d9aa1044f01358386fe3e443a9132a8005 | |
| parent | c2680a9aa668264138f531c0ab8b2d8c67793268 (diff) | |
| download | haskell-9c991a60cf8eb52665f2616d54be7f9ed726bacc.tar.gz | |
Missed a stage-2 problem in the TcSimplify refactoring
| -rw-r--r-- | compiler/typecheck/TcRnDriver.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs index 83d8321169..144d0d0f4b 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 } |