[records] New draft spec for JEP 359

[Tagir Valeev]

Woo-hoo, a new year present, spec update!

I don't see any changes regarding the variable arity mismatch between
the canonical constructor and record header. See my e-mail [1]. Was
this suggestion rejected or overlooked?

Also, a cosmetic suggestion in 8.10.1:

It can be seen that the production for RecordComponent is identical in
content to the production for FormalParameter (8.4.1), except a record
component can not have a final modifier.

The following productions from 8.4.1, 8.3 and 4.3 are shown here for
convenience:

FormalParameter:...
VariableArityParameter:...
VariableModifier:...
VariableDeclaratorId...
Dims:...

Now, if we don't allow any modifiers anymore, displaying here
FormalParameter, VariableArityParameter and VariableModifier don't add
any convenience and probably adds only some confusion (one may see
VariableModifier production and mistakenly assume that 'final' is
allowed). I would leave here only productions referenced from the
record header grammar: VariableDeclaratorId and Dims.

Finally, a minor nitpick regarding 8.1.4 Superclasses and subclasses:

> It is a compile-time error if the ClassType names the class Enum or any invocation of Enum (8.9).
> It is a compile-time error if the ClassType names the class Record (8.10).

Here Enum and Record are referred by simple name while in other places
of the spec they are referred via fully-qualified name. I feel this
adds some ambiguity, though it's a minor point.

Everything else looks great to me, and I'm happy to see that most of
our recent discussions are crystallized in the spec now. Thank you!

With best regards,
Tagir Valeev.

[1] http://mail.openjdk.java.net/pipermail/amber-spec-experts/2019-December/001885.html

On Fri, Jan 10, 2020 at 8:32 PM Gavin Bierman <gavin.bierman at oracle.com> wrote:
>
> Happy new year everyone! An updated version of the records spec is available at:
>
> http://cr.openjdk.java.net/~gbierman/jep359/latest
>
> (which currently points to http://cr.openjdk.java.net/~gbierman/jep359/jep359-20200110/specs/records-jls.html)
>
> This addresses:
>
> * Removes `final` modifier on record components
> * Adding missing annotation target PARAMETER
> * Corrects discussion of @SafeVarargs annotation
> * Forbids capture of local variables in a local record
> * Clarifies implicit formal parameter list in a compact constructor
>
> Gavin
>
>
>