Changeset d63aeba

Timestamp:

Mar 22, 2023, 9:39:55 PM (20 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

18ea270

Parents:

5d9c4bb

Message:

print unimplemented error for forall in typedef

File:

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

src/Parser/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Mar 21 19:01:00 2023
-// Update Count     : 5990
+// Last Modified On : Wed Mar 22 21:26:01 2023
+// Update Count     : 6002
 //
 
@@ -270 +270 @@
         SemanticError( yylloc, ::toString( "Identifier \"", identifier, "\" cannot appear before a ", kind, ".\n"
                                    "Possible cause is misspelled storage/CV qualifier, misspelled typename, or missing generic parameter." ) );
+} // IdentifierBeforeType
+
+static bool TypedefForall( DeclarationNode * decl ) {
+        if ( decl->type->forall || (decl->type->kind == TypeData::Aggregate && decl->type->aggregate.params) ) {
+                SemanticError( yylloc, "forall qualifier in typedef is currently unimplemented." );
+                return true;
+        } // if
+        return false;
 } // IdentifierBeforeType
 
@@ -1958 +1966 @@
         TYPEDEF type_specifier declarator
                 {
-                        // if type_specifier is an anon aggregate => name 
                         typedefTable.addToEnclosingScope( *$3->name, TYPEDEFname, "4" );
-                        $$ = $3->addType( $2 )->addTypedef();           // watchout frees $2 and $3
+                        if ( TypedefForall( $2 ) ) $$ = nullptr;
+                        else $$ = $3->addType( $2 )->addTypedef();              // watchout frees $2 and $3
                 }
         | typedef_declaration pop ',' push declarator
@@ -1970 +1978 @@
                 {
                         typedefTable.addToEnclosingScope( *$4->name, TYPEDEFname, "6" );
-                        $$ = $4->addQualifiers( $1 )->addType( $3 )->addTypedef();
+                        if ( TypedefForall( $1 ) ) $$ = nullptr;
+                        else $$ = $4->addQualifiers( $1 )->addType( $3 )->addTypedef();
                 }
         | type_specifier TYPEDEF declarator
                 {
                         typedefTable.addToEnclosingScope( *$3->name, TYPEDEFname, "7" );
-                        $$ = $3->addType( $1 )->addTypedef();
+                        if ( TypedefForall( $1 ) ) $$ = nullptr;
+                        else $$ = $3->addType( $1 )->addTypedef();
                 }
         | type_specifier TYPEDEF type_qualifier_list declarator
                 {
                         typedefTable.addToEnclosingScope( *$4->name, TYPEDEFname, "8" );
-                        $$ = $4->addQualifiers( $1 )->addType( $1 )->addTypedef();
+                        if ( TypedefForall( $3 ) ) $$ = nullptr;
+                        else $$ = $4->addQualifiers( $1 )->addType( $1 )->addTypedef();
                 }
         ;