- = InlSat -- A user-specifed or compiler injected INLINE pragma
- -- ONLY inline when it's applied to 'arity' arguments
+ = InlAlways -- Inline absolutely always, however boring the context.
+ -- There is /no original definition/. Only a few primop-like things
+ -- have this property (see MkId.lhs, calls to mkCompulsoryUnfolding).
+
+ | InlSmall -- The RHS is very small (eg no bigger than a call), so inline any
+ -- /saturated/ application, regardless of context
+ -- See Note [INLINE for small functions] in CoreUnfold
+
+ | InlVanilla