Remove debugging printouts -- sorry!

3 files changed, 3 insertions, 13 deletions

diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs
index 1e828f8a20..cbdc98f070 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 7b2c339df3..247998a274 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 90ffab7a77..f21cc754a4 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