[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