Fix package-name in abnf

This commit is contained in:
gluaxspeed 2021-07-06 11:57:24 -07:00
parent f4d39e58b7
commit d983467b01

View File

@ -453,7 +453,7 @@ identifier = letter *( letter / digit / "_" ) ; but not a keyword or aleo1...
; A package name consists of one or more segments separated by single dashes,
; where each segment is a non-empty sequence of lowercase letters and digits.
package-name = 1*lowercase-letter
package-name = lowercase-letter *( lowercase-letter / digit )
*( "-" 1*( lowercase-letter / digit ) )
; Annotations have names, which are identifiers immediately preceded by `@`.