Changes in src/Parser/DeclarationNode.cc [a1c9ddd:25bca42]

File:

• src/Parser/DeclarationNode.cc (modified) (2 diffs)

src/Parser/DeclarationNode.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 12:34:05 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jun  7 12:08:55 2018
-// Update Count     : 1079
+// Last Modified On : Wed Jun  6 15:57:50 2018
+// Update Count     : 1076
 //
 
@@ -545 +545 @@
                                         type->aggregate.params->appendList( q->type->forall ); // augment forall qualifier
                                 } else {                                                                // not polymorphic
-                                        type->aggregate.params = q->type->forall; // set forall qualifier
+                                        type->aggregate.params = q->type->forall; // make polymorphic type
+                                        // change implicit typedef from TYPEDEFname to TYPEGENname
+                                        typedefTable.changeKind( *type->aggregate.name, TYPEGENname );
                                 } // if
                         } else {                                                                        // not polymorphic