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

[grammar] add missing record name identifier; factor circuit-component-declarations into separate grammar rule

Browse Source
This commit is contained in:
Eric McCarthy 2022-07-23 23:32:17 -07:00
parent 2a9cc42493
commit 9756714fd2
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