SIP: Enums

[odersky]

1. It should be possible that an enum trait extends java.lang.Enum. The compiler should check in this case that the restrictions imposed by Java are followed and generate the necessary code.

2. We should harmonize the method names between Scala and Java enums:

  enumTag --> ordinal
  enumValueNamed --> valueOf
  enumValues --> values

values has to be a field to work with Java reflection (static valueOf method in java.lang.Enum).

[smarter]

For point 1, see #4088.
Also just looking at all issues mentioning enum is a good way to see what more things might need to be speced: https://github.com/lampepfl/dotty/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+enum

[dwijnand]

https://dotty.epfl.ch/docs/reference/enums/desugarEnums.html done?

[smarter]

Yep.