categorifier icon indicating copy to clipboard operation
categorifier copied to clipboard
verified publisher icon con-kitty

Fix OccInfo

Open zliu41 opened this issue 3 years ago • 1 comments

In the Plugins.Let (Plugins.NonRec v rhs) expr case, currently the v's OccInfo is always ManyOccs, probably because we forget to zapIdOccInfo somewhere. If the OccInfo is accurate, we can obtain isManyOccs from it rather than manually counting.

zliu41 avatar Feb 24 '22 00:02 zliu41

There's a GHC function occurAnalyseExpr, I don't think we've ever tried it before.

zliu41 avatar Apr 22 '22 00:04 zliu41