[commit: ghc] wip/spj-early-inline: Change -ddump-tc-trace output in TcErrors, slightly (3b2fc08)

git at git.haskell.org git at git.haskell.org
Fri Feb 17 16:28:38 UTC 2017


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/spj-early-inline
Link       : http://ghc.haskell.org/trac/ghc/changeset/3b2fc0827ff6cafa34836c2d9dc710b628c990b6/ghc

>---------------------------------------------------------------

commit 3b2fc0827ff6cafa34836c2d9dc710b628c990b6
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Feb 17 12:49:26 2017 +0000

    Change -ddump-tc-trace output in TcErrors, slightly
    
    Only affects debugging


>---------------------------------------------------------------

3b2fc0827ff6cafa34836c2d9dc710b628c990b6
 compiler/typecheck/TcErrors.hs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/compiler/typecheck/TcErrors.hs b/compiler/typecheck/TcErrors.hs
index 6d4e3de..d47ecc6 100644
--- a/compiler/typecheck/TcErrors.hs
+++ b/compiler/typecheck/TcErrors.hs
@@ -191,9 +191,9 @@ report_unsolved mb_binds_var err_as_warn type_errors expr_holes
        ; let tidy_env = tidyFreeTyCoVars env0 free_tvs
              free_tvs = tyCoVarsOfWCList wanted
 
-       ; traceTc "reportUnsolved (after zonking and tidying):" $
-         vcat [ pprTyVars free_tvs
-              , ppr wanted ]
+       ; traceTc "reportUnsolved (after zonking):" $
+         vcat [ text "Free tyvars:" <+> pprTyVars free_tvs
+              , text "Wanted:" <+> ppr wanted ]
 
        ; warn_redundant <- woptM Opt_WarnRedundantConstraints
        ; let err_ctxt = CEC { cec_encl  = []
@@ -335,8 +335,8 @@ reportImplic ctxt implic@(Implic { ic_skols = tvs, ic_given = given
                      -- certainly be un-satisfied constraints
 
   | otherwise
-  = do { reportWanteds ctxt' tc_lvl wanted
-       ; traceTc "reportImplic" (ppr implic)
+  = do { traceTc "reportImplic" (ppr implic')
+       ; reportWanteds ctxt' tc_lvl wanted
        ; when (cec_warn_redundant ctxt) $
          warnRedundantConstraints ctxt' tcl_env info' dead_givens }
   where



More information about the ghc-commits mailing list