((= X Y) (CONS X '()))
assertion-violation: attempt to call a non-procedure [tail-call]1>
assertion-violation: attempt to call a non-procedure [tail-call
However, some compilers implement tail-call optimization, allowing infinite recursion of a specific sort—tail</p>\n<p>C compiler options will effectively enable tail-call optimization; compiling the above simple