Looks good to me. On May 5 2014, at 06:16 , Paul Sandoz <paul.san...@oracle.com> wrote:
> Hi, > > https://bugs.openjdk.java.net/browse/JDK-8042355 > > http://cr.openjdk.java.net/~psandoz/jdk9/JDK-8042355-sorted-short-circuit/webrev/ > > This is an optimization to ensure that sorted() in sequential pipelines does > not aggressively push all sorted elements downstream if the pipeline is known > to be short-circuiting. > > Note that it is not an error that more elements, than strictly required to > produce a result, may flow through the pipeline. This can occur, in general > (not restricted to just sorting), for short-circuiting parallel pipelines. > > Paul. > >