import IfaceType
-import NewDemand
+import Demand
import Annotations
import Class
import NameSet
data IfaceUnfolding
= IfCoreUnfold IfaceExpr
| IfInlineRule Arity
- Bool -- Sat/UnSat
+ Bool -- OK to inline even if *un*-saturated
IfaceExpr
| IfWrapper Arity Name -- NB: we need a Name (not just OccName) because the worker
-- can simplify to a function in another module.