Recognize nested TypeInference learners

p4lang · Jun 25, 2024 · 0143b77 · 0143b77
1 parent 9a4ef83
commit 0143b77
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/frontends/p4/typeChecking/typeChecker.cpp b/frontends/p4/typeChecking/typeChecker.cpp
@@ -104,6 +104,7 @@ TypeChecking::TypeChecking(ReferenceMap *refMap, TypeMap *typeMap, bool updateEx
 bool TypeInference::learn(const IR::Node *node, Visitor *caller, const Visitor::Context *ctxt) {
     auto *learner = clone();
     learner->setCalledBy(caller);
+    learner->setName("TypeInference learner");
     unsigned previous = ::errorCount();
     (void)node->apply(*learner, ctxt);
     unsigned errCount = ::errorCount();