@suss/resolution 0.4.0 → 0.5.0

package/dist/index.cjs

@@ -258,21 +258,22 @@ var RESOLUTION_RULES = [
     ]
   ),
   // Which calls a function, found by the name the call is written as
-  // rather than by resolving every callee in the project. Asking what
-  // reaches a parameter means looking for call sites, and looking for
-  // them the other way round costs a whole-project resolution.
+  // rather than by resolving every callee in the project. A caller knows
+  // the function and wants its call sites, so both of these start from
+  // the function. Starting from `call` instead asks what every call in
+  // the project imports, which was 72% of everything derived.
   (0, import_datalog.rule)(
     "callsFunction",
     [(0, import_datalog.variable)("r"), (0, import_datalog.variable)("f")],
-    [(0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c")), (0, import_datalog.lit)("binds", (0, import_datalog.variable)("c"), (0, import_datalog.variable)("f"))]
+    [(0, import_datalog.lit)("binds", (0, import_datalog.variable)("c"), (0, import_datalog.variable)("f")), (0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c"))]
   ),
   (0, import_datalog.rule)(
     "callsFunction",
     [(0, import_datalog.variable)("r"), (0, import_datalog.variable)("f")],
     [
-      (0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c")),
+      (0, import_datalog.lit)("moduleExport", (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("f")),
       (0, import_datalog.lit)("imports", (0, import_datalog.variable)("c"), (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n")),
-      (0, import_datalog.lit)("moduleExport", (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("f"))
+      (0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c"))
     ]
   ),
   // A function whose return is itself a call arrives at the same object

package/dist/index.js

@@ -228,21 +228,22 @@ var RESOLUTION_RULES = [
     ]
   ),
   // Which calls a function, found by the name the call is written as
-  // rather than by resolving every callee in the project. Asking what
-  // reaches a parameter means looking for call sites, and looking for
-  // them the other way round costs a whole-project resolution.
+  // rather than by resolving every callee in the project. A caller knows
+  // the function and wants its call sites, so both of these start from
+  // the function. Starting from `call` instead asks what every call in
+  // the project imports, which was 72% of everything derived.
   rule(
     "callsFunction",
     [v("r"), v("f")],
-    [lit("call", v("r"), v("c")), lit("binds", v("c"), v("f"))]
+    [lit("binds", v("c"), v("f")), lit("call", v("r"), v("c"))]
   ),
   rule(
     "callsFunction",
     [v("r"), v("f")],
     [
-      lit("call", v("r"), v("c")),
+      lit("moduleExport", v("m"), v("n"), v("f")),
       lit("imports", v("c"), v("m"), v("n")),
-      lit("moduleExport", v("m"), v("n"), v("f"))
+      lit("call", v("r"), v("c"))
     ]
   ),
   // A function whose return is itself a call arrives at the same object

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/resolution",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "type": "module",
   "description": "Language-neutral rules for following a value to the function it comes down to.",
   "keywords": [
@@ -53,6 +53,6 @@
     "access": "public"
   },
   "dependencies": {
-    "@suss/datalog": "0.4.0"
+    "@suss/datalog": "0.5.0"
   }
 }