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

[ABNF] Move two rules within file.

Browse Source 
No content change, just layout change.

Prepares for next change to the file.
This commit is contained in:
Alessandro Coglio 2021-09-06 13:02:20 -07:00
parent 2426fada7d
commit b45a722d6b
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
grammar/abnf-grammar.txt
View File

@ -659,17 +659,6 @@ character-type = %s"char"
scalar-type = boolean-type / arithmetic-type / address-type / character-type
; Circuit types are denoted by identifiers and the keyword `Self`;
; the latter is only allowed inside a circuit definition,
; to denote the circuit type being defined.
; Identifiers may also be type aliases;
; syntactically (i.e. without a semantic analysis),
; they cannot be distinguished from circuit types.
self-type = %s"Self"
identifier-or-self-type = identifier / self-type
; A tuple type consists of zero, two, or more component types.
tuple-type = "(" [ type 1*( "," type ) ] ")"
@ -684,6 +673,17 @@ array-type = "[" type ";" array-dimensions "]"
array-dimensions = natural
/ "(" natural *( "," natural ) ")"
; Circuit types are denoted by identifiers and the keyword `Self`;
; the latter is only allowed inside a circuit definition,
; to denote the circuit type being defined.
; Identifiers may also be type aliases;
; syntactically (i.e. without a semantic analysis),
; they cannot be distinguished from circuit types.
self-type = %s"Self"
identifier-or-self-type = identifier / self-type
; Scalar and the remaining types form all the types.
type = scalar-type / tuple-type / array-type / identifier-or-self-type