[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