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

add compound atomic rules to access rules in pest

Browse Source
This commit is contained in:
collin 2020-08-06 12:36:50 -07:00
parent 6627837042
commit cbf4e1b806
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
ast/src/leo.pest
View File

@ -246,19 +246,19 @@ value_address = ${ type_address ~ "(" ~ address ~ ")" }
access = { access_array | access_call | access_member | access_static_member} access = { access_array | access_call | access_member | access_static_member}
// Declared in access/array_access.rs // Declared in access/array_access.rs
access_array = { "[" ~ range_or_expression ~ "]" } access_array = !{ "[" ~ range_or_expression ~ "]" }
// Declared in access/assignee_access.rs // Declared in access/assignee_access.rs
access_assignee = { access_array | access_member } access_assignee = { access_array | access_member }
// Declared in access/call_access.rs // Declared in access/call_access.rs
access_call = { "(" ~ expression_tuple ~ ")" } access_call = !{ "(" ~ expression_tuple ~ ")" }
// Declared in access/member_access.rs // Declared in access/member_access.rs
access_member = { "." ~ identifier } access_member = ${ "." ~ identifier }
// Declared in access/static_member_access.rs // Declared in access/static_member_access.rs
access_static_member = { "::" ~ identifier } access_static_member = ${ "::" ~ identifier }
/// Circuits /// Circuits
@ -315,7 +315,7 @@ circuit_field_list = _{ (circuit_field ~ ("," ~ NEWLINE* ~ circuit_field)*)? ~ "
expression_unary = { operation_unary ~ expression_term } expression_unary = { operation_unary ~ expression_term }
// Declared in expressions/postfix_expression.rs // Declared in expressions/postfix_expression.rs
expression_postfix = { identifier ~ access+ } expression_postfix = ${ identifier ~ access+ }
/// Statements /// Statements