ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 22:44:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ABNF] Add rule for numeric literals.

Browse Source 
This does not change the language. It just factors things better and introduces
more nomenclature in the grammar.
This commit is contained in:
Alessandro Coglio 2022-04-18 17:35:14 -07:00
parent 92ddc88477
commit cb30765ab5
2 changed files with 17 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
docs/grammar/README.md
View File

@ -378,18 +378,26 @@ integer-literal = unsigned-literal
Go to: _[signed-literal](#user-content-signed-literal), [unsigned-literal](#user-content-unsigned-literal)_;
<a name="numeric-literal"></a>
```abnf
numeric-literal = integer-literal
/ field-literal
/ product-group-literal
```
Go to: _[field-literal](#user-content-field-literal), [integer-literal](#user-content-integer-literal), [product-group-literal](#user-content-product-group-literal)_;
<a name="atomic-literal"></a>
```abnf
atomic-literal = integer-literal
/ field-literal
/ product-group-literal
atomic-literal = numeric-literal
/ boolean-literal
/ address-literal
/ character-literal
/ string-literal
```
Go to: _[address-literal](#user-content-address-literal), [boolean-literal](#user-content-boolean-literal), [character-literal](#user-content-character-literal), [field-literal](#user-content-field-literal), [integer-literal](#user-content-integer-literal), [product-group-literal](#user-content-product-group-literal), [string-literal](#user-content-string-literal)_;
Go to: _[address-literal](#user-content-address-literal), [boolean-literal](#user-content-boolean-literal), [character-literal](#user-content-character-literal), [numeric-literal](#user-content-numeric-literal), [string-literal](#user-content-string-literal)_;
<a name="symbol"></a>

8
docs/grammar/abnf-grammar.txt
View File

@ -163,9 +163,11 @@ string-literal-element = not-double-quote-or-backslash
integer-literal = unsigned-literal
/ signed-literal
atomic-literal = integer-literal
/ field-literal
/ product-group-literal
numeric-literal = integer-literal
/ field-literal
/ product-group-literal
atomic-literal = numeric-literal
/ boolean-literal
/ address-literal
/ character-literal