mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-25 03:04:13 +03:00
[ABNF] Incorporate change for unspecified array sizes.
That change was made on master concurrently with this PR. This commit integrates the concurrent changes.
This commit is contained in:
parent
dab6f494b1
commit
593aac5636
@ -667,11 +667,14 @@ tuple-type = "(" [ type 1*( "," type ) ] ")"
|
||||
; and an indication of dimensions.
|
||||
; There is either a single dimension,
|
||||
; or a tuple of one or more dimensions.
|
||||
; Each dimension is either a natural or is unspecified.
|
||||
|
||||
array-type = "[" type ";" array-dimensions "]"
|
||||
|
||||
array-dimensions = natural
|
||||
/ "(" natural *( "," natural ) ")"
|
||||
array-dimension = natural / "_"
|
||||
|
||||
array-dimensions = array-dimension
|
||||
/ "(" array-dimension *( "," array-dimension ) ")"
|
||||
|
||||
; The keyword `Self` denotes the enclosing circuit type.
|
||||
; It is only allowed inside a circuit type declaration.
|
||||
|
Loading…
Reference in New Issue
Block a user