On Wed, 8 Jul 2026 15:37:38 GMT, Paul Sandoz <[email protected]> wrote:
>> @PaulSandoz Yes, the note by @jddarcy is correct, and the proposal by
>> @jatin-bhateja makes much more sense than using `double`s for the purpose of
>> this PR.
>
> Oh, well too good to be true :-) in that case I suggest the following more
> concise definition:
>
>
> /*
> * The string is produced as if by a call to {@link
> * java.util.Arrays#toString(Object[]) Arrays.toString()},
> * as appropriate to a {@code Float16} array whose elements
> * are obtained by applying {@link Float16#shortBitsToFloat16(short)}
> * to each element of the {@code short[]} array returned by
> * {@link #toArray this.toArray()}.
> */
Addressed
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/31800#discussion_r3548893397
