Changes in src/Parser/parser.yy [284da8c:4c3ee8d]

File:

• src/Parser/parser.yy (modified) (11 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 : Fri Jul  6 08:02:38 2018
-// Update Count     : 3716
+// Last Modified On : Mon Jul  2 20:23:14 2018
+// Update Count     : 3607
 //
 
@@ -116 +116 @@
 
 void distQual( DeclarationNode * declaration, DeclarationNode * qualifiers ) {
-        // distribute qualifiers across all non-variable declarations in a distribution statemement
+        // distribute qualifiers across all declarations in a distribution statemement
         for ( DeclarationNode * iter = declaration; iter != nullptr; iter = (DeclarationNode *)iter->get_next() ) {
-                // SKULLDUGGERY: Distributions are parsed inside out, so qualifiers are added to declarations inside out. Since
-                // addQualifiers appends to the back of the list, the forall clauses are in the wrong order (right to left). To
-                // get the qualifiers in the correct order and still use addQualifiers (otherwise, 90% of addQualifiers has to
-                // be copied to add to front), the appropriate forall pointers are interchanged before calling addQualifiers.
-                DeclarationNode * clone = qualifiers->clone();
-                if ( qualifiers->type ) {                                               // forall clause ? (handles SC)
-                        if ( iter->type->kind == TypeData::Aggregate ) { // struct/union ?
-                                swap( clone->type->forall, iter->type->aggregate.params );
-                                iter->addQualifiers( clone );
-                        } else if ( iter->type->kind == TypeData::AggregateInst && iter->type->aggInst.aggregate->aggregate.body ) { // struct/union ?
-                                // Create temporary node to hold aggregate, call addQualifiers as above, then put nodes back together.
-                                DeclarationNode newnode;
-                                swap( newnode.type, iter->type->aggInst.aggregate );
-                                swap( clone->type->forall, newnode.type->aggregate.params );
-                                newnode.addQualifiers( clone );
-                                swap( newnode.type, iter->type->aggInst.aggregate );
-                        } else if ( iter->type->kind == TypeData::Function ) { // routines ?
-                                swap( clone->type->forall, iter->type->forall );
-                                iter->addQualifiers( clone );
-                        } // if
-                } else {                                                                                // just SC qualifiers
-                        iter->addQualifiers( clone );
+                if ( isMangled( iter->linkage ) ) {             // ignore extern "C"
+                        iter->addQualifiers( qualifiers->clone() );
                 } // if
         } // for
-        delete qualifiers;
-} // distQual
+} // distExt
 
 // There is an ambiguity for inline generic-routine return-types and generic routines.
@@ -387 +366 @@
 %type<decl> type_parameter type_parameter_list type_initializer_opt
 
-%type<en> type_parameters_opt type_list
+%type<en> type_list
 
 %type<decl> type_qualifier type_qualifier_name forall type_qualifier_list_opt type_qualifier_list
@@ -427 +406 @@
 // Order of these lines matters (low-to-high precedence).
 %precedence TYPEGENname
-%precedence '}'
 %precedence '('
 
@@ -1775 +1753 @@
                 { $$ = $3->addQualifiers( $1 ); }
         | sue_type_specifier type_qualifier
-                {
-                        if ( $2->type != nullptr && $2->type->forall ) forall = true; // remember generic type
-                        $$ = $1->addQualifiers( $2 );
-                }
+                { $$ = $1->addQualifiers( $2 ); }
         ;
 
@@ -1856 +1831 @@
 
 aggregate_type:                                                                                 // struct, union
-        aggregate_key attribute_list_opt '{' field_declaration_list_opt '}' type_parameters_opt
-                { $$ = DeclarationNode::newAggregate( $1, new string( DeclarationNode::anonymous.newName() ), $6, $4, true )->addQualifiers( $2 ); }
+        aggregate_key attribute_list_opt '{' field_declaration_list_opt '}'
+                { $$ = DeclarationNode::newAggregate( $1, new string( DeclarationNode::anonymous.newName() ), nullptr, $4, true )->addQualifiers( $2 ); }
         | aggregate_key attribute_list_opt no_attr_identifier fred
                 {
@@ -1863 +1838 @@
                         forall = false;                                                         // reset
                 }
-          '{' field_declaration_list_opt '}' type_parameters_opt
-                { $$ = DeclarationNode::newAggregate( $1, $3, $9, $7, true )->addQualifiers( $2 ); }
+          '{' field_declaration_list_opt '}'
+                { $$ = DeclarationNode::newAggregate( $1, $3, nullptr, $7, true )->addQualifiers( $2 ); }
         | aggregate_key attribute_list_opt type_name fred
                 {
@@ -1870 +1845 @@
                         forall = false;                                                         // reset
                 }
-          '{' field_declaration_list_opt '}' type_parameters_opt
-                { $$ = DeclarationNode::newAggregate( $1, $3->type->symbolic.name, $9, $7, true )->addQualifiers( $2 ); }
+          '{' field_declaration_list_opt '}'
+                { $$ = DeclarationNode::newAggregate( $1, $3->type->symbolic.name, nullptr, $7, true )->addQualifiers( $2 ); }
+        | aggregate_key attribute_list_opt '(' type_list ')' '{' field_declaration_list_opt '}' // CFA
+                { $$ = DeclarationNode::newAggregate( $1, new string( DeclarationNode::anonymous.newName() ), $4, $7, false )->addQualifiers( $2 ); }
         | aggregate_type_nobody
-        ;
-
-type_parameters_opt:
-        // empty
-                { $$ = nullptr; }                                                               %prec '}'
-        | '(' type_list ')'
-                { $$ = $2; }
         ;
 
@@ -2418 +2388 @@
                         distQual( $5, $1 );
                         xxx = false;
+                        delete $1;
                         $$ = $5;
                 }
@@ -2429 +2400 @@
                         distQual( $5, $1 );
                         xxx = false;
+                        delete $1;
                         $$ = $5;
                 }
@@ -2438 +2410 @@
           '{' up external_definition_list_opt down '}'          // CFA, namespace
                 {
-                        distQual( $6, $1->addQualifiers( $2 ) );
+                        distQual( $6, $2 );
+                        distQual( $6, $1 );
                         xxx = false;
+                        delete $1;
+                        delete $2;
                         $$ = $6;
                 }