[R6RS] Last-element tail call for `for-all' and `exists'

Michael Sperber sperber at informatik.uni-tuebingen.de
Wed Jan 10 11:52:14 EST 2007

"R. Kent Dybvig" <dyb at cs.indiana.edu> writes:

> I DISAGREE!!!!  (You said to yell.)

I've backed it out again.

> It seems appropriate to require for-all and exists to behave like and and
> or in returning the values of the last call and to allow tail-recursive
> predicates to be written using them.

Could you elaborate on the latter point?

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla

More information about the R6RS mailing list