[commit: ghc] master: Reduce trace output slightly (db71d97)
git at git.haskell.org
git at git.haskell.org
Mon Oct 17 07:55:56 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/db71d971379c74dd1d2b958c11dc6c9e718a3e61/ghc
>---------------------------------------------------------------
commit db71d971379c74dd1d2b958c11dc6c9e718a3e61
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Fri Oct 14 17:40:51 2016 +0100
Reduce trace output slightly
>---------------------------------------------------------------
db71d971379c74dd1d2b958c11dc6c9e718a3e61
compiler/typecheck/TcSMonad.hs | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs
index 640ed73..fa4b169 100644
--- a/compiler/typecheck/TcSMonad.hs
+++ b/compiler/typecheck/TcSMonad.hs
@@ -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"
More information about the ghc-commits
mailing list