Re: Tail Recursion in Common Lisp ???

[cscott@bfly-vax.bbn.com]

Naturally tail-recursion removal should not be allowed where it
would change the semantics!  On a multiprocessor, for example,
if the semantics allow redefinition of a fun to affect a currently-running
instance, then naturally there would have to be a check for such
redefinition at the required point (presumably the application).
Ditto if there is a redefinition of the fun in the body of the fun.