lemmascript - npm Package Compare versions

Comparing version 0.5.17 to 0.5.18

package.json

 {
   "name": "lemmascript",
-  "version": "0.5.17",
+  "version": "0.5.18",
   "description": "A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS",
@@ -5,0 +5,0 @@ "type": "module",

tools/dist/narrow.js

@@ -37,2 +37,3 @@ /**
  */
+import { isTerminatorKind } from "./typedir.js";
 import { freshName } from "./names.js";
@@ -922,4 +923,3 @@ // ── Optional-check detection ────────────────────────────────
         return false;
-    const last = stmts[stmts.length - 1];
-    return last.kind === "return" || last.kind === "throw" || last.kind === "break" || last.kind === "continue";
+    return isTerminatorKind(stmts[stmts.length - 1].kind);
 }
@@ -926,0 +926,0 @@ /** Rule (list-level): consecutive `if (x.kind === "v") ...` chain → tagMatch.

tools/dist/typedir.js

@@ -47,1 +47,7 @@ /**
 }
+/** Statement kinds that unconditionally leave the enclosing block. Shared by
+ *  resolve (block-tail narrowing) and narrow (isTerminating); works on raw and
+ *  typed IR alike since both use these kind strings. */
+export function isTerminatorKind(kind) {
+    return kind === "return" || kind === "throw" || kind === "break" || kind === "continue";
+}

No alert changes

Improved metrics

Total package byte prevSize

646062

0.08%

Lines of code

12579

0.07%

No dependency changes