Changeset ad51cc2 for src/ResolvExpr/AlternativeFinder.cc

Timestamp:

Jan 16, 2018, 1:37:40 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, 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:

d7d9a60

Parents:

f07c1e6

Message:

Convert RenameVars? to PassVisitor?

File:

• src/ResolvExpr/AlternativeFinder.cc (modified) (4 diffs)

src/ResolvExpr/AlternativeFinder.cc

@@ -152 +152 @@
 
                 void renameTypes( Expression *expr ) {
-                        expr->get_result()->accept( global_renamer );
+                        renameTyVars( expr->result );
                 }
         } // namespace
@@ -485 +485 @@
                         Type *adjType = candidate->get_type()->clone();
                         adjustExprType( adjType, newEnv, indexer );
-                        adjType->accept( global_renamer );
+                        renameTyVars( adjType );
                         PRINT(
                                 std::cerr << "unifying ";
@@ -595 +595 @@
 
                 ArgPack()
-                        : parent(0), expr(), cost(Cost::zero), env(), need(), have(), openVars(), nextArg(0), 
+                        : parent(0), expr(), cost(Cost::zero), env(), need(), have(), openVars(), nextArg(0),
                           tupleStart(0), nextExpl(0), explAlt(0) {}
 
@@ -706 +706 @@
 
                                                 if ( nTuples > 0 || ! results[i].expr ) {
-                                                        // first iteration or no expression to clone, 
+                                                        // first iteration or no expression to clone,
                                                         // push empty tuple expression
                                                         newResult.parent = i;