Changeset 172d9342 for src/SynTree/TypeSubstitution.cc

Timestamp:

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

Author:

Michael Brooks <mlbrooks@…>

Branches:

ADT, arm-eh, ast-experimental, 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/SynTree/TypeSubstitution.cc (modified) (1 diff)

src/SynTree/TypeSubstitution.cc

@@ -62 +62 @@
         } // if
         typeEnv[ formalType ] = actualType->clone();
+}
+
+void TypeSubstitution::addVar( std::string formalExpr, Expression *actualExpr ) {
+        varEnv[ formalExpr ] = actualExpr;
 }