Hi Rémi, I'm sure I've misunderstood something, but AFAIK the code example you gave is already valid code and was valid as far back as Java 8 (I don't have an IDE at hand to confirm this).
Did you perhaps mean to ask instead that the code snippet below would work with the resolution of https://bugs.openjdk.java.net/browse/JDK-4993841 (difference being that it uses .codePoints() instead of .chars())? Or have I completely lost the plot? String s = "hello".codePoints() .mapToObj(Character::toString) .collect(Collectors.joining()); Cheers, Jonathan On 3 March 2018 at 00:42, Remi Forax <fo...@univ-mlv.fr> wrote: > Just to be sure, it now means that a code like this will work > > String s = "hello".chars() > .mapToObj(Character::toString) > .collect(Collectors.joining()); > > Rémi > > ----- Mail original ----- > > De: "naoto sato" <naoto.s...@oracle.com> > > À: "Stuart Marks" <stuart.ma...@oracle.com>, "Xueming Shen" < > xueming.s...@gmail.com>, "core-libs-dev" > > <core-libs-dev@openjdk.java.net> > > Envoyé: Vendredi 2 Mars 2018 03:47:51 > > Objet: [11] RFR: 4993841: (str) java.lang.Character should have a > toString(int) method > > > Hi, > > > > Please review the fix to the following issue: > > > > https://bugs.openjdk.java.net/browse/JDK-4993841 > > > > The proposed changeset is located at: > > > > http://cr.openjdk.java.net/~naoto/4993841/webrev.03/ > > > > This stems from the recent discussion regarding String.repeat().[1] The > > corresponding CSR has already been approved. > > > > Naoto > > > > -- > > [1] > > http://mail.openjdk.java.net/pipermail/core-libs-dev/2018- > February/051568.html >
