Record attribut should allow Deprecate atribute on record component

Remi Forax forax at univ-mlv.fr
Sat Nov 9 13:48:21 UTC 2019


Currently the JVMS spec for record doesn't allow a record component to be deprecated.

The are several languages, some that run on the JVM like Kotlin or Scala that have a similar concept of record components and for all of them they allow to deprecate it,
it should be a no brainer to allow a record component to be deprecated but the current draft of the spec doesn't allow that [1].

The table 4.7-C the line about the Deprecated attribut should list component_info has possible location.

regards,
Rémi

[1] http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jvms.html#jvms-4.7


More information about the amber-spec-experts mailing list