ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 10:12:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ABNF] add parens in group-coordinate for readability; fix indentation of format-string-element to make consistent with other indentation

Browse Source
This commit is contained in:
Eric McCarthy 2022-03-16 22:42:30 -07:00
parent 5c1efa81f7
commit 227b887a71
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/grammar/README.md
View File

@ -490,7 +490,7 @@ Go to: _[scalar-type](#user-content-scalar-type)_;
<a name="group-coordinate"></a>
```abnf
group-coordinate = [ "-" ] numeral / "+" / "-" / "_"
group-coordinate = ( [ "-" ] numeral ) / "+" / "-" / "_"
```
Go to: _[numeral](#user-content-numeral)_;
@ -852,9 +852,9 @@ format-string-close-brace = "}}"
<a name="format-string-element"></a>
```abnf
format-string-element = not-brace
/ format-string-container
/ format-string-open-brace
/ format-string-close-brace
/ format-string-container
/ format-string-open-brace
/ format-string-close-brace
```
Go to: _[format-string-close-brace](#user-content-format-string-close-brace), [format-string-container](#user-content-format-string-container), [format-string-open-brace](#user-content-format-string-open-brace), [not-brace](#user-content-not-brace)_;

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

@ -211,7 +211,7 @@ scalar-type = boolean-type / arithmetic-type / address-type / character-type
type = scalar-type
group-coordinate = [ "-" ] numeral / "+" / "-" / "_"
group-coordinate = ( [ "-" ] numeral ) / "+" / "-" / "_"
affine-group-literal = "(" group-coordinate "," group-coordinate %s")group"
@ -337,8 +337,8 @@ format-string-open-brace = "{{"
format-string-close-brace = "}}"
format-string-element = not-brace
/ format-string-container
/ format-string-open-brace
/ format-string-close-brace
/ format-string-container
/ format-string-open-brace
/ format-string-close-brace
format-string = *format-string-element