Changeset 2dda05d for src

Timestamp:

Dec 12, 2020, 1:50:30 AM (4 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

4803a901

Parents:

5b9a0ae

Message:

recursively visit inferred

File:

• src/ResolvExpr/Resolver.cc (modified) (2 diffs)

src/ResolvExpr/Resolver.cc

@@ -968 +968 @@
         namespace {
                 /// Finds deleted expressions in an expression tree
-                struct DeleteFinder_new final : public ast::WithShortCircuiting {
+                struct DeleteFinder_new final : public ast::WithShortCircuiting, public ast::WithVisitorRef<DeleteFinder_new> {
                         const ast::DeletedExpr * result = nullptr;
 
@@ -980 +980 @@
                                 if (expr->inferred.hasParams()) {
                                         for (auto & imp : expr->inferred.inferParams() ) {
-                                                previsit(imp.second.expr);
+                                                imp.second.expr->accept(*visitor);
                                         }
                                 }