Re: [stack] disallowing recursive definitions

Manfred Von Thun scripsit:

> If any defined function calls itself at the end
> of its body, then exeterm tail-recurses to the beginning of the body.

Ideally this should happen if the last word is *any* non-primitive function,
which is why the optimization is rightly called "tail-call" (Scheme) or
"last call" (Prolog).

-- 
John Cowan    http://www.ccil.org/~cowan   <[email protected]>
    "Any legal document draws most of its meaning from context.  A telegram
    that says 'SELL HUNDRED THOUSAND SHARES IBM SHORT' (only 190 bits in
    5-bit Baudot code plus appropriate headers) is as good a legal document
    as any, even sans digital signature." --me