Add another trace to Simplify (commented out usually)
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 14 Nov 2011 22:23:01 +0000 (22:23 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 14 Nov 2011 22:23:01 +0000 (22:23 +0000)
compiler/simplCore/Simplify.lhs

index 0d59169..4438a6b 100644 (file)
@@ -1759,7 +1759,11 @@ rebuildCase env scrut case_bndr [(_, bndrs, rhs)] cont
  , if isUnLiftedType (idType case_bndr)
    then ok_for_spec         -- Satisfy the let-binding invariant
    else elim_lifted
-  = do  { tick (CaseElim case_bndr)
+  = do  { -- pprTrace "case elim" (vcat [ppr case_bndr, ppr (exprIsHNF scrut),
+          --                            ppr strict_case_bndr, ppr (scrut_is_var scrut),
+          --                            ppr ok_for_spec,
+          --                            ppr scrut]) $
+          tick (CaseElim case_bndr)
         ; env' <- simplNonRecX env case_bndr scrut
           -- If case_bndr is deads, simplNonRecX will discard
         ; simplExprF env' rhs cont }