Draft Spec for Fourth Preview of Pattern Matching for Switch (JEP 433) and Second Preview of Record Patterns (JEP 432) now available

[Gavin Bierman]

The draft spec has been updated with type inference for record patterns.

For now - following some feedback - we’re pausing the thought of adding type inference for type patterns using a diamond form. [I’ll post separately about this shortly - we should discuss this possibility further.]

https://cr.openjdk.java.net/~gbierman/jep432+433/latest

Comments on this draft are welcome. I have some other edits queued up; I’ll email the list when they have been applied. (The URL above will always point to the most recent build.)

Thanks,
Gavin

On 18 Oct 2022, at 23:22, Gavin Bierman <gavin.bierman at oracle.com<mailto:gavin.bierman at oracle.com>> wrote:

Dear experts:

The first draft of a joint spec covering JEP 433 (Fourth Preview of Pattern Matching for switch)  and JEP 432 (Record Patterns) is available at:

https://cr.openjdk.java.net/~gbierman/jep432+433/latest

This covers all the changes for these JEPs *apart* from the proposal to infer type arguments in patterns. This will be added and announced shortly.

Comments welcomed!
Gavin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-spec-observers/attachments/20221028/8ca7a511/attachment.htm>