[11] RFR: 4993841: (str) java.lang.Character should have a toString(int) method

[Naoto Sato]

Yes. With a private build:

jshell> 
"hello".chars().mapToObj(Character::toString).collect(Collectors.joining())
$1 ==> "hello"

Naoto

On 03/02/2018 04:42 PM, Remi Forax 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.sato at oracle.com>
>> À: "Stuart Marks" <stuart.marks at oracle.com>, "Xueming Shen" <xueming.shen at gmail.com>, "core-libs-dev"
>> <core-libs-dev at 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