Changeset 28f8f15 for src/Parser/parser.yy

Timestamp:

Apr 27, 2023, 3:13:24 PM (14 months ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT

Children:

561354f

Parents:

b110bcc

Message:

Save progress

File:

• src/Parser/parser.yy (modified) (4 diffs)

src/Parser/parser.yy

@@ -339 +339 @@
 %token SIZEOF TYPEOF VA_LIST VA_ARG AUTO_TYPE                   // GCC
 %token OFFSETOF BASETYPEOF TYPEID                                               // CFA
-%token ENUM STRUCT UNION
+%token ENUM STRUCT UNION DATA
 %token EXCEPTION                                                                                // CFA
 %token GENERATOR COROUTINE MONITOR THREAD                               // CFA
@@ -453 +453 @@
 %type<decl> enumerator_list enum_type enum_type_nobody
 %type<init> enumerator_value_opt
+
+%type<decl> value_list
+%type<decl> data_constructor type_specifier_list
 
 %type<decl> external_definition external_definition_list external_definition_list_opt
@@ -2441 +2444 @@
                 }
         | enum_type
+        /* | algebric_data_type */
         ;
 
@@ -2694 +2698 @@
                 }
         | enum_type_nobody
-        ;
+        | DATA identifier
+        { typedefTable.makeTypedef( *$2 ); }
+         '{' value_list '}'
+         {
+                $$ = DeclarationNode::newADT( $2, $5 );
+         }
+        ;
+
+value_list:
+        data_constructor 
+        {
+                $$ = $1;
+        }
+        /* | identifier_or_type_name '(' type_specifier ')'
+        {
+                $$ = DeclarationNode::newEnumValueGeneric( $1, nullptr );
+        } */
+        /* | data_constructor '|' value_list   */
+        | value_list '|' data_constructor
+        {
+                 { $$ = $1->appendList( $3 ); }
+        }
+        ;
+
+data_constructor:
+        identifier_or_type_name 
+        {
+                typedefTable.makeTypedef( *$1 );
+                $$ =  DeclarationNode::newTypeDecl( $1, nullptr );;
+        }
+        | identifier_or_type_name '(' type_specifier_list ')'
+        {
+                typedefTable.makeTypedef( *$1 );
+                $$ = DeclarationNode::newTypeDecl( $1, $3 );
+        }
+
+type_specifier_list:
+        type_specifier
+        /* | type_specifier ',' type_specifier_list  */
+        | type_specifier_list ',' type_specifier
+        {
+                $$ = $1->appendList($3);
+        }
+        ;
+
 
 hide_opt: