<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"></div><div dir="ltr"><br></div><div dir="ltr"><br></div><div dir="ltr">Hi Dan,</div><div dir="ltr"><br></div><div dir="ltr">these paragraphs seem contradictionary with regards to the allowed superclasses of value-classes:</div><div dir="ltr"> 8.1.1.5 forbids any identity-superclass other than Object, while 8.10 states that the superclass of every (value-)record-class is (the identity-class) Record.</div><div dir="ltr"><br></div><div dir="ltr">To me, it looks as if 8.1.1.5 should mention Record as another possible implicit superclass.</div><div dir="ltr"><br></div><div dir="ltr">Regards, Gernot</div><div dir="ltr"><p style="-webkit-text-size-adjust: auto; padding: 0pt; margin: 1ex 0em; font-family: "DejaVu Sans", "Bitstream Vera Sans", "Luxi Sans", Verdana, Arial, Helvetica, sans-serif; font-size: 13.333333px;"><br></p><p style="-webkit-text-size-adjust: auto; padding: 0pt; margin: 1ex 0em; font-family: "DejaVu Sans", "Bitstream Vera Sans", "Luxi Sans", Verdana, Arial, Helvetica, sans-serif; font-size: 13.333333px;"><br></p><p style="-webkit-text-size-adjust: auto; padding: 0pt; margin: 1ex 0em; font-family: "DejaVu Sans", "Bitstream Vera Sans", "Luxi Sans", Verdana, Arial, Helvetica, sans-serif; font-size: 13.333333px;"><br></p><blockquote type="cite">Am 03.06.2024 um 21:00 schrieb Dan Smith <daniel.smith@oracle.com>:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><span>I've posted updated specifications for JEP 401 here:</span><br><span></span><br><span>https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jls.html</span><br><span>https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jvms.html</span><br><span></span><br><span>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.</span><br><span></span><br></div></blockquote></body></html>