Changeset a585396 for src/ResolvExpr/TypeEnvironment.cc

Timestamp:

Oct 5, 2017, 1:36:59 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

c43c171

Parents:

e472d54

Message:

Fix missing environment/open vars update in iterative resolver

File:

• src/ResolvExpr/TypeEnvironment.cc (modified) (1 diff)

src/ResolvExpr/TypeEnvironment.cc

@@ -201 +201 @@
         }
 
+        void TypeEnvironment::addActual( const TypeEnvironment& actualEnv, OpenVarSet& openVars ) {
+                for ( const EqvClass& c : actualEnv ) {
+                        EqvClass c2 = c;
+                        c2.allowWidening = false;
+                        for ( const std::string& var : c2.vars ) {
+                                openVars[ var ] = c2.data;
+                        }
+                        env.push_back( std::move(c2) );
+                }
+        }
+
 } // namespace ResolvExpr