cklessly (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.

Last updated: 1994-11-03

Nearby terms:

bijection}.cklessly (e.g. attempting to inline a {recursive}

Try this search on Wikipedia, OneLook, Google