Changeset 75f6a5f

Timestamp:

Nov 1, 2022, 2:39:04 PM (18 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

03c56f6

Parents:

b3212de

Message:

Found a likely error in GenPoly?.cc, now the new and old versions are symmetric.

File:

• src/GenPoly/GenPoly.cc (modified) (2 diffs)

src/GenPoly/GenPoly.cc

@@ -120 +120 @@
         const ast::Type * replaceTypeInst(const ast::Type * type, const ast::TypeSubstitution * env) {
                 if (!env) return type;
-                if (auto typeInst = dynamic_cast<const ast::TypeInstType*> (type)) {
+                if ( auto typeInst = dynamic_cast<const ast::TypeInstType*>(type) ) {
                         auto newType = env->lookup(typeInst);
                         if (newType) return newType;
@@ -229 +229 @@
                 auto var = typeVars.find( *inst );
                 if ( var != typeVars.end() && var->second.isComplete ) {
-
+                        return inst;
                 }
         } else if ( auto inst = dynamic_cast<ast::StructInstType const *>( type ) ) {