[10] RFR 8075939: Stream.flatMap() causes breaking of short-circuiting of terminal operations (original) (raw)

Remi Forax forax at univ-mlv.fr
Thu Dec 21 23:46:57 UTC 2017


Hi Paul, three things:

cheers, Rémi

----- Mail original -----

De: "Paul Sandoz" <paul.sandoz at oracle.com> À: "core-libs-dev" <core-libs-dev at openjdk.java.net> Envoyé: Jeudi 21 Décembre 2017 23:40:18 Objet: [10] RFR 8075939: Stream.flatMap() causes breaking of short-circuiting of terminal operations

Hi,

Please review the following webrev that makes flatMap non-aggressive when pushing elements downstream if any downstream operation is short-circuiting. http://cr.openjdk.java.net/~psandoz/jdk10/JDK-8075939-flatMap-aggressive-push/webrev/index.html <http://cr.openjdk.java.net/~psandoz/jdk10/JDK-8075939-flatMap-aggressive-push/webrev/index.html> This enables support for flat mapping to an infinite stream (assuming there is a downstream short-circuiting operation to terminate the stream computation). Thanks, Paul.



More information about the core-libs-dev mailing list