- | InlWrapper Id -- This unfolding is a the wrapper in a
- -- worker/wrapper split from the strictness analyser
- -- Used to abbreviate the uf_tmpl in interface files
- -- which don't need to contain the RHS;
- -- it can be derived from the strictness info
+ | InlVanilla
+
+ | InlWrapper Id -- This unfolding is a the wrapper in a
+ -- worker/wrapper split from the strictness analyser
+ -- Used to abbreviate the uf_tmpl in interface files
+ -- which don't need to contain the RHS;
+ -- it can be derived from the strictness info
+ -- [In principle this is orthogonal to the InlSmall/InVanilla thing,
+ -- but it's convenient to have it here.]
+
+data InlSatFlag = InlSat | InlUnSat
+ -- Specifies whether to INLINE only if the thing is applied to 'arity' args