Note [inlineId magic]
The call 'inline f' arranges that 'f' is inlined, regardless of
its size. More precisely, the call 'inline f' rewrites to the
right-hand side of 'f's definition. This allows the programmer to
control inlining from a particular call site rather than the
definition site of the function.
The moving parts are simple:
* A very simple definition in the library base:GHC.Magic
{-# NOINLINE[0] inline # References 0
This Note does not link to any other.
Referenced by 3
- TYPE and CONSTRAINT] aka Note [Type vs Constraint GHC.Builtin.Types.Prim
- magicIds GHC.Types.Id.Make
- GHC.Utils.Monad call site