Draft Spec for Pattern Matching for switch (JEP 441) and Record Patterns (JEP 440) now available

[Gavin Bierman]

FYI I have uploaded a new draft of the joint spec change document. Two main changes:

1. I have updated the specification of type inference for record patterns per Dan’s email [*]
2. I have removed the non-denotable “any” patterns and the process of resolving patterns in favour of a compile-time notion of a type pattern being “null-matching” or not. (This is purely a specification improvement and has no semantic content.)

https://cr.openjdk.org/~gbierman/jep440+441/latest/

Thanks,
Gavin

[*] https://mail.openjdk.org/pipermail/amber-spec-experts/2023-March/003808.html

On 7 Apr 2023, at 22:28, Gavin Bierman <gavin.bierman at oracle.com> wrote:

Dear experts:

The first draft of the joint spec change document for the features Pattern Matching for switch [1] and Record Patterns [2] is now available at:

https://cr.openjdk.org/~gbierman/jep440+441/latest/

Please give us your feedback (either on this list or directly to me).

Thanks,
Gavin

[1] Pattern matching for switch: https://openjdk.org/jeps/441
[2] Record patterns:             https://openjdk.org/jeps/440



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20230509/775e2a0d/attachment-0001.htm>