[records] New draft spec for JEP 359

[Tagir Valeev]

The spec from the previous e-mail [1] allows them, so either spec or
javac should be updated (or we can ignore it, as this is a minor
detail).

With best regards,
Tagir Valeev.

[1] http://cr.openjdk.java.net/~gbierman/jep359/jep359-20200115/specs/records-jls.html

On Fri, Jan 17, 2020 at 5:02 PM Remi Forax <forax at univ-mlv.fr> wrote:
>
> ----- Mail original -----
> > De: "Tagir Valeev" <amaembo at gmail.com>
> > À: "Gavin Bierman" <gavin.bierman at oracle.com>
> > Cc: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
> > Envoyé: Vendredi 17 Janvier 2020 07:32:49
> > Objet: Re: [records] New draft spec for JEP 359
>
> > So it looks like the `final` modifier on record components is allowed
> > in 14-preview?
>
> javac using the latest beta of jdk 14 rejects them.
> so i hope the spec also reject them.
>
> >
> > With best regards,
> > Tagir Valeev.
>
> Rémi
>
> >
> > On Thu, Jan 16, 2020 at 10:41 PM Gavin Bierman <gavin.bierman at oracle.com> wrote:
> >>
> >> Dear spec-experts,
> >>
> >> I need to make a clarification regarding the earlier email. Since we are so
> >> close to entering RDP2, it wasn’t possible to get all these changes to the spec
> >> (and their corresponding compiler patches) into JDK 14. They will have to wait
> >> until the second preview of records in JDK 15; along with whatever we decide
> >> regarding the issues that Brian has raised in a recent email:
> >> https://mail.openjdk.java.net/pipermail/amber-spec-experts/2020-January/001913.html
> >>
> >> The records spec for JDK 14 that was approved by the CSR (JDK-8236189) is
> >> available at:
> >>
> >> http://cr.openjdk.java.net/~gbierman/jep359/jep359-20200115/specs/records-jls.html
> >>
> >> It contains only two of the items listed in my earlier email, viz
> >>
> >> * Forbids capture of local variables in a local record
> >> * Adding missing annotation target PARAMETER (this was already implemented in
> >> the compiler, so just a typo in the spec)
> >>
> >> Just to repeat, the others - along with aligning the use of variable arity in
> >> the record component header and the canonical constructor
> >> (http://mail.openjdk.java.net/pipermail/amber-spec-experts/2019-December/001885.html)
> >> - will be dealt with in the second preview of Records in JDK 15.
> >>
> >> Thanks,
> >> Gavin
> >>
> >> On 10 Jan 2020, at 13:31, 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
> >>
> >>
> >>