[commit: ghc] master: Elaborate the typechecker's trace slightly (c8bac7c)
Simon Peyton Jones <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/c8bac7c01b8c19f7e91a6bd47077a9d933322e1b >--------------------------------------------------------------- commit c8bac7c01b8c19f7e91a6bd47077a9d933322e1b Author: Simon Peyton Jones <[email protected]> Date: Mon Oct 15 10:43:39 2012 +0100 Elaborate the typechecker's trace slightly >--------------------------------------------------------------- compiler/typecheck/TcInteract.lhs | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs index db7f362..ac0439d 100644 --- a/compiler/typecheck/TcInteract.lhs +++ b/compiler/typecheck/TcInteract.lhs @@ -182,6 +182,7 @@ runSolverPipeline pipeline workItem ContinueWith ct -> do { traceFireTcS ct (ptext (sLit "Kept as inert:") <+> ppr ct) ; traceTcS "End solver pipeline (not discharged) }" $ vcat [ ptext (sLit "final_item = ") <+> ppr ct + , pprTvBndrs (varSetElems $ tyVarsOfCt ct) , ptext (sLit "inerts = ") <+> ppr final_is] ; insertInertItemTcS ct } }