[ABNF] Add scalar type.

This commit is contained in:
Alessandro Coglio 2022-05-13 21:32:56 -07:00
parent 0e24e670bb
commit a9564552a9
2 changed files with 7 additions and 1 deletions

Binary file not shown.

View File

@ -91,6 +91,7 @@ keyword = %s"address"
/ %s"let"
/ %s"public"
/ %s"return"
/ %s"scalar"
/ %s"u8"
/ %s"u16"
/ %s"u32"
@ -122,6 +123,8 @@ field-literal = numeral %s"field"
product-group-literal = numeral %s"group"
scalar-literal = numeral %s"scalar"
boolean-literal = %s"true" / %s"false"
address-literal = %s"aleo1" 58( lowercase-letter / decimal-digit )
@ -172,6 +175,7 @@ integer-literal = unsigned-literal
numeric-literal = integer-literal
/ field-literal
/ product-group-literal
/ scalar-literal
atomic-literal = numeric-literal
/ boolean-literal
@ -214,7 +218,9 @@ field-type = %s"field"
group-type = %s"group"
arithmetic-type = integer-type / field-type / group-type
scalar-type = %s"scalar"
arithmetic-type = integer-type / field-type / group-type / scalar-type
boolean-type = %s"bool"