Encounter order: take 2 (original) (raw)

Tim Peierls tim at peierls.net
Thu Jan 31 14:55:09 PST 2013

On Thu, Jan 31, 2013 at 5:42 PM, Paul Sandoz <paul.sandoz at oracle.com> wrote:

An intermediate operation must preserve encounter order of the output stream unless one of the following conditions is true, which if so the intermediate operation may not preserve encounter order:

How about:

An intermediate operation must preserve encounter order of the output stream only if neither of the following conditions is true:

I think it's pretty clear that the logical negation of "must preserve" is "need not preserve". Spelling it out only makes the reader wonder if they missing something.

--tim

More information about the lambda-libs-spec-observers mailing list