[commit: ghc] wip/nested-cpr: More tracing (e3c0015)
git at git.haskell.org
git at git.haskell.org
Tue Dec 3 18:10:36 UTC 2013
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/nested-cpr
Link : http://ghc.haskell.org/trac/ghc/changeset/e3c00154b77fdbe28ef16a1f46fb587bf27588b1/ghc
>---------------------------------------------------------------
commit e3c00154b77fdbe28ef16a1f46fb587bf27588b1
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Thu Nov 28 18:49:04 2013 +0000
More tracing
>---------------------------------------------------------------
e3c00154b77fdbe28ef16a1f46fb587bf27588b1
compiler/stranal/DmdAnal.lhs | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/compiler/stranal/DmdAnal.lhs b/compiler/stranal/DmdAnal.lhs
index 67e5663..953b616 100644
--- a/compiler/stranal/DmdAnal.lhs
+++ b/compiler/stranal/DmdAnal.lhs
@@ -115,7 +115,9 @@ dmdAnalStar :: AnalEnv
dmdAnalStar env dmd e
| (cd, defer_and_use) <- toCleanDmd dmd
, (dmd_ty, e') <- dmdAnal env cd e
- = (postProcessDmdTypeM defer_and_use dmd_ty, e')
+ = let dmd_ty' = postProcessDmdTypeM defer_and_use dmd_ty
+ in -- pprTrace "dmdAnalStar" (vcat [ppr e, ppr dmd, ppr defer_and_use, ppr dmd_ty, ppr dmd_ty'])
+ (dmd_ty', e')
-- Main Demand Analsysis machinery
dmdAnal :: AnalEnv
@@ -639,7 +641,8 @@ dmdAnalRhs top_lvl rec_flag env id rhs
= (fn_str, emptyDmdEnv, set_idStrictness env id fn_str, rhs)
| otherwise
- = (sig_ty, lazy_fv, id', mkLams bndrs' body')
+ = -- pprTrace "dmdAnalRhs" (vcat [ ppr id, ppr (idDemandInfo id), ppr rhs_dmd_ty, ppr sig_ty, ppr not_strict ])
+ (sig_ty, lazy_fv, id', mkLams bndrs' body')
where
(bndrs, body) = collectBinders rhs
env_body = foldl extendSigsWithLam env bndrs
More information about the ghc-commits
mailing list