nudojs 1.3.8 → 1.3.10

package/README.md

@@ -21,6 +21,6 @@ nudojs <version>
 @nudojs/core <version>   # when resolvable
 ```
 
-> **Migration:** `@nudojs/cli` is a deprecated stub that forwards here. Install `nudojs` only.
+> **Migration:** the `@nudojs/cli` forward stub has been retired — install `nudojs` only.
 
 Full documentation: <https://nudojs.github.io/nudo/>

package/dist/index.js

@@ -29792,7 +29792,20 @@ function applyInstanceFields(spec, thisVal) {
 }
 function constructClass(className, thisVal, args) {
   const spec = getEvalClass(className);
-  if (!spec) return thisVal;
+  if (!spec) {
+    if (isErrorCtorName(className)) {
+      const eb = errorBrandAbs(className, args);
+      const instName = thisVal.shape.k === "brand" ? thisVal.shape.name : className;
+      const inner = eb.shape.k === "brand" ? eb.shape.shape : objOf({});
+      return abs(
+        { k: "brand", name: instName, shape: inner },
+        eb.term,
+        eb.pred,
+        eb.conf
+      );
+    }
+    return thisVal;
+  }
   if (spec.ctor) {
     let tv = thisVal;
     if (!spec.superName && !spec.superNull) tv = applyInstanceFields(spec, tv);
@@ -40807,6 +40820,15 @@ function flattenSumArms(ret) {
 function isWidenedSumArm(m, parent) {
   return parent.conf === "partial" && m.shape.k === "prim" && !m.term && (!m.pred || m.pred.op === "true");
 }
+function provesBarePrimDomain(arm, constraint) {
+  if (!constraint.prim || constraint.preds.length > 0 || isIntFlag(constraint)) {
+    return false;
+  }
+  if (constraint.fields || constraint.element || constraint.members || constraint.fn) {
+    return false;
+  }
+  return arm.shape.k === "prim" && arm.shape.type === constraint.prim;
+}
 function assertImplies(ret, constraint, opts) {
   const phi2 = opts?.phi ?? pTrue;
   if (ret.shape.k === "never") return proved();
@@ -40841,6 +40863,9 @@ function assertSumArms(arms, parent, constraint, opts, phi2) {
       continue;
     }
     if (isValueSetUnknown(arm) || isWidenedSumArm(arm, parent)) {
+      if (isWidenedSumArm(arm, parent) && provesBarePrimDomain(arm, constraint)) {
+        continue;
+      }
       sawUnprovable = true;
       continue;
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "nudojs",
-  "version": "1.3.8",
+  "version": "1.3.10",
   "engines": {
     "node": ">=20"
   },
@@ -46,11 +46,11 @@
   "dependencies": {
     "@babel/generator": "^8.0.6",
     "@babel/types": "^8.0.6",
-    "@nudojs/core": "1.7.7",
-    "@nudojs/env": "0.4.22",
-    "@nudojs/harvester": "0.3.8",
-    "@nudojs/parser": "1.4.4",
-    "@nudojs/service": "1.6.7",
+    "@nudojs/core": "1.7.9",
+    "@nudojs/env": "0.4.24",
+    "@nudojs/harvester": "0.3.10",
+    "@nudojs/parser": "1.4.6",
+    "@nudojs/service": "1.6.9",
     "commander": "^15.0.0"
   },
   "devDependencies": {