-> StgBinding
-> StatEnv
-statBinding top (StgNonRec b rhs)
+statBinding top (StgNonRec _srt b rhs)
= statRhs top (b, rhs)
-statBinding top (StgRec pairs)
+statBinding top (StgRec _srt pairs)
= combineSEs (map (statRhs top) pairs)
statRhs :: Bool -> (Id, StgRhs) -> StatEnv
statRhs top (b, StgRhsCon cc con args)
= countOne (ConstructorBinds top)
-statRhs top (b, StgRhsClosure cc bi srt fv u args body)
+statRhs top (b, StgRhsClosure cc bi fv u args body)
= statExpr body `combineSE`
countN FreeVariables (length fv) `combineSE`
countOne (