nudojs 1.3.5 → 1.3.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/index.js +9 -1
- package/package.json +6 -6
package/dist/index.js
CHANGED
|
@@ -30381,7 +30381,7 @@ ${inner}
|
|
|
30381
30381
|
return `$call(${transpileExpression(tag, opts)}, [${args}])`;
|
|
30382
30382
|
}
|
|
30383
30383
|
case "SequenceExpression":
|
|
30384
|
-
return expr.expressions.map((e) => transpileExpression(e, opts)).join(", ")
|
|
30384
|
+
return `(${expr.expressions.map((e) => transpileExpression(e, opts)).join(", ")})`;
|
|
30385
30385
|
case "ObjectExpression": {
|
|
30386
30386
|
let acc = null;
|
|
30387
30387
|
const props = [];
|
|
@@ -39964,6 +39964,10 @@ function assertSumArms(arms, parent, constraint, opts, phi2) {
|
|
|
39964
39964
|
);
|
|
39965
39965
|
let sawUnprovable = false;
|
|
39966
39966
|
for (const arm of arms) {
|
|
39967
|
+
if (isOobUndef(arm)) {
|
|
39968
|
+
if (!constraintAdmitsNullish(constraint)) sawUnprovable = true;
|
|
39969
|
+
continue;
|
|
39970
|
+
}
|
|
39967
39971
|
if (isNullishLitAbs(arm)) {
|
|
39968
39972
|
if (!constraintAdmitsNullish(constraint)) {
|
|
39969
39973
|
return disproved(
|
|
@@ -39989,6 +39993,9 @@ function assertSumArms(arms, parent, constraint, opts, phi2) {
|
|
|
39989
39993
|
return sawUnprovable ? unprovable("sum: some arms unprovable") : proved();
|
|
39990
39994
|
}
|
|
39991
39995
|
function assertImpliesSingle(arm, constraint, opts, phi2) {
|
|
39996
|
+
if (isOobUndef(arm)) {
|
|
39997
|
+
return constraintAdmitsNullish(constraint) ? proved() : unprovable("out-of-bounds marker arm (abstract index may miss) \u2014 length fact lost");
|
|
39998
|
+
}
|
|
39992
39999
|
if (isNullishLitAbs(arm)) {
|
|
39993
40000
|
return constraintAdmitsNullish(constraint) ? proved() : disproved(`nullish return \u22AD ${formatConstraint(constraint)}`);
|
|
39994
40001
|
}
|
|
@@ -40194,6 +40201,7 @@ var init_postcondition = __esm({
|
|
|
40194
40201
|
init_pred();
|
|
40195
40202
|
init_constraint();
|
|
40196
40203
|
init_surface();
|
|
40204
|
+
init_state();
|
|
40197
40205
|
init_domain_membership();
|
|
40198
40206
|
init_objects();
|
|
40199
40207
|
init_term();
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "nudojs",
|
|
3
|
-
"version": "1.3.
|
|
3
|
+
"version": "1.3.7",
|
|
4
4
|
"engines": {
|
|
5
5
|
"node": ">=20"
|
|
6
6
|
},
|
|
@@ -46,11 +46,11 @@
|
|
|
46
46
|
"dependencies": {
|
|
47
47
|
"@babel/generator": "^8.0.6",
|
|
48
48
|
"@babel/types": "^8.0.6",
|
|
49
|
-
"@nudojs/core": "1.7.
|
|
50
|
-
"@nudojs/env": "0.4.
|
|
51
|
-
"@nudojs/harvester": "0.3.
|
|
52
|
-
"@nudojs/parser": "1.4.
|
|
53
|
-
"@nudojs/service": "1.6.
|
|
49
|
+
"@nudojs/core": "1.7.6",
|
|
50
|
+
"@nudojs/env": "0.4.21",
|
|
51
|
+
"@nudojs/harvester": "0.3.7",
|
|
52
|
+
"@nudojs/parser": "1.4.3",
|
|
53
|
+
"@nudojs/service": "1.6.6",
|
|
54
54
|
"commander": "^15.0.0"
|
|
55
55
|
},
|
|
56
56
|
"devDependencies": {
|