JLS primitive type in patterns draft
Angelos Bimpoudis
angelos.bimpoudis at oracle.com
Wed Oct 18 15:57:24 UTC 2023
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>
More information about the amber-spec-experts
mailing list