[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