<div dir="ltr"><div dir="ltr">On Tue, Oct 10, 2023 at 11:09 AM Angelos Bimpoudis <<a href="mailto:angelos.bimpoudis@oracle.com">angelos.bimpoudis@oracle.com</a>> wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="msg4729360490451207448">




<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" id="m_4729360490451207448LPlnk717073" target="_blank">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="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="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="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="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>-Archie</div><div> <br></div></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Archie L. Cobbs<br></div></div>