> On 6 Jan 2020, at 23:22, Joe Darcy <joe.da...@oracle.com> wrote:
> 
> Hello,
> 
> The initial implementation of java.lang.Record uses a default constructor; an 
> explicit constructor should be added instead. Please review the code change 
> and CSR for this:
> 
>     JDK-8236695: java.lang.Record should be declared with an explicit 
> constructor
>     CSR: https://bugs.openjdk.java.net/browse/JDK-8236699
>     http://cr.openjdk.java.net/~darcy/8236695.0/

LGTM.

Some wording could be added about the restriction on the use of
this constructor, and its intended audience ( the compiler ), similar
to that of Enum(String,int), but equally that could be done separately.

-Chris.

Reply via email to