docs(grammar.ebnf): Don't reimplement already specified rules

This commit is contained in:
Benedikt Peetz 2024-03-27 10:21:06 +01:00
parent bb101c14fb
commit 838181c116
Signed by: bpeetz
GPG Key ID: A5E94010C3A642AD
2 changed files with 1 additions and 1 deletions

View File

@ -42,7 +42,7 @@ Identifier = (CHARACTER | "_") { NUMBER | CHARACTER | "_" } ;
DocIdentifier = {DocComment} {Attribute} (CHARACTER | "_") { NUMBER | CHARACTER | "_" } ; DocIdentifier = {DocComment} {Attribute} (CHARACTER | "_") { NUMBER | CHARACTER | "_" } ;
NamedType = Identifier ":" Type; NamedType = Identifier ":" Type;
DocNamedType = {DocComment} {Attribute} Identifier ":" Type; DocNamedType = {DocComment} {Attribute} NamedType;
# (* This is syntax sugar for a `DocAttribute` *) # (* This is syntax sugar for a `DocAttribute` *)

Binary file not shown.