Marc Nieper-Wißkirchen scripsit: SRFI 124 is wrong here; by Scheme's proper tail call guarantee, defined in > "Will Clinger's Proper Tail Recursion and Space Efficiency," no longer used > locations must be garbage collected (up to some "O(1)").
Not necessarily. If a program is known to terminate and doesn't require more locations (naively) than the machine makes available, then no garbage collection is required.
