Changeset 9e23b446 for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Jul 25, 2022, 2:23:00 PM (2 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

ffec1bf

Parents:

76a798d

Message:

add specialize pass

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (1 diff)

src/ResolvExpr/CandidateFinder.cpp

@@ -1265 +1265 @@
                                         newExpr, copy( tenv ), ast::OpenVarSet{}, ast::AssertionSet{}, Cost::zero,
                                         cost );
+
+                                if (newCand->expr->env) {
+                                        newCand->env.add(*newCand->expr->env);
+                                        auto mutExpr = newCand->expr.get_and_mutate();
+                                        mutExpr->env  = nullptr;
+                                        newCand->expr = mutExpr;
+                                }
+
                                 PRINT(
                                         std::cerr << "decl is ";