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

[ABNF] Fix rule for circuit declarations.

Browse Source 
The identifier had been neglected.
This commit is contained in:
Alessandro Coglio 2022-07-20 18:36:23 -07:00
parent b940ad01fc
commit f93ed1b15f
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -399,9 +399,10 @@ function-parameters = function-parameter *( "," function-parameter ) [ "," ]
function-parameter = [ %s"public" / %s"constant" / %s"const" ]
identifier ":" type
circuit-declaration = %s"circuit" "{" circuit-component-declaration
*( "," circuit-component-declaration )
[ "," ] "}"
circuit-declaration = %s"circuit" identifier
"{" circuit-component-declaration
*( "," circuit-component-declaration )
[ "," ] "}"
circuit-component-declaration = identifier ":" type