Changes in src/GenPoly/GenPoly.cc [c2ad3c9:83de11e]

File:

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

src/GenPoly/GenPoly.cc

@@ -64 +64 @@
                         return false;
                 }
-        }
-
-        Type* replaceTypeInst( Type* type, const TypeSubstitution* env ) {
-                if ( ! env ) return type;
-                if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( type ) ) {
-                        Type *newType = env->lookup( typeInst->get_name() );
-                        if ( newType ) return newType;
-                }
-                return type;
+
+                /// Replaces a TypeInstType by its referrent in the environment, if applicable
+                Type* replaceTypeInst( Type* type, const TypeSubstitution* env ) {
+                        if ( ! env ) return type;
+                        if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( type ) ) {
+                                Type *newType = env->lookup( typeInst->get_name() );
+                                if ( newType ) return newType;
+                        }
+                        return type;
+                }
         }