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] Add syntax for record types.

Browse Source
This commit is contained in:
Alessandro Coglio 2022-06-27 11:26:34 -07:00
parent df8ee1a1f9
commit 557cdf15c3
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -96,6 +96,7 @@ keyword = %s"address"
/ %s"in" / %s"in"
/ %s"let" / %s"let"
/ %s"public" / %s"public"
/ %s"record"
/ %s"return" / %s"return"
/ %s"scalar" / %s"scalar"
/ %s"string" / %s"string"
@ -393,8 +394,13 @@ circuit-declaration = %s"circuit" "{" circuit-component-declaration
circuit-component-declaration = identifier ":" type circuit-component-declaration = identifier ":" type
record-declaration = %s"record" "{" circuit-component-declaration
*( "," circuit-component-declaration )
[ "," ] "}"
declaration = function-declaration declaration = function-declaration
/ circuit-declaration / circuit-declaration
/ record-declaration
file = *declaration file = *declaration