Changeset 52a5262e for src/GenPoly/GenPoly.cc

Timestamp:

Oct 16, 2023, 4:10:26 PM (9 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

d85141f

Parents:

e14d169

Message:

TypeVarMap? is now a subtype instead of an alias to remove the redundent constructor argument. Various bits of box pass clean-up.

File:

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

src/GenPoly/GenPoly.cc

@@ -273 +273 @@
         if ( func->returns.empty() ) return nullptr;
 
-        TypeVarMap forallTypes = { ast::TypeData() };
+        TypeVarMap forallTypes;
         makeTypeVarMap( func, forallTypes );
         return isDynType( func->returns.front(), forallTypes );
@@ -801 +801 @@
         const ast::FunctionType * function = getFunctionType( expr->func->result );
         assertf( function, "ApplicationExpr has non-function type: %s", toString( expr->func->result ).c_str() );
-        TypeVarMap exprTyVars = { ast::TypeData() };
+        TypeVarMap exprTyVars;
         makeTypeVarMap( function, exprTyVars );
         return needsBoxing( param, arg, exprTyVars, subst );