[commit: ghc] master: Remove debugging printouts -- sorry! (21c3d17)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/21c3d1786c3cb333ade76b280a567c920f47a226/ghc

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

commit 21c3d1786c3cb333ade76b280a567c920f47a226
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Oct 23 14:21:54 2013 -0400

    Remove debugging printouts -- sorry!


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

21c3d1786c3cb333ade76b280a567c920f47a226
 compiler/deSugar/DsBinds.lhs      |    9 ++-------
 compiler/typecheck/TcRnDriver.lhs |    2 --
 compiler/types/Coercion.lhs       |    5 +----
 3 files changed, 3 insertions(+), 13 deletions(-)

diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs
index 1e828f8..cbdc98f 100644
--- a/compiler/deSugar/DsBinds.lhs
+++ b/compiler/deSugar/DsBinds.lhs
@@ -74,8 +74,6 @@ import Util
 import Control.Monad( when )
 import MonadUtils
 import Control.Monad(liftM)
-
-import TcRnMonad (traceIf) -- RAE
 \end{code}
 
 %************************************************************************
@@ -840,18 +838,15 @@ dsTcCoercion :: Role -> TcCoercion -> (Coercion -> CoreExpr) -> DsM CoreExpr
 --         k (trans g1# g2#)
 -- thing_inside will get a coercion at the role requested
 dsTcCoercion role co thing_inside
-  = do { traceIf $ hang (text "dsTcCoercion {") 2 $ vcat [ppr role, ppr co] -- RAE
-       ; us <- newUniqueSupply
+  = do { us <- newUniqueSupply
        ; let eqvs_covs :: [(EqVar,CoVar)]
              eqvs_covs = zipWith mk_co_var (varSetElems (coVarsOfTcCo co))
                                            (uniqsFromSupply us)
 
              subst = mkCvSubst emptyInScopeSet [(eqv, mkCoVarCo cov) | (eqv, cov) <- eqvs_covs]
-             ds_co = ds_tc_coercion subst role co -- RAE
-             result_expr = thing_inside ds_co
+             result_expr = thing_inside (ds_tc_coercion subst role co) 
              result_ty   = exprType result_expr
 
-       ; traceIf $ hang (text "dsTcCoercion }") 2 (ppr ds_co) -- RAE
        ; return (foldr (wrap_in_case result_ty) result_expr eqvs_covs) }
   where
     mk_co_var :: Id -> Unique -> (Id, Id)
diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs
index 7b2c339..247998a 100644
--- a/compiler/typecheck/TcRnDriver.lhs
+++ b/compiler/typecheck/TcRnDriver.lhs
@@ -526,8 +526,6 @@ tc_rn_src_decls boot_details ds
       ; setEnvs (tcg_env, tcl_env) $
         case group_tail of
           { Nothing -> do { tcg_env <- checkMain       -- Check for `main'
-                          ; traceTc "returning from tc_rn_src_decls: " $
-                            ppr $ nameEnvElts $ tcg_type_env tcg_env -- RAE
 #ifdef GHCI
                             -- Run all module finalizers
                           ; th_modfinalizers_var <- fmap tcg_th_modfinalizers getGblEnv
diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 90ffab7..f21cc75 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -1113,10 +1113,7 @@ ltRole Nominal          _       = True
 -- Is the given tyvar used in a nominal position anywhere?
 -- This is used in the GeneralizedNewtypeDeriving check.
 tvUsedAtNominalRole :: TyVar -> Type -> Bool
-tvUsedAtNominalRole tv typ = let result = go Representational typ in
-  pprTrace "RAE1" (vcat [ppr tv, ppr typ]) $
-  pprTrace "RAE2" (ppr result) $
-  result
+tvUsedAtNominalRole tv = go Representational
   where go r (TyVarTy tv')
           | tv == tv' = (r == Nominal)
           | otherwise = False