[records] New draft spec for JEP 359

[Gavin Bierman]

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 <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 <http://cr.openjdk.java.net/~gbierman/jep359/latest> 

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
> 
> 
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20200116/053ade89/attachment.htm>