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 #1962 from AleoHQ/grammar-add-record-name-and-inner-rule

Browse Source 
[grammar] add missing record name identifier; factor circuit-componen…
This commit is contained in:
d0cd 2022-07-24 21:53:24 -07:00 committed by GitHub
commit 9bd4db47fb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -400,15 +400,16 @@ function-parameter = [ %s"public" / %s"constant" / %s"const" ]
identifier ":" type
circuit-declaration = %s"circuit" identifier
"{" circuit-component-declaration
*( "," circuit-component-declaration )
[ "," ] "}"
"{" circuit-component-declarations "}"
circuit-component-declarations = circuit-component-declaration
*( "," circuit-component-declaration )
[ "," ]
circuit-component-declaration = identifier ":" type
record-declaration = %s"record" "{" circuit-component-declaration
*( "," circuit-component-declaration )
[ "," ] "}"
record-declaration = %s"record" identifier
"{" circuit-component-declarations "}"
declaration = function-declaration
/ circuit-declaration