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

Merge pull request #1406 from AleoHQ/abnf-empty-circuit

Browse Source 
[ABNF] Fix rule for circuit inline expressions.
This commit is contained in:
gluax 2021-10-20 04:25:14 -07:00 committed by GitHub
commit 2a7298b873
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
grammar/README.md
View File

@ -1261,7 +1261,7 @@ Go to: _[array-construction](#user-content-array-construction)_;
Circuit expressions construct circuit values.
Each lists values for all the member variables (in any order);
there must be at least one member variable.
there may be zero or more member variables.
A single identifier abbreviates
a pair consisting of the same identifier separated by colon;
note that, in the expansion, the left one denotes a member name,
@ -1271,8 +1271,8 @@ so they are syntactically identical but semantically different.
<a name="circuit-construction"></a>
```abnf
circuit-construction = identifier-or-self-type "{"
circuit-inline-element
*( "," circuit-inline-element ) [ "," ]
[ circuit-inline-element
*( "," circuit-inline-element ) [ "," ] ]
"}"
```

6
grammar/abnf-grammar.txt
View File

@ -778,7 +778,7 @@ array-expression = array-construction
; Circuit expressions construct circuit values.
; Each lists values for all the member variables (in any order);
; there must be at least one member variable.
; there may be zero or more member variables.
; A single identifier abbreviates
; a pair consisting of the same identifier separated by colon;
; note that, in the expansion, the left one denotes a member name,
@ -786,8 +786,8 @@ array-expression = array-construction
; so they are syntactically identical but semantically different.
circuit-construction = identifier-or-self-type "{"
circuit-inline-element
*( "," circuit-inline-element ) [ "," ]
[ circuit-inline-element
*( "," circuit-inline-element ) [ "," ] ]
"}"
circuit-inline-element = identifier ":" expression / identifier