Changeset 3f9a8d0 for src/Parser

Timestamp:

Feb 26, 2024, 8:17:20 AM (19 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

f1149ac

Parents:

1bb76ad (diff), a4da45e (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

@@ -3022 +3022 @@
         | assertion_list
                 { $$ = DeclarationNode::newTypeParam( ast::TypeDecl::Dtype, new string( DeclarationNode::anonymous.newName() ) )->addAssertions( $1 ); }
+        | ENUM '(' identifier_or_type_name ')' identifier_or_type_name new_type_class type_initializer_opt assertion_list_opt
+                {       
+                        typedefTable.addToScope( *$3, TYPEDIMname, "type_parameter 4" );
+                        typedefTable.addToScope( *$5, TYPEDIMname, "type_parameter 5" );
+                        $$ = DeclarationNode::newTypeParam( $6, $5 )->addTypeInitializer( $7 )->addAssertions( $8 );
+                }
         ;