diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-17 12:49:26 +0000 |
|---|---|---|
| committer | David Feuer <David.Feuer@gmail.com> | 2017-02-20 19:36:19 -0500 |
| commit | 1bb6debc7352f0f5e13940ef4023f7ca127f3c3e (patch) | |
| tree | 7dc54ac81d7fecb389cf616731ff7aa8bd8afa75 | |
| parent | b3b0015cb374298256749931b35d45634bf70b9d (diff) | |
| download | haskell-1bb6debc7352f0f5e13940ef4023f7ca127f3c3e.tar.gz | |
Change -ddump-tc-trace output in TcErrors, slightly
Only affects debugging
| -rw-r--r-- | compiler/typecheck/TcErrors.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/typecheck/TcErrors.hs b/compiler/typecheck/TcErrors.hs index 6d4e3def8c..d47ecc6315 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 |