diff --git a/grammar/README.md b/grammar/README.md index f18576176f..0086f21350 100644 --- a/grammar/README.md +++ b/grammar/README.md @@ -633,7 +633,7 @@ Go to: _[letter](#user-content-letter)_; 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. -Similarly to an identifier, a package name must not be keyword +Similarly to an identifier, a package name must not be a keyword and must not be or start with `aleo1`. @@ -1817,4 +1817,3 @@ It does not apply to the lines of the languages described by the grammar. ABNF grammars may describe any kind of languages, with any kind of line terminators, or even without line terminators at all (e.g. for "binary" languages). - diff --git a/grammar/abnf-grammar.txt b/grammar/abnf-grammar.txt index b1afc9a770..29e925c70a 100644 --- a/grammar/abnf-grammar.txt +++ b/grammar/abnf-grammar.txt @@ -452,7 +452,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. -; Similarly to an identifier, a package name must not be keyword +; Similarly to an identifier, a package name must not be a keyword ; and must not be or start with `aleo1`. package-name = lowercase-letter *( lowercase-letter / digit )