ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-06 02:57:26 +03:00
Code Issues Packages Projects Releases Wiki Activity

include grammar changes from pr 1290, regenerate md

Browse Source
This commit is contained in:
gluaxspeed 2021-08-25 08:05:48 -07:00
parent d100db7396
commit abd2919891
2 changed files with 5 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
grammar/README.md
View File

Binary file not shown.

16
grammar/abnf-grammar.txt
View File

@ -667,7 +667,7 @@ scalar-type = boolean-type / arithmetic-type / address-type / character-type
self-type = %s"Self"
circuit-type = identifier / self-type
circuit-or-alias-type = identifier / self-type
; A tuple type consists of zero, two, or more component types.
@ -683,15 +683,9 @@ array-type = "[" type ";" array-dimensions "]"
array-dimensions = natural
/ "(" natural *( "," natural ) ")"
; Circuit, tuple, and array types form the aggregate types,
; i.e. types whose values contain (sub-)values
; (with the corner-case exception of the empty tuple value).
; Scalar and the remaining types form all the types.
aggregate-type = tuple-type / array-type / circuit-type
; Scalar and aggregate types form all the types.
type = scalar-type / aggregate-type
type = scalar-type / tuple-type / array-type / circuit-or-alias-type
; The lexical grammar given earlier defines product group literals.
; The other kind of group literal is a pair of integer coordinates,
@ -777,7 +771,7 @@ array-expression = array-construction
; while the right one denotes an expression (a variable),
; so they are syntactically identical but semantically different.
circuit-construction = circuit-type "{"
circuit-construction = circuit-or-alias-type "{"
circuit-inline-element
*( "," circuit-inline-element ) [ "," ]
"}"
@ -813,7 +807,7 @@ postfix-expression = primary-expression
/ postfix-expression "." identifier
/ identifier function-arguments
/ postfix-expression "." identifier function-arguments
/ circuit-type "::" identifier function-arguments
/ circuit-or-alias-type "::" identifier function-arguments
/ postfix-expression "[" expression "]"
/ postfix-expression "[" [expression] ".." [expression] "]"