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

Merge branch 'record-type' of https://github.com/AleoHQ/leo into record-type

Browse Source
This commit is contained in:
collin 2022-06-27 12:45:58 -10:00
commit 389b4692aa
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