[commit: ghc] wip/spj-tc-branch2: Less voluminous trace (dbfe8ad)

git at git.haskell.org git at git.haskell.org
Fri Sep 30 15:17:56 UTC 2016


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

On branch  : wip/spj-tc-branch2
Link       : http://ghc.haskell.org/trac/ghc/changeset/dbfe8adf5a6a2512797df9be3301b60f93de3cf1/ghc

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

commit dbfe8adf5a6a2512797df9be3301b60f93de3cf1
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Sep 30 16:15:28 2016 +0100

    Less voluminous trace


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

dbfe8adf5a6a2512797df9be3301b60f93de3cf1
 compiler/typecheck/TcSMonad.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs
index 933f8b6..8adc8ff 100644
--- a/compiler/typecheck/TcSMonad.hs
+++ b/compiler/typecheck/TcSMonad.hs
@@ -3061,13 +3061,13 @@ matchFam tycon args = wrapTcS $ matchFamTcM tycon args
 matchFamTcM :: TyCon -> [Type] -> TcM (Maybe (Coercion, TcType))
 -- Given (F tys) return (ty, co), where co :: F tys ~ ty
 matchFamTcM tycon args
-  = do { fam_envs@(_,lcl) <- FamInst.tcGetFamInstEnvs
+  = do { fam_envs@(_,_lcl) <- FamInst.tcGetFamInstEnvs
        ; let match_fam_result
               = reduceTyFamApp_maybe fam_envs Nominal tycon args
        ; TcM.traceTc "matchFamTcM" $
          vcat [ text "Matching:" <+> ppr (mkTyConApp tycon args)
-              , ppr_res match_fam_result
-              , text "Lcl fam env:" <+> ppr lcl ]
+              , ppr_res match_fam_result ]
+--              , text "Lcl fam env:" <+> ppr _lcl ]
        ; return match_fam_result }
   where
     ppr_res Nothing        = text "Match failed"



More information about the ghc-commits mailing list