Changeset 27434e9 for src/Parser/parser.yy

Timestamp:

Jun 23, 2021, 5:19:38 PM (3 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b6f39aa

Parents:

2b910f9 (diff), 1d71208 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/Parser/parser.yy (modified) (1 diff)

src/Parser/parser.yy

@@ -635 +635 @@
 postfix_expression:
         primary_expression
-        | postfix_expression '[' assignment_expression ',' comma_expression ']'
-                // { $$ = new ExpressionNode( build_binary_val( OperKinds::Index, $1, new ExpressionNode( build_binary_val( OperKinds::Index, $3, $5 ) ) ) ); }
-                { SemanticError( yylloc, "New array subscript is currently unimplemented." ); $$ = nullptr; }
+        | postfix_expression '[' assignment_expression ',' tuple_expression_list ']'
+                        // Historic, transitional: Disallow commas in subscripts.
+                        // Switching to this behaviour may help check if a C compatibilty case uses comma-exprs in subscripts.
+                // { SemanticError( yylloc, "New array subscript is currently unimplemented." ); $$ = nullptr; }
+                        // Current: Commas in subscripts make tuples.
+                { $$ = new ExpressionNode( build_binary_val( OperKinds::Index, $1, new ExpressionNode( build_tuple( (ExpressionNode *)($3->set_last( $5 ) ) )) ) ); }
         | postfix_expression '[' assignment_expression ']'
                 // CFA, comma_expression disallowed in this context because it results in a common user error: subscripting a