[commit: ghc] wip/T9858-typeable-ben: debug (f814b47)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/T9858-typeable-ben
Link       : http://ghc.haskell.org/trac/ghc/changeset/f814b47ccc7efde0951f867ad3f56c27b27f4856/ghc

>---------------------------------------------------------------

commit f814b47ccc7efde0951f867ad3f56c27b27f4856
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Tue Oct 27 16:25:18 2015 +0100

    debug


>---------------------------------------------------------------

f814b47ccc7efde0951f867ad3f56c27b27f4856
 compiler/typecheck/TcBinds.hs   | 2 +-
 compiler/typecheck/TcTyDecls.hs | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcBinds.hs b/compiler/typecheck/TcBinds.hs
index 1e52a22..1afeda0 100644
--- a/compiler/typecheck/TcBinds.hs
+++ b/compiler/typecheck/TcBinds.hs
@@ -194,7 +194,7 @@ tcTopBinds (ValBindsIn {}) = panic "tcTopBinds"
 
 tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv
 tcRecSelBinds (ValBindsOut binds sigs)
-  = -- tcExtendGlobalValEnv [sel_id | L _ (IdSig sel_id) <- sigs] $
+  = tcExtendGlobalValEnv [sel_id | L _ (IdSig sel_id) <- sigs] $
     -- this envt extension happens in tcValBinds
     do { (rec_sel_binds, tcg_env) <- discardWarnings $
                                      tcValBinds TopLevel binds sigs getGblEnv
diff --git a/compiler/typecheck/TcTyDecls.hs b/compiler/typecheck/TcTyDecls.hs
index d1b091d..ea96bb5 100644
--- a/compiler/typecheck/TcTyDecls.hs
+++ b/compiler/typecheck/TcTyDecls.hs
@@ -819,6 +819,7 @@ tcAddImplicits tyclss
     do { (typeable_ids, typeable_binds) <- mkTypeableBinds tycons
        ; gbl_env <- tcExtendGlobalValEnv typeable_ids
                     $ tcRecSelBinds $ mkRecSelBinds tyclss
+       ; traceTc "tcAddImplicits" (ppr $ mkRecSelBinds tyclss)
        ; return (gbl_env `addTypecheckedBinds` typeable_binds) }
  where
    implicit_things = concatMap implicitTyThings tyclss