call/cc and proper tail recursion

[Marc Feeley <feeley@IRO.UMontreal.CA>]

I think the report needs to clarify the tail recursive property of
call/cc.  Presently nothing is said about the behavior of this
simple program when it comes to tail recursion:

(define (foo) (call-with-current-continuation (lambda (k) (foo))))

In my mind, it should be equivalent to

(define (foo) (foo))

Thus call-with-current-continuation does not introduce any new
continuation frames.  The body of the procedure argument to call/cc
is evaluated with the SAME continuation as call/cc's continuation.

Some implementations do not conform to this specification, that is they
run out of space.

Marc