Commit ff9ff4a8 authored by Simon Peyton Jones's avatar Simon Peyton Jones Committed by Ben Gamari
Browse files

Change -ddump-tc-trace output in TcErrors, slightly

Reviewers: austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D3200
parent 2aac0ba1
...@@ -191,9 +191,9 @@ report_unsolved mb_binds_var err_as_warn type_errors expr_holes ...@@ -191,9 +191,9 @@ report_unsolved mb_binds_var err_as_warn type_errors expr_holes
; let tidy_env = tidyFreeTyCoVars env0 free_tvs ; let tidy_env = tidyFreeTyCoVars env0 free_tvs
free_tvs = tyCoVarsOfWCList wanted free_tvs = tyCoVarsOfWCList wanted
; traceTc "reportUnsolved (after zonking and tidying):" $ ; traceTc "reportUnsolved (after zonking):" $
vcat [ pprTyVars free_tvs vcat [ text "Free tyvars:" <+> pprTyVars free_tvs
, ppr wanted ] , text "Wanted:" <+> ppr wanted ]
; warn_redundant <- woptM Opt_WarnRedundantConstraints ; warn_redundant <- woptM Opt_WarnRedundantConstraints
; let err_ctxt = CEC { cec_encl = [] ; let err_ctxt = CEC { cec_encl = []
...@@ -335,8 +335,8 @@ reportImplic ctxt implic@(Implic { ic_skols = tvs, ic_given = given ...@@ -335,8 +335,8 @@ reportImplic ctxt implic@(Implic { ic_skols = tvs, ic_given = given
-- certainly be un-satisfied constraints -- certainly be un-satisfied constraints
| otherwise | otherwise
= do { reportWanteds ctxt' tc_lvl wanted = do { traceTc "reportImplic" (ppr implic')
; traceTc "reportImplic" (ppr implic) ; reportWanteds ctxt' tc_lvl wanted
; when (cec_warn_redundant ctxt) $ ; when (cec_warn_redundant ctxt) $
warnRedundantConstraints ctxt' tcl_env info' dead_givens } warnRedundantConstraints ctxt' tcl_env info' dead_givens }
where where
......
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