@suss/resolution 0.31.1 → 0.32.0

package/dist/index.cjs

@@ -80,6 +80,7 @@ var ASKING_RELATIONS = [
   "wanted",
   "wantedUnder",
   "wantedSites",
+  "wantedEnvSite",
   "wantedOrigin",
   "wantedCallOrigin",
   "wantedExportsOf",
@@ -1994,6 +1995,44 @@ var STATED_RULES = [
       (0, import_datalog4.lit)("callKeywordArg", (0, import_datalog4.variable)("r"), (0, import_datalog4.variable)("n"), (0, import_datalog4.variable)("a"))
     ]
   ),
+  // The expressions that refer to a parameter by binding alone. An
+  // adapter may key a read of the parameter as the parameter itself,
+  // or as its own node linked by binds; both arrive here.
+  (0, import_datalog4.rule)(
+    "refersToParam",
+    [(0, import_datalog4.variable)("p"), (0, import_datalog4.variable)("p")],
+    [(0, import_datalog4.lit)("paramOf", (0, import_datalog4.variable)("f"), (0, import_datalog4.variable)("k"), (0, import_datalog4.variable)("p"))]
+  ),
+  (0, import_datalog4.rule)(
+    "refersToParam",
+    [(0, import_datalog4.variable)("p"), (0, import_datalog4.variable)("p")],
+    [(0, import_datalog4.lit)("paramNamed", (0, import_datalog4.variable)("f"), (0, import_datalog4.variable)("n"), (0, import_datalog4.variable)("p"))]
+  ),
+  (0, import_datalog4.rule)(
+    "refersToParam",
+    [(0, import_datalog4.variable)("x"), (0, import_datalog4.variable)("p")],
+    [(0, import_datalog4.lit)("refersToParam", (0, import_datalog4.variable)("y"), (0, import_datalog4.variable)("p")), (0, import_datalog4.lit)("binds", (0, import_datalog4.variable)("x"), (0, import_datalog4.variable)("y"))]
+  ),
+  // A parameter whose value is an environment variable's name: a read
+  // site takes its name from it, or it is handed on to a parameter that
+  // does. Asked from the site, so the recursion runs callee to caller.
+  (0, import_datalog4.rule)(
+    "paramNamesEnv",
+    [(0, import_datalog4.variable)("p"), (0, import_datalog4.variable)("site")],
+    [
+      (0, import_datalog4.lit)("readsEnvNamed", (0, import_datalog4.variable)("site"), (0, import_datalog4.variable)("x")),
+      (0, import_datalog4.lit)("refersToParam", (0, import_datalog4.variable)("x"), (0, import_datalog4.variable)("p"))
+    ]
+  ),
+  (0, import_datalog4.rule)(
+    "paramNamesEnv",
+    [(0, import_datalog4.variable)("p"), (0, import_datalog4.variable)("site")],
+    [
+      (0, import_datalog4.lit)("refersToParam", (0, import_datalog4.variable)("a"), (0, import_datalog4.variable)("p")),
+      (0, import_datalog4.lit)("passesArgument", (0, import_datalog4.variable)("r"), (0, import_datalog4.variable)("q"), (0, import_datalog4.variable)("a")),
+      (0, import_datalog4.lit)("paramNamesEnv", (0, import_datalog4.variable)("q"), (0, import_datalog4.variable)("site"))
+    ]
+  ),
   // Which module's export a re-exported name forwards to, however
   // many barrels deep the forwarding runs.
   (0, import_datalog4.rule)(
@@ -2530,6 +2569,13 @@ var RESOLUTION_QUESTIONS = [
     [(0, import_datalog4.variable)("f"), (0, import_datalog4.variable)("c")],
     [(0, import_datalog4.lit)("wanted", (0, import_datalog4.variable)("f")), (0, import_datalog4.lit)("returnsCall", (0, import_datalog4.variable)("f"), (0, import_datalog4.variable)("c"))]
   ),
+  // Seeded with the read sites, a handful per project, so one question
+  // gives every parameter a reader at a call could meet.
+  (0, import_datalog4.rule)(
+    "wantedParamNamesEnv",
+    [(0, import_datalog4.variable)("p"), (0, import_datalog4.variable)("site")],
+    [(0, import_datalog4.lit)("wantedEnvSite", (0, import_datalog4.variable)("site")), (0, import_datalog4.lit)("paramNamesEnv", (0, import_datalog4.variable)("p"), (0, import_datalog4.variable)("site"))]
+  ),
   (0, import_datalog4.rule)(
     "wantedComesFrom",
     [(0, import_datalog4.variable)("x"), (0, import_datalog4.variable)("m"), (0, import_datalog4.variable)("n")],

package/dist/index.js

@@ -13,6 +13,7 @@ var ASKING_RELATIONS = [
   "wanted",
   "wantedUnder",
   "wantedSites",
+  "wantedEnvSite",
   "wantedOrigin",
   "wantedCallOrigin",
   "wantedExportsOf",
@@ -1927,6 +1928,44 @@ var STATED_RULES = [
       lit("callKeywordArg", v("r"), v("n"), v("a"))
     ]
   ),
+  // The expressions that refer to a parameter by binding alone. An
+  // adapter may key a read of the parameter as the parameter itself,
+  // or as its own node linked by binds; both arrive here.
+  rule(
+    "refersToParam",
+    [v("p"), v("p")],
+    [lit("paramOf", v("f"), v("k"), v("p"))]
+  ),
+  rule(
+    "refersToParam",
+    [v("p"), v("p")],
+    [lit("paramNamed", v("f"), v("n"), v("p"))]
+  ),
+  rule(
+    "refersToParam",
+    [v("x"), v("p")],
+    [lit("refersToParam", v("y"), v("p")), lit("binds", v("x"), v("y"))]
+  ),
+  // A parameter whose value is an environment variable's name: a read
+  // site takes its name from it, or it is handed on to a parameter that
+  // does. Asked from the site, so the recursion runs callee to caller.
+  rule(
+    "paramNamesEnv",
+    [v("p"), v("site")],
+    [
+      lit("readsEnvNamed", v("site"), v("x")),
+      lit("refersToParam", v("x"), v("p"))
+    ]
+  ),
+  rule(
+    "paramNamesEnv",
+    [v("p"), v("site")],
+    [
+      lit("refersToParam", v("a"), v("p")),
+      lit("passesArgument", v("r"), v("q"), v("a")),
+      lit("paramNamesEnv", v("q"), v("site"))
+    ]
+  ),
   // Which module's export a re-exported name forwards to, however
   // many barrels deep the forwarding runs.
   rule(
@@ -2463,6 +2502,13 @@ var RESOLUTION_QUESTIONS = [
     [v("f"), v("c")],
     [lit("wanted", v("f")), lit("returnsCall", v("f"), v("c"))]
   ),
+  // Seeded with the read sites, a handful per project, so one question
+  // gives every parameter a reader at a call could meet.
+  rule(
+    "wantedParamNamesEnv",
+    [v("p"), v("site")],
+    [lit("wantedEnvSite", v("site")), lit("paramNamesEnv", v("p"), v("site"))]
+  ),
   rule(
     "wantedComesFrom",
     [v("x"), v("m"), v("n")],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/resolution",
-  "version": "0.31.1",
+  "version": "0.32.0",
   "type": "module",
   "description": "The rules suss uses to follow a name in TypeScript, Python or Ruby to the function it comes down to.",
   "keywords": [
@@ -56,6 +56,6 @@
     "access": "public"
   },
   "dependencies": {
-    "@suss/datalog": "0.31.1"
+    "@suss/datalog": "0.32.0"
   }
 }