Changeset 93c10de for src/GenPoly/GenPoly.h

Timestamp:

Nov 24, 2022, 11:01:37 AM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

82a90d4

Parents:

78de1e5

Message:

Minimal changes to pull out nested types, TypeInstType::TypeEnvKey? and TypeDecl::Data (now TypeData?) from there parent types. Although they do connect to the parent types they were nested in they are used on their own most of the time.

File:

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

src/GenPoly/GenPoly.h

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