Commit 21c3d178 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Remove debugging printouts -- sorry!

parent 69e04fad
......@@ -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)
......
......@@ -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
......
......@@ -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
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment