Changeset 52a5262e for src/GenPoly/GenPoly.h

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.h (modified) (1 diff)

src/GenPoly/GenPoly.h

@@ -33 +33 @@
 
         typedef ErasableScopedMap< std::string, TypeDecl::Data > TyVarMap;
-        using TypeVarMap = ErasableScopedMap< ast::TypeEnvKey, ast::TypeData >;
+        struct TypeVarMap : public ErasableScopedMap<ast::TypeEnvKey, ast::TypeData> {
+                TypeVarMap() : ErasableScopedMap( ast::TypeData() ) {}
+        };
 
         /// Replaces a TypeInstType by its referrent in the environment, if applicable