Changeset a585396 for src/ResolvExpr/TypeEnvironment.h

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

src/ResolvExpr/TypeEnvironment.h

@@ -86 +86 @@
                 TypeEnvironment *clone() const { return new TypeEnvironment( *this ); }
 
+                /// Iteratively adds the environment of a new actual (with allowWidening = false), 
+                /// and extracts open variables.
+                void addActual( const TypeEnvironment& actualEnv, OpenVarSet& openVars );
+
                 typedef std::list< EqvClass >::iterator iterator;
                 iterator begin() { return env.begin(); }