diff options
| author | simonpj@microsoft.com <unknown> | 2009-10-29 12:22:27 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-10-29 12:22:27 +0000 |
| commit | ad23a496a860063ab01025051d9c9baf45725a61 (patch) | |
| tree | e20cefab7f06a27f0243f58bf7d088e35ff25ed8 /compiler | |
| parent | 21a7665e11b54949e6830d6b98d79c75ed66235f (diff) | |
| download | haskell-ad23a496a860063ab01025051d9c9baf45725a61.tar.gz | |
Comments and -ddump-tc-trace wibbles only
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcExpr.lhs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs index 47e4c6f029..d5d6b6b842 100644 --- a/compiler/typecheck/TcExpr.lhs +++ b/compiler/typecheck/TcExpr.lhs @@ -850,12 +850,12 @@ tcId :: InstOrigin -> BoxyRhoType -- Result type -> TcM (HsExpr TcId) tcId orig fun_name res_ty - = do { traceTc (text "tcId" <+> ppr fun_name <+> ppr res_ty) - ; (fun, fun_ty) <- lookupFun orig fun_name - + = do { (fun, fun_ty) <- lookupFun orig fun_name + ; traceTc (text "tcId" <+> ppr fun_name <+> (ppr fun_ty $$ ppr res_ty)) + -- Split up the function type ; let (tv_theta_prs, fun_tau) = tcMultiSplitSigmaTy fun_ty - qtvs = concatMap fst tv_theta_prs -- Quantified tyvars + qtvs = concatMap fst tv_theta_prs -- Quantified tyvars tau_qtvs = exactTyVarsOfType fun_tau -- Mentioned in the tau part ; qtv_tys <- preSubType qtvs tau_qtvs fun_tau res_ty @@ -863,6 +863,8 @@ tcId orig fun_name res_ty ; let res_subst = zipTopTvSubst qtvs qtv_tys fun_tau' = substTy res_subst fun_tau + ; traceTc (text "tcId2" <+> ppr fun_name <+> (ppr qtvs $$ ppr qtv_tys)) + ; co_fn <- tcSubExp orig fun_tau' res_ty -- And pack up the results |