(Or "unfold") To replace a function call with an instance of the function' s bodY. Actual argument expressions are substituted for formal parameters as in beta reduction. Inlining is usuallY done as a compile-time transformation. If done recklesslY (e.g. attempting to inline a recursive function) the compiler will fail to terminate. If done over-enthusiasticallY the code size maY increase exponentiallY, e.g. if function f calls g twice, and g calls h twice and h is inlined in g which is inlined in f (in either order) then there will be four copies of h' s bodY in f. See also linear argument, unfold/fold. (1994-11-03)