nudojs 1.3.14 → 1.3.15

package/dist/index.js

@@ -30568,25 +30568,75 @@ function $removeUndefined(a) {
 }
 function $removeMemberNullish(a, key) {
   if (!a || typeof a !== "object" || !("shape" in a)) return a;
+  if (a.shape.k === "sum") {
+    const members = a.shape.members;
+    const kept = [];
+    let changed = false;
+    for (const m of members) {
+      const r2 = memberSlotTruthyRefine(m, key);
+      if (r2.kind === "prune") {
+        changed = true;
+        continue;
+      }
+      if (r2.kind === "keep") {
+        kept.push(m);
+        continue;
+      }
+      changed = true;
+      const sh = m.shape;
+      const next2 = { ...m, shape: { ...sh, slots: { ...sh.slots, [key]: r2.slot } } };
+      migrateAccessors(m, next2);
+      migrateInvariants(m, next2);
+      migrateNullProto(m, next2);
+      kept.push(next2);
+    }
+    if (!changed || kept.length === 0) return a;
+    return kept.length === 1 ? kept[0] : { ...a, shape: { k: "sum", members: kept } };
+  }
   if (a.shape.k !== "obj") return a;
   const slots = a.shape.slots;
   if (!Object.prototype.hasOwnProperty.call(slots, key)) return a;
+  const r = memberSlotTruthyRefine(a, key);
+  if (r.kind !== "refine") return a;
+  const next = { ...a, shape: { ...a.shape, slots: { ...slots, [key]: r.slot } } };
+  migrateAccessors(a, next);
+  migrateInvariants(a, next);
+  migrateNullProto(a, next);
+  return next;
+}
+function definitelyNullishAbs(a) {
+  if (isNullishLitAbs(a)) return true;
+  if (a.shape.k === "sum") {
+    const members = a.shape.members;
+    return members.length > 0 && members.every((m) => isNullishLitAbs(m));
+  }
+  return false;
+}
+function memberSlotTruthyRefine(m, key) {
+  if (m.shape.k !== "obj") return { kind: "keep" };
+  const slots = m.shape.slots;
+  if (!Object.prototype.hasOwnProperty.call(slots, key)) {
+    const sh = m.shape;
+    if (sh.open || sh.index) return { kind: "keep" };
+    if (OBJECT_PROTO_METHOD_NAMES2.has(key) || key === "constructor") return { kind: "keep" };
+    if (accessorTable.get(m)?.has(key)) return { kind: "keep" };
+    return { kind: "prune" };
+  }
+  if (accessorTable.get(m)?.get(key)?.get) return { kind: "keep" };
   const slot = slots[key];
+  if (definitelyNullishAbs(slot.value)) return { kind: "prune" };
   let value = slot.value;
-  let changed = false;
   if (!definitelyNotNullishShape(value.shape) && value.shape.k === "sum") {
     const members = value.shape.members;
-    const kept = members.filter((m) => !isNullishLitAbs(m));
+    const kept = members.filter((x) => !isNullishLitAbs(x));
     if (kept.length > 0 && kept.length < members.length) {
       value = kept.length === 1 ? kept[0] : { ...value, shape: { k: "sum", members: kept } };
-      changed = true;
     }
   }
-  if (slot.optional) changed = true;
-  if (!changed) return a;
+  if (value === slot.value && !slot.optional) return { kind: "keep" };
   const next = { ...slot, value };
   delete next.optional;
-  return { ...a, shape: { ...a.shape, slots: { ...slots, [key]: next } } };
+  return { kind: "refine", slot: next };
 }
 function typeofOfMember(m) {
   const t = m.term;
@@ -30695,6 +30745,8 @@ var init_async = __esm({
     init_term();
     init_pred();
     init_objects();
+    init_builtins();
+    init_members();
     init_leq();
     init_abs_fn();
     init_surface();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "nudojs",
-  "version": "1.3.14",
+  "version": "1.3.15",
   "engines": {
     "node": ">=20"
   },
@@ -46,11 +46,11 @@
   "dependencies": {
     "@babel/generator": "^8.0.6",
     "@babel/types": "^8.0.6",
-    "@nudojs/core": "1.9.1",
-    "@nudojs/env": "0.4.28",
-    "@nudojs/harvester": "0.3.14",
-    "@nudojs/parser": "1.4.10",
-    "@nudojs/service": "1.6.13",
+    "@nudojs/core": "1.9.2",
+    "@nudojs/env": "0.4.29",
+    "@nudojs/harvester": "0.3.15",
+    "@nudojs/parser": "1.4.11",
+    "@nudojs/service": "1.6.14",
     "commander": "^15.0.0"
   },
   "devDependencies": {