
<html>


<head>


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


</head>


<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">


<div>


<div>I have updated the spec with these various suggestions. Thank you!</div>


<div><br>


</div>


<div><a href="https://cr.openjdk.org/~gbierman/jep447/latest/">https://cr.openjdk.org/~gbierman/jep447/latest/</a></div>


<div><br>


</div>


<div>Gavin</div>


<div><br>


<blockquote type="cite">


<div>On 30 May 2023, at 16:39, Archie Cobbs <archie.cobbs@gmail.com> wrote:</div>


<br class="Apple-interchange-newline">


<div>


<div dir="ltr">


<div dir="ltr">On Thu, May 18, 2023 at 2:33 PM Alex Buckley <<a href="mailto:alex.buckley@oracle.com">alex.buckley@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">


However, the draft does not address how JLS20, at<br>


<br>


<a href="https://docs.oracle.com/javase/specs/jls/se20/html/jls-8.html#jls-8.10.4-500" rel="noreferrer" target="_blank">https://docs.oracle.com/javase/specs/jls/se20/html/jls-8.html#jls-8.10.4-500</a><br>


<br>


says<br>


<br>


"A record declaration may contain declarations of constructors that are <br>


not canonical constructors. The body of every non-canonical constructor <br>


in a record declaration must *start with* an alternate constructor <br>


invocation (§8.8.7.1), or a compile-time error occurs."<br>


<br>


I assume the intent is to allow a non-canonical ctor in a record <br>


declaration to *contain* an alternate ctor invocation, not just *start <br>


with*? If so, please amend 8.10.4 in the draft.<br>


</blockquote>


<div><br>


</div>


Good catch - I agree that changing "start with" to "contain" is the right fix.</div>


<div class="gmail_quote"><br>


</div>


<div class="gmail_quote">Gavin, will you update the spec draft please?</div>


<div class="gmail_quote"><br>


</div>


-Archie<br>


<br>


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


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


</div>


</div>


</div>


</blockquote>


</div>


<br>


</div>


</body>


</html>