
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>


</head>


<body dir="ltr">


<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);" class="elementToProof">


Updated. <span style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">Thank you for spotting, Archie.</span></div>


<div id="appendonsend"></div>


<div style="font-family: "Segoe UI", "Segoe UI Web (West European)", "Helvetica Neue", sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">


<br>


</div>


<hr tabindex="-1" style="display:inline-block; width:98%">


<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size: 11pt; color: rgb(0, 0, 0);"><b>From:</b> Archie Cobbs <archie.cobbs@gmail.com><br>


<b>Sent:</b> 18 October 2023 16:44<br>


<b>To:</b> Angelos Bimpoudis <angelos.bimpoudis@oracle.com><br>


<b>Cc:</b> Maurizio Cimadamore <maurizio.cimadamore@oracle.com>; amber-spec-experts <amber-spec-experts@openjdk.java.net><br>


<b>Subject:</b> Re: JLS primitive type in patterns draft</font>


<div> </div>


</div>


<div>


<div dir="ltr">


<div dir="ltr">On Wed, Oct 18, 2023 at 9:36â€¯AM Archie Cobbs <<a href="mailto:archie.cobbs@gmail.com" id="OWA0d524542-0f9e-5429-a0d9-b0daff81faac" class="OWAAutoLink">archie.cobbs@gmail.com</a>> wrote:</div>


<div class="x_gmail_quote">


<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">


<div dir="ltr">


<div dir="ltr">On Tue, Oct 10, 2023 at 11:09â€¯AM Angelos Bimpoudis <<a href="mailto:angelos.bimpoudis@oracle.com" id="OWA7246294d-7f64-2db7-74d9-4df1316ac010" class="OWAAutoLink">angelos.bimpoudis@oracle.com</a>> wrote:</div>


<div class="x_gmail_quote">


<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">


<div>


<div dir="ltr"><span style="display: inline; background-color: rgb(255, 255, 255);"><span style="display: inline; background-color: rgb(255, 255, 255);">The new (latest) URL now includes the JEP number:</span></span>


<div style="font-size: 11pt; color: rgb(0, 0, 0);">


<div style="font-size: 11pt; color: rgb(0, 0, 0);">


<div><span style="display: inline; background-color: rgb(255, 255, 255);"><span style="display: inline; background-color: rgb(255, 255, 255);"><br>


</span></span></div>


</div>


</div>


<div style="font-size: 11pt; color: rgb(0, 0, 0);"><a href="https://cr.openjdk.org/~abimpoudis/instanceof/jep443-20231010/specs/instanceof-jls.html" data-auth="NotApplicable" id="OWA2eac1a7d-e101-4ebb-58c2-68b0f6288d44" class="OWAAutoLink">https://cr.openjdk.org/~abimpoudis/instanceof/jep443-20231010/specs/instanceof-jls.html</a></div>


</div>


</div>


</blockquote>


<div><br>


</div>


I have a small comment regarding Â§5.5.1:</div>


<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">


<div class="x_gmail_quote">


<p>If a conversion is exact then it is guaranteed that it will yield a value. <b>


An inexact conversion may yield a value regardless whether it was exact or not.</b></p>


</div>


</blockquote>


<div>That second sentence is awkwardly phrased ("regardless whether").</div>


<div><br>


</div>


<div>Would this be clearer?<br>


</div>


<div>


<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">


<div class="x_gmail_quote">


<p>If a conversion is exact then it is guaranteed that it will yield a value.<b> An inexact conversion may or may not yield a value.</b></p>


</div>


</blockquote>


</div>


</div>


</blockquote>


<div>Sorry, ignore that, I was misinterpreting this. Maybe this would be slightly better:</div>


<div><br>


</div>


<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">


<div>If a conversion is exact then it is guaranteed that it will yield a value. <b>


An inexact conversion may yield a value, but information could be lost.<br>


</b></div>


</blockquote>


<div><br>


</div>


<div>-Archie<br>


</div>


<br>


</div>


<span class="x_gmail_signature_prefix">-- </span><br>


<div dir="ltr" class="x_gmail_signature">Archie L. Cobbs<br>


</div>


</div>


</div>


</body>


</html>