Changes in src/GenPoly/GenPoly.h [82a90d4:4da152a]

File:

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

src/GenPoly/GenPoly.h

@@ -20 +20 @@
 
 #include "ErasableScopedMap.h"    // for ErasableScopedMap
-#include "AST/Decl.hpp"           // for AggregateDecl
+#include "AST/Decl.hpp"           // for TypeDecl::Data
 #include "AST/Fwd.hpp"            // for ApplicationExpr, BaseInstType, Func...
+#include "AST/Type.hpp"           // for TypeInstType::TypeEnvKey
 #include "SymTab/Mangler.h"       // for Mangler
 #include "SynTree/Declaration.h"  // for TypeDecl::Data, AggregateDecl, Type...
 #include "SynTree/SynTree.h"      // for Visitor Nodes
 
-namespace ast {
-        struct TypeEnvKey;
-}
-
 namespace GenPoly {
 
         typedef ErasableScopedMap< std::string, TypeDecl::Data > TyVarMap;
-        using TypeVarMap = ErasableScopedMap< ast::TypeEnvKey, ast::TypeData >;
+        using TypeVarMap = ErasableScopedMap< ast::TypeInstType::TypeEnvKey, ast::TypeDecl::Data >;
 
         /// Replaces a TypeInstType by its referrent in the environment, if applicable