[ABNF] Add numerals to tokens.

In the currently restricted version of Leo, this is necessary for the numerals
in affine group literals to be tokens.

No change necessary to the lexer/parser, which already handle this properly.
This commit is contained in:
Alessandro Coglio 2022-04-04 20:47:57 -07:00
parent 5353b33c1b
commit c0ffe443c1
2 changed files with 3 additions and 1 deletions

View File

@ -401,10 +401,11 @@ symbol = "!" / "&&" / "||"
token = keyword
/ identifier
/ atomic-literal
/ numeral
/ symbol
```
Go to: _[atomic-literal](#user-content-atomic-literal), [identifier](#user-content-identifier), [keyword](#user-content-keyword), [symbol](#user-content-symbol)_;
Go to: _[atomic-literal](#user-content-atomic-literal), [identifier](#user-content-identifier), [keyword](#user-content-keyword), [numeral](#user-content-numeral), [symbol](#user-content-symbol)_;
<a name="lexeme"></a>

View File

@ -181,6 +181,7 @@ symbol = "!" / "&&" / "||"
token = keyword
/ identifier
/ atomic-literal
/ numeral
/ symbol
lexeme = token / comment / whitespace