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