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

[AndrevanTonder]

On Sat, 16 Jun 2007, AndrevanTonder wrote:

>>> 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.

By the way, I think the same requirement should be imposed on

   list-sort
   vector-sort

in (rnrs sorting).  Also, I think it would be sensible to require the same
of

   vector-map

in (r6rs base).

I wonder if it might not be a good idea to specify this once in one place, 
instead of at each procedure individually.

Andre