JLS primitive type in patterns draft

[Angelos Bimpoudis]

Updated. Thank you for spotting, Archie.

________________________________
From: Archie Cobbs <archie.cobbs at gmail.com>
Sent: 18 October 2023 16:44
To: Angelos Bimpoudis <angelos.bimpoudis at oracle.com>
Cc: Maurizio Cimadamore <maurizio.cimadamore at oracle.com>; amber-spec-experts <amber-spec-experts at openjdk.java.net>
Subject: Re: JLS primitive type in patterns draft

On Wed, Oct 18, 2023 at 9:36 AM Archie Cobbs <archie.cobbs at gmail.com<mailto:archie.cobbs at gmail.com>> wrote:
On Tue, Oct 10, 2023 at 11:09 AM Angelos Bimpoudis <angelos.bimpoudis at oracle.com<mailto:angelos.bimpoudis at oracle.com>> wrote:
The new (latest) URL now includes the JEP number:

https://cr.openjdk.org/~abimpoudis/instanceof/jep443-20231010/specs/instanceof-jls.html

I have a small comment regarding §5.5.1:

If a conversion is exact then it is guaranteed that it will yield a value. An inexact conversion may yield a value regardless whether it was exact or not.

That second sentence is awkwardly phrased ("regardless whether").

Would this be clearer?

If a conversion is exact then it is guaranteed that it will yield a value. An inexact conversion may or may not yield a value.

Sorry, ignore that, I was misinterpreting this. Maybe this would be slightly better:

If a conversion is exact then it is guaranteed that it will yield a value. An inexact conversion may yield a value, but information could be lost.

-Archie

--
Archie L. Cobbs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-spec-experts/attachments/20231018/bac17f35/attachment-0001.htm>