JLS primitive type in patterns draft

[Archie Cobbs]

On Wed, Oct 18, 2023 at 9:36 AM Archie Cobbs <archie.cobbs at gmail.com> wrote:

> On Tue, Oct 10, 2023 at 11:09 AM Angelos Bimpoudis <
> 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/f64e976b/attachment.htm>