Commit ad23a496 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Comments and -ddump-tc-trace wibbles only

parent 21a7665e
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment