diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-04 15:30:04 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-04 15:37:58 +0100 |
| commit | d25519e159d98cbd12f1893781e649ddb5a7fe90 (patch) | |
| tree | 2938d558a3cbfe06b6e2844efe8f0b7b01da754c | |
| parent | 2f09753f96207c12efd43090f5de55b05aef35d3 (diff) | |
| download | haskell-d25519e159d98cbd12f1893781e649ddb5a7fe90.tar.gz | |
tc-trace changes only
| -rw-r--r-- | compiler/typecheck/TcExpr.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs index 17a07f6cf9..bb9279eb02 100644 --- a/compiler/typecheck/TcExpr.hs +++ b/compiler/typecheck/TcExpr.hs @@ -1122,9 +1122,9 @@ wrapHsArgs f (HsTypeArg t : args) = wrapHsArgs (mkHsAppType f t) args wrapHsArgs f (HsArgPar sp : args) = wrapHsArgs (L sp $ HsPar noExt f) args instance (Outputable tm, Outputable ty) => Outputable (HsArg tm ty) where - ppr (HsValArg tm) = text "HsValArg" <> ppr tm - ppr (HsTypeArg ty) = text "HsTypeArg" <> ppr ty - ppr (HsArgPar sp) = text "HsArgPar" <> ppr sp + ppr (HsValArg tm) = text "HsValArg" <+> ppr tm + ppr (HsTypeArg ty) = text "HsTypeArg" <+> ppr ty + ppr (HsArgPar sp) = text "HsArgPar" <+> ppr sp isHsValArg :: HsArg tm ty -> Bool isHsValArg (HsValArg {}) = True @@ -1232,6 +1232,7 @@ tcFunApp :: Maybe SDoc -- like "The function `f' is applied to" tcFunApp m_herald rn_fun tc_fun fun_sigma rn_args res_ty = do { let orig = lexprCtOrigin rn_fun + ; traceTc "tcFunApp" (ppr rn_fun <+> dcolon <+> ppr fun_sigma $$ ppr rn_args $$ ppr res_ty) ; (wrap_fun, tc_args, actual_res_ty) <- tcArgs rn_fun fun_sigma orig rn_args (m_herald `orElse` mk_app_msg rn_fun rn_args) |