Changes in / [68ac32e:8ef9c5e7]

File:

• src/GenPoly/InstantiateGeneric.cc (modified) (1 diff)

src/GenPoly/InstantiateGeneric.cc

@@ -237 +237 @@
                                         }
                                         out.push_back( new TypeExpr( voidPtr ) );
+                                        // this type is still dtype-static, no change to gt
                                 } else {
                                         // Just clone parameter type
                                         out.push_back( paramType->clone() );
+                                        // make the struct concrete or dynamic depending on the parameter
+                                        gt |= isPolyType( paramType->get_type() ) ? genericType::dynamic : genericType::concrete;
                                 }
-                                // make the struct concrete or dynamic depending on the parameter
-                                gt |= isPolyType( paramType->get_type() ) ? genericType::dynamic : genericType::concrete;
                         } else switch ( (*baseParam)->get_kind() ) {
                                 case TypeDecl::Dtype: