Changeset 0522ebe for src/Parser

Timestamp:

Feb 26, 2024, 3:49:23 AM (14 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

a4da45e

Parents:

c17dc80

Message:

Add EnumPosType? to type system

File:

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

src/Parser/parser.yy ¶

@@ -3006 +3006 @@
         | 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 );
+                }
         ;