Commit 5671e22e authored by Matthew Pickering's avatar Matthew Pickering Committed by Ben Gamari
Browse files

Improve tracing in OccurAnal

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
parent 1dd60ac9
......@@ -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;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment