Changeset 172d9342 for src/AST/TypeSubstitution.cpp

Timestamp:

May 17, 2019, 4:01:50 PM (4 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

arm-eh, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

f6964ef

Parents:

74dbbf6

Message:

added old-to-new conversion for TypeSubstitution?, within a framework for expressions

File:

• src/AST/TypeSubstitution.cpp (modified) (1 diff)

src/AST/TypeSubstitution.cpp

@@ -58 +58 @@
 void TypeSubstitution::add( std::string formalType, const Type *actualType ) {
         typeEnv[ formalType ] = actualType;
+}
+
+void TypeSubstitution::addVar( std::string formalExpr, const Expr *actualExpr ) {
+        varEnv[ formalExpr ] = actualExpr;
 }