Updated specifications

[Gernot Neppert]

Hi Dan,

these paragraphs seem contradictionary with regards to the allowed superclasses of value-classes:
 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.

To me, it looks as if 8.1.1.5 should mention Record as another possible implicit superclass.

Regards, Gernot






> Am 03.06.2024 um 21:00 schrieb Dan Smith <daniel.smith at oracle.com>:
> 
> I've posted updated specifications for JEP 401 here:
> 
> https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jls.html
> https://cr.openjdk.org/~dlsmith/jep401/jep401-20240603/specs/value-objects-jvms.html
> 
> 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.
> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-spec-observers/attachments/20240604/6875b283/attachment.htm>