Changes in src/ResolvExpr/AlternativeFinder.cc [ad51cc2:7faab5e]

File:

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

src/ResolvExpr/AlternativeFinder.cc

@@ -152 +152 @@
 
                 void renameTypes( Expression *expr ) {
-                        renameTyVars( expr->result );
+                        expr->get_result()->accept( global_renamer );
                 }
         } // namespace
@@ -485 +485 @@
                         Type *adjType = candidate->get_type()->clone();
                         adjustExprType( adjType, newEnv, indexer );
-                        renameTyVars( adjType );
+                        adjType->accept( global_renamer );
                         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;