Look for overloads until reachable defs are exhausted.

usethesource · Oct 25, 2024 · 8469735 · 8469735
1 parent e10a0dd
commit 8469735
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/rascal-lsp/src/main/rascal/lang/rascal/lsp/refactor/WorkspaceInfo.rsc b/rascal-lsp/src/main/rascal/lang/rascal/lsp/refactor/WorkspaceInfo.rsc
@@ -248,13 +248,13 @@ set[loc] rascalGetOverloadedDefs(WorkspaceInfo ws, set[loc] defs, MayOverloadFun
         defPaths = defPaths o allDefs;
     }
 
-    solve(overloadedDefs) {
-        rel[loc from, loc to] reachableDefs = ident(overloadedDefs) o defPaths;
-
+    set[loc] reachableDefs = defPaths[overloadedDefs];
+    solve(overloadedDefs, reachableDefs) {
         overloadedDefs += {d
-            | loc d <- reachableDefs<1>
+            | loc d <- reachableDefs
             , mayOverloadF(overloadedDefs + d, ws.definitions)
         };
+        reachableDefs = defPaths[overloadedDefs];
     }
 
     return overloadedDefs;