Reduce trace output slightly
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 14 Oct 2016 16:40:51 +0000 (17:40 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 17 Oct 2016 07:55:16 +0000 (08:55 +0100)
compiler/typecheck/TcSMonad.hs

index 640ed73..fa4b169 100644 (file)
@@ -3107,13 +3107,11 @@ 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
-       ; let match_fam_result
+  = do { 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 ]
        ; return match_fam_result }
   where
     ppr_res Nothing        = text "Match failed"