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

[RFC] Update grammar changes to apply to latest grammar.

Browse Source
This commit is contained in:
Alessandro Coglio 2021-09-22 10:24:07 -07:00
parent 30cce1a5f1
commit 551ac4d747
1 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
docs/rfc/011-scalar-type-accesses-and-methods.md
View File

@ -29,23 +29,20 @@ Firstly we would have to modify both the ABNF and parsing of Leo to allow static
The ABNF would look as follows:
```abnf
; This is an existing old rule
; This is an existing old rule.
scalar-type = boolean-type / arithmetic-type / address-type / character-type
; This is an existing old rule
circuit-type = identifier / self-type
; Add this rule.
named-type = circuit-type / scalar-type ; new rule
named-type = identifier / self-type / scalar-type
; Modify this rule:
; Modify this rule.
postfix-expression = primary-expression
/ postfix-expression "." natural
/ postfix-expression "." identifier
/ identifier function-arguments
/ postfix-expression "." identifier function-arguments
/ named-type "::" identifier function-arguments ; this used to be a circuit-type
/ named-type "::" identifier ; this is new to allow static members on
/ named-type "::" identifier function-arguments ; this used to be identifier-or-self-type
/ named-type "::" identifier ; this is new to allow member constants
/ postfix-expression "[" expression "]"
/ postfix-expression "[" [expression] ".." [expression] "]"
```