(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)