[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