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

[AndrevanTonder]

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?

Andre