On Mon, 23 Aug 2021 17:36:02 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>>> This discussion does not belong here. >> >> I've hoped to specify tag syntax before we push this PR. Until the syntax >> has been specified, the comment has to be stored somewhere. What would be an >> appropriate place to store that comment in? >> >>> I suggest the rules for (Unicode) identifiers >> >> What do those rules look like? Do you have a link handy? > > Check `Character.isUnicodeIdentifierStart` / > `Character.isUnicodeIdentifierPart` > Variant suggestion (if different) ... use the identifier rules for the name > of the attribute A discussion like that belongs in JBS. The result of the discussion belongs in spec and/or code. ------------- PR: https://git.openjdk.java.net/jdk/pull/4795
