Fixed bug with constraint assignment to parenthesis identifiers

distributed-lab · Sep 7, 2024 · 34b4bc2 · 34b4bc2
1 parent 4724b90
commit 34b4bc2
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/grammar/Circom.g4 b/grammar/Circom.g4
@@ -68,8 +68,10 @@ templateStmt
     | blockInstantiation ';'
     | (identifier ('.' ID)?) ASSIGNMENT expression ';'
     | expression CONSTRAINT_EQ expression ';'
-    | (primary | (identifier '.' identifier)) (LEFT_ASSIGNMENT | ASSIGNMENT_OP) expression ';'
-    | expression RIGHT_ASSIGNMENT (identifier ('.' identifier)?) ';'
+    | element (LEFT_ASSIGNMENT | ASSIGNMENT_OP) expression ';'
+    | '(' element (',' element)* ')' LEFT_ASSIGNMENT expression ';'
+    | expression RIGHT_ASSIGNMENT element ';'
+    | expression RIGHT_ASSIGNMENT '(' element (',' element)* ')' ';'
     | '_' (ASSIGNMENT | LEFT_ASSIGNMENT) (expression | blockInstantiation) ';'
     | (expression | blockInstantiation) RIGHT_ASSIGNMENT '_' ';'
     | '(' argsWithUnderscore ')' (ASSIGNMENT | LEFT_ASSIGNMENT) (blockInstantiation | expression) ';'
@@ -81,6 +83,8 @@ templateStmt
     | logStmt ';'
     ;
 
+element: (identifier ('.' identifier)?) ;
+
 forControl: forInit ';' expression ';' forUpdate ;
 
 forInit: 'var'? identifier (ASSIGNMENT rhsValue)? ;