Merge Mark's fix

hkust-taco · Aug 3, 2024 · ab3623b · ab3623b
1 parent 3fb98cc
commit ab3623b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/shared/main/scala/mlscript/compiler/optimizer/TailRecOpt.scala b/compiler/shared/main/scala/mlscript/compiler/optimizer/TailRecOpt.scala
@@ -343,8 +343,8 @@ class TailRecOpt(fnUid: FreshInt, classUid: FreshInt, tag: FreshInt, raise: Diag
                         if containingCtors.contains(assignee) then invalidateAndCont(body)
                         else searchOptCalls(body)
       case LetMethodCall(names, cls, method, args, body) =>
-        // TODO
-        ???
+        // method call is unresolved, just ignore it
+        searchOptCalls(body)(acc, src, scc, start, calledDefn, letCallNode, letCtorNode, containingCtors -- names.toSet) 
       case x @ LetCall(names, defn, args, isTailRec, body) =>
         val callInScc = scc.contains(defn.expectDefn)