Commit a434bcbc authored by Simon Peyton Jones's avatar Simon Peyton Jones

tc-tracing only

parent 857ef25e
......@@ -283,7 +283,14 @@ improveClsFD clas_tvs fd
-> []
| otherwise
-> [(meta_tvs, fdeqs)]
-> -- pprTrace "iproveClsFD" (vcat
-- [ text "is_tvs =" <+> ppr qtvs
-- , text "tys_inst =" <+> ppr tys_inst
-- , text "tys_actual =" <+> ppr tys_actual
-- , text "ltys1 =" <+> ppr ltys1
-- , text "ltys2 =" <+> ppr ltys2
-- , text "subst =" <+> ppr subst ]) $
[(meta_tvs, fdeqs)]
-- We could avoid this substTy stuff by producing the eqn
-- (qtvs, ls1++rs1, ls2++rs2)
-- which will re-do the ls1/ls2 unification when the equation is
......
......@@ -1608,7 +1608,8 @@ interactTyVarEq inerts workItem@(CTyEqCan { cc_tyvar = tv
; stopWith ev "Solved from inert" }
| ReprEq <- eq_rel -- See Note [Do not unify representational equalities]
= continueWith workItem
= do { traceTcS "Not unifying representational equality" (ppr workItem)
; continueWith workItem }
| isGiven ev -- See Note [Touchables and givens]
= continueWith workItem
......
......@@ -1357,7 +1357,10 @@ solveWanteds :: WantedConstraints -> TcS WantedConstraints
-- so that the inert set doesn't mindlessly propagate.
-- NB: wc_simples may be wanted /or/ derived now
solveWanteds wc@(WC { wc_simple = simples, wc_impl = implics })
= do { traceTcS "solveWanteds {" (ppr wc)
= do { cur_lvl <- TcS.getTcLevel
; traceTcS "solveWanteds {" $
vcat [ text "Level =" <+> ppr cur_lvl
, ppr wc ]
; wc1 <- solveSimpleWanteds simples
-- Any insoluble constraints are in 'simples' and so get rewritten
......
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