@nudojs/core 1.1.4 → 1.2.0

package/dist/{check-report-AtnAfY9U.d.ts → check-report-TEOZ4cPZ.d.ts}

@@ -1,5 +1,5 @@
 import { File } from '@babel/types';
-import { T as Term, A as Abs, P as PrimName, a as Pred, b as Phi, C as Confidence } from './hof-types-tAeoYvzY.js';
+import { T as Term, A as Abs, P as PrimName, a as Pred, b as Phi, C as Confidence } from './hof-types-COqDeD5F.js';
 
 declare function resetParseSourceCache(): void;
 declare function getParseSourceCacheSize(): number;

package/dist/{chunk-XOHKHJHE.js → chunk-GD5XIQQK.js}

@@ -41,7 +41,7 @@ import {
   unknown,
   v,
   withExecPhi
-} from "./chunk-SQSO4NKT.js";
+} from "./chunk-WB565PQK.js";
 
 // src/algebra/constraint.ts
 var SELF = "__nudo_self__";
@@ -2541,9 +2541,9 @@ function promoteAsFn(ctx, name, args, loc) {
     loc
   });
 }
-function promoteCb(ctx, cbName, method, argTerms, loc) {
-  if (!ctx.params.has(cbName)) return;
-  const prev = ctx.shapes.get(cbName);
+function promoteCb(ctx, cevalName, method, argTerms, loc) {
+  if (!ctx.params.has(cevalName)) return;
+  const prev = ctx.shapes.get(cevalName);
   if (!prev) return;
   if (prev.shape.k !== "any" && prev.shape.k !== "unknown") return;
   let paramTypes;
@@ -2553,7 +2553,7 @@ function promoteCb(ctx, cbName, method, argTerms, loc) {
     returnType = abs({ k: "prim", type: "boolean" }, void 0, void 0, "path");
   } else {
     paramTypes = argTerms.map((t) => abs({ k: "any" }, t, void 0, "path"));
-    returnType = abs({ k: "any" }, v(`B:${cbName}`), void 0, "path");
+    returnType = abs({ k: "any" }, v(`B:${cevalName}`), void 0, "path");
   }
   const fnShape = {
     k: "fn",
@@ -2561,9 +2561,9 @@ function promoteCb(ctx, cbName, method, argTerms, loc) {
     paramTypes,
     returnType
   };
-  promoteShape(ctx, cbName, fnShape, loc, false);
+  promoteShape(ctx, cevalName, fnShape, loc, false);
   ctx.sites.push({
-    param: cbName,
+    param: cevalName,
     argTerms,
     result: returnType,
     loc
@@ -2675,14 +2675,14 @@ function scanPromotions(body, params, paramTermIds, initialShapes) {
 }
 
 // src/algebra/generalize.ts
-var bRunMemo = /* @__PURE__ */ new Map();
-function bPathRunOf(source, modules, inject) {
+var evalRunMemo = /* @__PURE__ */ new Map();
+function evalRunOf(source, modules, inject) {
   const mKey = `${source}|${runTranspiledOptionsMemoKey({ ...inject ?? {}, ...modules ? { modules } : {} })}`;
-  if (bRunMemo.size >= 256) {
-    const oldest = bRunMemo.keys().next().value;
-    if (oldest !== void 0) bRunMemo.delete(oldest);
+  if (evalRunMemo.size >= 256) {
+    const oldest = evalRunMemo.keys().next().value;
+    if (oldest !== void 0) evalRunMemo.delete(oldest);
   }
-  let run = bRunMemo.get(mKey);
+  let run = evalRunMemo.get(mKey);
   if (run === void 0) {
     const merged = modules ?? inject?.modules;
     const r = tryRunTranspiled(source, {
@@ -2692,7 +2692,7 @@ function bPathRunOf(source, modules, inject) {
     });
     if (r === void 0) return void 0;
     run = r;
-    bRunMemo.set(mKey, run);
+    evalRunMemo.set(mKey, run);
   }
   return run;
 }
@@ -3090,7 +3090,7 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
   );
   const envGated = envGatedSource && freeIdentifiers(body, boundNames).size > 0;
   const replaceGated = /@nudo:replace\b/.test(source) && !hasReps;
-  const bEligible = !unresolvableImports && !mockGated && !envGated && !replaceGated;
+  const evalEligible = !unresolvableImports && !mockGated && !envGated && !replaceGated;
   const run = (args, phi = pTrue) => {
     const { key, varOrder } = instantiateMemoKey(args, phi);
     const hit = instMemo.get(key);
@@ -3098,27 +3098,27 @@ function generalizeFromAstUncached(fnName, source, opts = {}) {
       return alphaRenameResult(hit.result, hit.varOrder, varOrder);
     }
     let result;
-    if (bEligible) {
+    if (evalEligible) {
       try {
-        const bRun = bPathRunOf(source, opts.modules, opts.inject);
-        if (!bRun) {
+        const evalRun = evalRunOf(source, opts.modules, opts.inject);
+        if (!evalRun) {
         } else if (fnName.includes(".")) {
           const [clsName, methodName] = fnName.split(".", 2);
-          const clsAbs = bRun[clsName ?? ""];
+          const clsAbs = evalRun[clsName ?? ""];
           if (clsAbs && typeof clsAbs === "object" && "shape" in clsAbs) {
             const nCtor = ctorParamCountOf(fileAst, clsName ?? "");
             const inst = $new(clsAbs, Array.from({ length: nCtor }, () => abs({ k: "any" }, void 0, pTrue, "path")));
             result = withExecPhi(phi, () => $invoke(inst, methodName ?? "", args));
           }
-        } else if (fnName in bRun) {
-          const bArgs = args.map((a, i) => {
+        } else if (fnName in evalRun) {
+          const evalArgs = args.map((a, i) => {
             const shape2 = promoteScan.promotedShapes.get(params[i]);
             if (shape2 && (a.shape.k === "any" || a.shape.k === "unknown")) {
               return { shape: shape2, term: a.term, pred: a.pred, conf: "path" };
             }
             return a;
           });
-          result = callTranspiledExportFull(bRun, fnName, bArgs, { phi }).result;
+          result = callTranspiledExportFull(evalRun, fnName, evalArgs, { phi }).result;
         }
       } catch {
       }
@@ -4029,17 +4029,17 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
   const resolve = collectCallResolvers(source, knownFns, opts);
   const forwards = collectForwarders(source, knownSet, resolve, file);
   const varAbs = opts?.varAbs ?? /* @__PURE__ */ new Map();
-  const bCallIndex = /* @__PURE__ */ new Map();
+  const evalCallIndex = /* @__PURE__ */ new Map();
   for (const r of opts?.bCalls ?? []) {
     if (!r.callLoc) continue;
     const key = `${r.fnName}\0${r.callLoc.line}`;
-    const list = bCallIndex.get(key) ?? [];
+    const list = evalCallIndex.get(key) ?? [];
     list.push(r.args);
-    bCallIndex.set(key, list);
+    evalCallIndex.set(key, list);
   }
   const takeBCallArgs = (fnName, line) => {
     if (line === void 0) return void 0;
-    const list = bCallIndex.get(`${fnName}\0${line}`);
+    const list = evalCallIndex.get(`${fnName}\0${line}`);
     if (!list || list.length === 0) return void 0;
     return list.shift();
   };
@@ -4632,10 +4632,10 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
     let absArgs = parsed.absArgs;
     let hasInfo = parsed.hasInfo;
     if (!hasInfo) {
-      const bArgs = takeBCallArgs(fnName, loc?.start.line);
-      if (bArgs && bArgs.length > 0) {
-        absArgs = bArgs;
-        hasInfo = bArgs.some(isInformativeArg);
+      const evalArgs = takeBCallArgs(fnName, loc?.start.line);
+      if (evalArgs && evalArgs.length > 0) {
+        absArgs = evalArgs;
+        hasInfo = evalArgs.some(isInformativeArg);
       }
     }
     if (!hasInfo || absArgs.length === 0) return;
@@ -4698,10 +4698,10 @@ function scanLiteralCalls(source, knownFns, phi, opts) {
     let absArgs = parsedExt.absArgs;
     let hasInfo = parsedExt.hasInfo;
     if (!hasInfo) {
-      const bArgs = takeBCallArgs(ext.fnName, loc?.start.line);
-      if (bArgs && bArgs.length > 0) {
-        absArgs = bArgs;
-        hasInfo = bArgs.some(isInformativeArg);
+      const evalArgs = takeBCallArgs(ext.fnName, loc?.start.line);
+      if (evalArgs && evalArgs.length > 0) {
+        absArgs = evalArgs;
+        hasInfo = evalArgs.some(isInformativeArg);
       }
     }
     if (!hasInfo || absArgs.length === 0) return;