Re: Draft Spec for Third Preview of Pattern Matching for Switch and Record Patterns (JEP 405) now available

[Maurizio Cimadamore]

On 20/04/2022 16:44, Gavin Bierman wrote:

Thanks Maurizio!

On 8 Apr 2022, at 11:57, Maurizio Cimadamore <maurizio.cimadam...@oracle.com> wrote:

Hi Gavin,
great work - some comments:

* in section 6 on names there's no mention of whether pattern variables are matched in the `when` clause.

This is covered in section 6.3.4? But maybe I misunderstand your point?

Ah - missed this.

It is defined at the end of 14.30.1,

and this.

Thanks for the clarifications!

Maurizio