Changeset 278e162 for src/GenPoly/GenPoly.cc

Timestamp:

Oct 23, 2023, 11:13:00 AM (2 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

cb94e41

Parents:

4d2d7e27 (diff), abb04a4 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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 );