[r6rs-discuss] Multiple returns from higher-order procedures

[AndrevanTonder]

On Sat, 16 Jun 2007, Michael Sperber wrote:

>
> AndrevanTonder <andre at het.brown.edu> writes:
>
>> I notice that while MAP, FILTER and PARTITION are required to satisfy the
>> following:
>>
>>    If multiple returns occur from ---, the return values
>>    returned by earlier returns are not mutated.
>>
>> However, the same does not appear to be required of the remaining higher-order
>> procedures in the (rnrs lists) library.  Is this an oversight, or is there a
>> reason for it?
>
> What procedures would you be referring to?  AFAICS, none of the others
> generate lists.

The following generate lists

   REMP, REMOVE, REMV, REMQ

The following will often return lists

   FOLD-LEFT, FOLD-RIGHT

but even in the case where they do not generate lists, the above requirement
will still make sense (it just refers to "return value of earlier returns").

Cheers
Andre