[commit: ghc] master: Comment out some traceFlat calls (e72665b)
git at git.haskell.org
git at git.haskell.org
Mon Feb 8 15:07:43 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/e72665b547b89c114af9a8988048c2a4c47c2052/ghc
>---------------------------------------------------------------
commit e72665b547b89c114af9a8988048c2a4c47c2052
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Mon Feb 8 13:17:15 2016 +0000
Comment out some traceFlat calls
They were excessively verbose. I've commented them out rather than
deleting so that they can easily be restored.
>---------------------------------------------------------------
e72665b547b89c114af9a8988048c2a4c47c2052
compiler/typecheck/TcFlatten.hs | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/compiler/typecheck/TcFlatten.hs b/compiler/typecheck/TcFlatten.hs
index 0ab946b..76a339d 100644
--- a/compiler/typecheck/TcFlatten.hs
+++ b/compiler/typecheck/TcFlatten.hs
@@ -913,9 +913,9 @@ flatten_one (TyVarTy tv)
; role <- getRole
; case mb_yes of
FTRCasted tv' kco -> -- Done
- do { traceFlat "flattenTyVar1"
- (pprTvBndr tv' $$
- ppr kco <+> dcolon <+> ppr (coercionKind kco))
+ do { -- traceFlat "flattenTyVar1"
+ -- (pprTvBndr tv' $$
+ -- ppr kco <+> dcolon <+> ppr (coercionKind kco))
; return (ty', mkReflCo role ty
`mkCoherenceLeftCo` mkSymCo kco) }
where
@@ -924,7 +924,7 @@ flatten_one (TyVarTy tv)
FTRFollowed ty1 co1 -- Recur
-> do { (ty2, co2) <- flatten_one ty1
- ; traceFlat "flattenTyVar2" (ppr tv $$ ppr ty2)
+ -- ; traceFlat "flattenTyVar2" (ppr tv $$ ppr ty2)
; return (ty2, co2 `mkTransCo` co1) } }
flatten_one (AppTy ty1 ty2)
@@ -1340,10 +1340,10 @@ flatten_tyvar3 tv
<- setMode FM_SubstOnly $
flattenKinds $
flatten_one kind
- ; traceFlat "flattenTyVarFinal"
- (vcat [ ppr tv <+> dcolon <+> ppr (tyVarKind tv)
- , ppr _new_kind
- , ppr kind_co <+> dcolon <+> ppr (coercionKind kind_co) ])
+-- ; traceFlat "flattenTyVarFinal"
+-- (vcat [ ppr tv <+> dcolon <+> ppr (tyVarKind tv)
+-- , ppr _new_kind
+-- , ppr kind_co <+> dcolon <+> ppr (coercionKind kind_co) ])
; let Pair _ orig_kind = coercionKind kind_co
-- orig_kind might be zonked
; return (FTRCasted (setTyVarKind tv orig_kind) kind_co) }
More information about the ghc-commits
mailing list