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 <fo...@univ-mlv.fr> wrote: > > ----- Mail original ----- > > De: "Tagir Valeev" <amae...@gmail.com> > > À: "Gavin Bierman" <gavin.bier...@oracle.com> > > Cc: "amber-spec-experts" <amber-spec-experts@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.bier...@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.bier...@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 > >> > >> > >>
