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

Merge pull request #1725 from AleoHQ/abnf-remove-expr-stmt-rule

Browse Source 
[ABNF] Also remove rule for expression statements.
This commit is contained in:
Collin Chin 2022-04-04 10:59:35 -07:00 committed by GitHub
commit 5353b33c1b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
docs/grammar/README.md
View File

@ -23,7 +23,7 @@ Lexical Grammar
<a name="character"></a>
```abnf
character = %x0-10FFFF ; any Unicode code point
character = %x0-D7FF / %xE000-10FFFF ; Unicode code points decoded from UTF-8
```
<a name="horizontal-tab"></a>
@ -58,29 +58,30 @@ single-quote = %x27 ; '
<a name="not-star"></a>
```abnf
not-star = %x0-29 / %x2B-10FFFF ; anything but *
not-star = %x0-29 / %x2B-D7FF / %xE000-10FFFF ; anything but *
```
<a name="not-star-or-slash"></a>
```abnf
not-star-or-slash = %x0-29 / %x2B-2E / %x30-10FFFF ; anything but * or /
not-star-or-slash = %x0-29 / %x2B-2E / %x30-D7FF / %xE000-10FFFF
; anything but * or /
```
<a name="not-line-feed-or-carriage-return"></a>
```abnf
not-line-feed-or-carriage-return = %x0-9 / %xB-C / %xE-10FFFF
not-line-feed-or-carriage-return = %x0-9 / %xB-C / %xE-D7FF / %xE000-10FFFF
; anything but <LF> or <CR>
```
<a name="not-double-quote-or-backslash"></a>
```abnf
not-double-quote-or-backslash = %x0-21 / %x23-5B / %x5D-10FFFF
not-double-quote-or-backslash = %x0-21 / %x23-5B / %x5D-D7FF / %xE000-10FFFF
; anything but " or \
```
<a name="not-single-quote-or-backslash"></a>
```abnf
not-single-quote-or-backslash = %x0-26 / %x28-5B / %x5D-10FFFF
not-single-quote-or-backslash = %x0-26 / %x28-5B / %x5D-D7FF / %xE000-10FFFF
; anything but ' or \
```
@ -655,14 +656,6 @@ Go to: _[assignment-statement](#user-content-assignment-statement), [block](#use
block = "{" *statement "}"
```
<a name="expression-statement"></a>
```abnf
expression-statement = expression ";"
```
Go to: _[expression](#user-content-expression)_;
<a name="return-statement"></a>
```abnf
return-statement = %s"return" expression ";"
@ -822,7 +815,8 @@ Format String Grammar
<a name="not-brace"></a>
```abnf
not-brace = %x0-7A / %x7C / %x7E-10FFFF ; anything but { or }
not-brace = %x0-7A / %x7C / %x7E-10FFFF
; codes permitted in string after escapes processed, except { or }
```
<a name="format-string-container"></a>

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

@ -274,8 +274,6 @@ statement = return-statement
block = "{" *statement "}"
expression-statement = expression ";"
return-statement = %s"return" expression ";"
variable-declaration = %s"let" identifier ":" type "=" expression ";"