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

Merge branch 'remove/unsized-array' of https://github.com/AleoHQ/leo into remove/unsized-array

Browse Source
This commit is contained in:
collin 2022-03-07 15:01:19 -08:00
commit ac016822c3
2 changed files with 11 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
docs/grammar/README.md
View File

@ -1013,34 +1013,24 @@ An array type consists of an element type
and an indication of dimensions. and an indication of dimensions.
There is either a single dimension, There is either a single dimension,
or a tuple of one or more dimensions. or a tuple of one or more dimensions.
Each dimension is natural. Each dimension is a natural.
<a name="array-type"></a> <a name="array-type"></a>
```abnf ```abnf
array-type = "[" type ";" array-type-dimensions "]" array-type = "[" type ";" array-dimensions "]"
``` ```
Go to: _[array-type-dimensions](#user-content-array-type-dimensions), [type](#user-content-type)_; Go to: _[array-dimensions](#user-content-array-dimensions), [type](#user-content-type)_;
<a name="array-type-dimension"></a> <a name="array-dimensions"></a>
```abnf ```abnf
array-type-dimension = natural / "_" array-dimensions = natural / "(" natural *( "," natural ) ")"
``` ```
Go to: _[natural](#user-content-natural)_; Go to: _[natural](#user-content-natural)_;
<a name="array-type-dimensions"></a>
```abnf
array-type-dimensions = array-type-dimension
/ "(" array-type-dimension
*( "," array-type-dimension ) [","] ")"
```
Go to: _[array-type-dimension](#user-content-array-type-dimension)_;
The keyword `Self` denotes the enclosing circuit type. The keyword `Self` denotes the enclosing circuit type.
It is only allowed inside a circuit type declaration. It is only allowed inside a circuit type declaration.
@ -1214,19 +1204,10 @@ Go to: _[expression](#user-content-expression)_;
<a name="array-repeat-construction"></a> <a name="array-repeat-construction"></a>
```abnf ```abnf
array-repeat-construction = "[" expression ";" array-expression-dimensions "]" array-repeat-construction = "[" expression ";" array-dimensions "]"
``` ```
Go to: _[array-expression-dimensions](#user-content-array-expression-dimensions), [expression](#user-content-expression)_; Go to: _[array-dimensions](#user-content-array-dimensions), [expression](#user-content-expression)_;
<a name="array-expression-dimensions"></a>
```abnf
array-expression-dimensions = natural
/ "(" natural *( "," natural ) ")"
```
Go to: _[natural](#user-content-natural)_;
<a name="array-construction"></a> <a name="array-construction"></a>

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

@ -650,15 +650,11 @@ tuple-type = "(" [ type 1*( "," type ) ] ")"
; and an indication of dimensions. ; and an indication of dimensions.
; There is either a single dimension, ; There is either a single dimension,
; or a tuple of one or more dimensions. ; or a tuple of one or more dimensions.
; Each dimension is natural. ; Each dimension is a natural.
array-type = "[" type ";" array-type-dimensions "]" array-type = "[" type ";" array-dimensions "]"
array-type-dimension = natural / "_" array-dimensions = natural / "(" natural *( "," natural ) ")"
array-type-dimensions = array-type-dimension
/ "(" array-type-dimension
*( "," array-type-dimension ) [","] ")"
; The keyword `Self` denotes the enclosing circuit type. ; The keyword `Self` denotes the enclosing circuit type.
; It is only allowed inside a circuit type declaration. ; It is only allowed inside a circuit type declaration.
@ -756,10 +752,7 @@ array-inline-construction = "["
array-inline-element = expression / "..." expression array-inline-element = expression / "..." expression
array-repeat-construction = "[" expression ";" array-expression-dimensions "]" array-repeat-construction = "[" expression ";" array-dimensions "]"
array-expression-dimensions = natural
/ "(" natural *( "," natural ) ")"
array-construction = array-inline-construction / array-repeat-construction array-construction = array-inline-construction / array-repeat-construction