[commit: ghc] wip/new-flatten-skolems-Oct14: Don't filter out allegedly-irrelevant bindings with -dppr-debug (91b3ba1)
git at git.haskell.org
git at git.haskell.org
Thu Oct 30 12:54:41 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/new-flatten-skolems-Oct14
Link : http://ghc.haskell.org/trac/ghc/changeset/91b3ba104ff21289813482e64104c953525b4f9a/ghc
>---------------------------------------------------------------
commit 91b3ba104ff21289813482e64104c953525b4f9a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Wed Oct 29 17:50:44 2014 +0000
Don't filter out allegedly-irrelevant bindings with -dppr-debug
>---------------------------------------------------------------
91b3ba104ff21289813482e64104c953525b4f9a
compiler/typecheck/TcErrors.lhs | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcErrors.lhs b/compiler/typecheck/TcErrors.lhs
index 0596e0c..d2d8133 100644
--- a/compiler/typecheck/TcErrors.lhs
+++ b/compiler/typecheck/TcErrors.lhs
@@ -40,6 +40,7 @@ import FastString
import Outputable
import SrcLoc
import DynFlags
+import StaticFlags ( opt_PprStyle_Debug )
import ListSetOps ( equivClasses )
import Data.Maybe
@@ -1422,7 +1423,8 @@ relevantBindings want_filtering ctxt ct
<+> ppr (getSrcLoc id)))]
new_seen = tvs_seen `unionVarSet` id_tvs
- ; if (want_filtering && id_tvs `disjointVarSet` ct_tvs)
+ ; if (want_filtering && not opt_PprStyle_Debug
+ && id_tvs `disjointVarSet` ct_tvs)
-- We want to filter out this binding anyway
-- so discard it silently
then go tidy_env n_left tvs_seen docs discards tc_bndrs
More information about the ghc-commits
mailing list