Changes in src/ResolvExpr/CandidateFinder.cpp [417117e:18e683b]

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (8 diffs)

src/ResolvExpr/CandidateFinder.cpp

@@ -370 +370 @@
                                                         // push empty tuple expression
                                                         newResult.parent = i;
-                                                        newResult.expr = new ast::TupleExpr{ CodeLocation{}, {} };
+                                                        std::vector< ast::ptr< ast::Expr > > emptyList;
+                                                        newResult.expr = 
+                                                                new ast::TupleExpr{ CodeLocation{}, move( emptyList ) };
                                                         argType = newResult.expr->result;
                                                 } else {
@@ -546 +548 @@
                 genStart = genEnd;
 
-                return genEnd != results.size();  // were any new results added?
+                return genEnd != results.size();
         }
 
@@ -592 +594 @@
 
         /// Actually visits expressions to find their candidate interpretations
-        class Finder final : public ast::WithShortCircuiting {
+        struct Finder final : public ast::WithShortCircuiting {
+                CandidateFinder & selfFinder;
                 const ast::SymbolTable & symtab;
-        public:
-                CandidateFinder & selfFinder;
                 CandidateList & candidates;
                 const ast::TypeEnvironment & tenv;
@@ -601 +602 @@
 
                 Finder( CandidateFinder & f )
-                : symtab( f.localSyms ), selfFinder( f ), candidates( f.candidates ), tenv( f.env ), 
+                : selfFinder( f ), symtab( f.symtab ), candidates( f.candidates ), tenv( f.env ), 
                   targetType( f.targetType ) {}
                 
@@ -675 +676 @@
                         ast::TypeEnvironment funcEnv{ func->env };
                         makeUnifiableVars( funcType, funcOpen, funcNeed );
-                        // add all type variables as open variables now so that those not used in the 
-                        // parameter list are still considered open
+                        // add all type variables as open variables now so that those not used in the parameter 
+                        // list are still considered open
                         funcEnv.add( funcType->forall );
 
@@ -1557 +1558 @@
                 std::vector< std::string > errors;
                 for ( CandidateRef & candidate : candidates ) {
-                        satisfyAssertions( candidate, localSyms, satisfied, errors );
+                        satisfyAssertions( candidate, symtab, satisfied, errors );
                 }
 
@@ -1612 +1613 @@
                         r->expr = ast::mutate_field( 
                                 r->expr.get(), &ast::Expr::result, 
-                                adjustExprType( r->expr->result, r->env, localSyms ) );
+                                adjustExprType( r->expr->result, r->env, symtab ) );
                 }
         }
@@ -1630 +1631 @@
 
         for ( const auto & x : xs ) {
-                out.emplace_back( localSyms, env );
+                out.emplace_back( symtab, env );
                 out.back().find( x, ResolvMode::withAdjustment() );