Changes in src/AST/Pass.impl.hpp [6739590:1df492a]

File:

• src/AST/Pass.impl.hpp (modified) (6 diffs)

src/AST/Pass.impl.hpp

@@ -182 +182 @@
 
                 // get the stmts/decls that will need to be spliced in
-                auto stmts_before = __pass::stmtsToAddBefore( core, 0 );
-                auto stmts_after  = __pass::stmtsToAddAfter ( core, 0 );
-                auto decls_before = __pass::declsToAddBefore( core, 0 );
-                auto decls_after  = __pass::declsToAddAfter ( core, 0 );
+                auto stmts_before = __pass::stmtsToAddBefore( core, 0);
+                auto stmts_after  = __pass::stmtsToAddAfter ( core, 0);
+                auto decls_before = __pass::declsToAddBefore( core, 0);
+                auto decls_after  = __pass::declsToAddAfter ( core, 0);
 
                 // These may be modified by subnode but most be restored once we exit this statemnet.
@@ -287 +287 @@
 
                 // get the stmts/decls that will need to be spliced in
-                auto stmts_before = __pass::stmtsToAddBefore( core, 0 );
-                auto stmts_after  = __pass::stmtsToAddAfter ( core, 0 );
-                auto decls_before = __pass::declsToAddBefore( core, 0 );
-                auto decls_after  = __pass::declsToAddAfter ( core, 0 );
+                auto stmts_before = __pass::stmtsToAddBefore( core, 0);
+                auto stmts_after  = __pass::stmtsToAddAfter ( core, 0);
+                auto decls_before = __pass::declsToAddBefore( core, 0);
+                auto decls_after  = __pass::declsToAddAfter ( core, 0);
 
                 // These may be modified by subnode but most be restored once we exit this statemnet.
@@ -317 +317 @@
                                 assert(( empty( stmts_before ) && empty( stmts_after ))
                                     || ( empty( decls_before ) && empty( decls_after )) );
+
+
 
                                 // Take all the statements which should have gone after, N/A for first iteration
@@ -648 +650 @@
         if ( __visit_children() ) {
                 // unlike structs, traits, and unions, enums inject their members into the global scope
+                maybe_accept( node, &EnumDecl::base );
                 maybe_accept( node, &EnumDecl::params     );
                 maybe_accept( node, &EnumDecl::members    );
@@ -2113 +2116 @@
         if ( __visit_children() ) {
                 bool mutated = false;
-                ast::TypeSubstitution::TypeMap new_map;
-                for ( const auto & p : node->typeMap ) {
+                std::unordered_map< ast::TypeInstType::TypeEnvKey, ast::ptr< ast::Type > > new_map;
+                for ( const auto & p : node->typeEnv ) {
                         guard_symtab guard { *this };
                         auto new_node = p.second->accept( *this );
@@ -2122 +2125 @@
                 if (mutated) {
                         auto new_node = __pass::mutate<core_t>( node );
-                        new_node->typeMap.swap( new_map );
+                        new_node->typeEnv.swap( new_map );
                         node = new_node;
                 }