RFR: JDK-8238239: java.lang.Record spec clarifications

[Paul Sandoz]

+1
Paul.

> On Feb 5, 2020, at 2:36 PM, Vicente Romero <vicente.romero at oracle.com> wrote:
> 
> forwarding to compiler dev, I need a reviewer for this change,
> 
> Thanks,
> Vicente
> 
> 
> -------- Forwarded Message --------
> Subject:	RFR: JDK-8238239: java.lang.Record spec clarifications
> Date:	Tue, 4 Feb 2020 15:38:02 -0500
> From:	Vicente Romero <vicente.romero at oracle.com> <mailto:vicente.romero at oracle.com>
> To:	core-libs-dev <core-libs-dev at openjdk.java.net> <mailto:core-libs-dev at openjdk.java.net>
> 
> Please review the fix for [1] at [2] along with the corresponding CSR at [3]. The fix clarifies the specification for java.lang.Record. Please see the CSR for more detail,
> 
> Thanks,
> Vicente
> 
> PS, thanks to John Rose for proposing this fix
> 
> [1] https://bugs.openjdk.java.net/browse/JDK-8238239 <https://bugs.openjdk.java.net/browse/JDK-8238239>
> [2] http://cr.openjdk.java.net/~vromero/8238239/webrev.00/ <http://cr.openjdk.java.net/~vromero/8238239/webrev.00/>
> [3] https://bugs.openjdk.java.net/browse/JDK-8238240 <https://bugs.openjdk.java.net/browse/JDK-8238240>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20200205/c470a015/attachment.htm>