(0branch.com) Tail Call Optimisation in Common Lisp Implementations
ROAM_REFS: https://0branch.com/notes/tco-cl.html
An article on guarantees of tail-call elimination in various Common Lisp implementations.
For SBCL, the following is the constraints on when tail-call elimination is done for both self-calls and general tail-calls:
Tail-merging is done if (> SPACE DEBUG) or (> SPEED DEBUG) – not by default.