<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Aptos",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
span.EmailStyle19
{mso-style-type:personal-reply;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-CA" link="blue" vlink="purple" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt">I’m still concerned about the sentence in 5.4 that says: “Linking activities may sometimes require the loading of additional classes.” as it can be read to support arbitrary class loads during linking. David
Holmes and I have been having a related discussion in <a href="https://bugs.openjdk.org/browse/JDK-8334324">
https://bugs.openjdk.org/browse/JDK-8334324</a> about similar topics and this sentence would change the meaning of the spec and tilt those discussions.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The reason we have LoadableDescriptors is threefold – to give permission for arbitrary loads, to hint which arbitrary loads may be fruitful, and to allow ignoring errors.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">If there’s something in that sentence to tie it back to “loading in support of linking activities” then I’d be ok with the sentence. The original used the wording “because of recursion” so maybe reusing that
would be sufficient: “Linking activities may, because of recursion, sometimes require the loading of additional classes.”<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Without something like the “recursion” rationale, I think the spec is clearer without the new sentence.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">--Dan<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<div id="mail-editor-reference-message-container">
<div>
<div style="border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal" style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:36.0pt">
<b><span style="color:black">From: </span></b><span style="color:black">valhalla-spec-experts <valhalla-spec-experts-retn@openjdk.org> on behalf of Dan Smith <daniel.smith@oracle.com><br>
<b>Date: </b>Friday, June 21, 2024 at 8:09</span><span style="font-family:"Arial",sans-serif;color:black"> </span><span style="color:black">PM<br>
<b>To: </b>valhalla-spec-experts <valhalla-spec-experts@openjdk.java.net><br>
<b>Subject: </b>Re: Updated specifications<o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:11.0pt">> On Jun 3, 2024, at 12:00</span><span style="font-size:11.0pt;font-family:"Arial",sans-serif"> </span><span style="font-size:11.0pt">PM, Dan Smith <daniel.smith@oracle.com> wrote:<br>
> <br>
> I've posted updated specifications for JEP 401 here:<br>
> <br>
> <a href="https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jls.html">
https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jls.html</a><br>
> <a href="https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jvms.html">
https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jvms.html</a><br>
> <br>
> These are intended to address all the needs of JEP 401, and I don't expect many further revisions—but as always, happy to hear any feedback.<br>
<br>
Refreshed to address the comments in this thread, and to include the revised Flexible Constructor Bodies JLS document.<br>
<br>
<a href="https://cr.openjdk.org/~dlsmith/jep401/jep401-20240621/specs/value-objects-jls.html">https://cr.openjdk.org/~dlsmith/jep401/jep401-20240621/specs/value-objects-jls.html</a><br>
<a href="https://cr.openjdk.org/~dlsmith/jep401/jep401-20240621/specs/value-objects-jvms.html">https://cr.openjdk.org/~dlsmith/jep401/jep401-20240621/specs/value-objects-jvms.html</a><o:p></o:p></span></p>
</div>
</div>
</div>
</div>
</body>
</html>