summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2014-10-29 17:50:44 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2014-10-31 09:08:50 +0000
commitec5be5fb8991801f8683d23df7722e2152026436 (patch)
treed2c4b0c0806ce8683a9cfec0914419066c3259ed
parent394ca3be64d101e30fb4f47de88afd3d55615309 (diff)
downloadhaskell-ec5be5fb8991801f8683d23df7722e2152026436.tar.gz
Don't filter out allegedly-irrelevant bindings with -dppr-debug
-rw-r--r--compiler/typecheck/TcErrors.lhs4
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/typecheck/TcErrors.lhs b/compiler/typecheck/TcErrors.lhs
index 0596e0c4e6..d2d8133ca8 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