Improve tracing in OccurAnal
authorMatthew Pickering <matthewtpickering@gmail.com>
Fri, 24 Mar 2017 01:00:08 +0000 (21:00 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 24 Mar 2017 14:14:26 +0000 (10:14 -0400)
One commented out tracing function didn't type check and also show the
scores of loop breaker nodes.

Reviewers: austin, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie

Differential Revision: https://phabricator.haskell.org/D3371

compiler/simplCore/OccurAnal.hs

index 6093f42..b14dbd9 100644 (file)
@@ -892,7 +892,6 @@ occAnalRec lvl (CyclicSCC details_s) (body_uds, binds)
   | otherwise   -- At this point we always build a single Rec
   = -- pprTrace "occAnalRec" (vcat
     --  [ text "weak_fvs" <+> ppr weak_fvs
-    --  , text "tagged details" <+> ppr tagged_details_s
     --  , text "lb nodes" <+> ppr loop_breaker_nodes])
     (final_uds, Rec pairs : binds)
 
@@ -1204,6 +1203,7 @@ instance Outputable Details where
                   , text "inl =" <+> ppr (nd_inl nd)
                   , text "weak =" <+> ppr (nd_weak nd)
                   , text "rule =" <+> ppr (nd_active_rule_fvs nd)
+                  , text "score =" <+> ppr (nd_score nd)
              ])
 
 -- The NodeScore is compared lexicographically;