@fraczak/k 6.10.1 → 6.10.2

package/CHANGELOG.md

@@ -5,6 +5,15 @@ All notable changes to this project will be documented here.
 The format follows [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 This project uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [6.10.2] — 2026-10-03 — Stack-Safe Value Serializer for REPL and Web REPL
+
+### REPL & Codecs
+
+- **Stack-Safe `valueToK()` Serializer**: Rewrote `valueToK()` in `codecs/runtime/show-value.mjs` using an explicit iterative worklist stack instead of JavaScript call-stack recursion. This prevents `RangeError: Maximum call stack size exceeded` crashes when displaying or previewing large, deep data structures (such as long lists) in the terminal REPL and Web REPL (`repl.html`).
+- **Web REPL Tests**: Added end-to-end browser tests in `tests/test-repl-html.mjs` verifying list sorting (`poly.k`) and 10,000-element tail-loop compaction in `repl.html` under the `wasm` engine.
+
+---
+
 ## [6.10.1] — 2026-10-02 — Fix Compaction Mark Reset and False Tail Calls in LLVM & WASM Backends
 
 ### LLVM & WebAssembly Backends

package/codecs/runtime/show-value.mjs

@@ -49,24 +49,76 @@ function propertyListToFilter(propertyList, varPrefix = "X") {
   return fmt(0);
 }
 
-function valueToK(v) {
-  if (isVariant(v)) {
-    const tags = [];
-    let curr = v;
-    while (isVariant(curr)) {
-      tags.push(pLabel(curr.tag).trimStart());
-      curr = curr.value;
+function valueToK(root) {
+  let result = "";
+  const stack = [{
+    val: root,
+    assign(s) { result = s; }
+  }];
+
+  while (stack.length > 0) {
+    const frame = stack.pop();
+    if (frame.finishProduct) {
+      frame.assign(`{${frame.parts.join(", ")}}`);
+      continue;
     }
-    const base = valueToK(curr);
-    return tags.length === 0 ? base : `${base}|${tags.reverse().join("|")}`;
-  }
-  if (isProduct(v)) {
-    const keys = Object.keys(v.product);
-    if (keys.length === 0) return "{}";
-    const fields = keys.map((k) => `${valueToK(v.product[k])}${pLabel(k)}`);
-    return `{${fields.join(", ")}}`;
+    if (frame.finishVariant) {
+      const base = frame.base;
+      const tags = frame.tags;
+      frame.assign(tags.length === 0 ? base : `${base}|${tags.reverse().join("|")}`);
+      continue;
+    }
+
+    const v = frame.val;
+    if (isVariant(v)) {
+      const tags = [];
+      let curr = v;
+      while (isVariant(curr)) {
+        tags.push(pLabel(curr.tag).trimStart());
+        curr = curr.value;
+      }
+      const finishFrame = {
+        finishVariant: true,
+        tags,
+        base: "",
+        assign: frame.assign
+      };
+      stack.push(finishFrame);
+      stack.push({
+        val: curr,
+        assign(s) { finishFrame.base = s; }
+      });
+      continue;
+    }
+
+    if (isProduct(v)) {
+      const keys = Object.keys(v.product);
+      if (keys.length === 0) {
+        frame.assign("{}");
+        continue;
+      }
+      const parts = new Array(keys.length);
+      const finishFrame = {
+        finishProduct: true,
+        parts,
+        assign: frame.assign
+      };
+      stack.push(finishFrame);
+      for (let i = keys.length - 1; i >= 0; i--) {
+        const k = keys[i];
+        const label = pLabel(k);
+        stack.push({
+          val: v.product[k],
+          assign(s) { parts[i] = `${s}${label}`; }
+        });
+      }
+      continue;
+    }
+
+    frame.assign(String(v));
   }
-  return String(v);
+
+  return result;
 }
 
 function valueWithEnvelopeToK(value) {

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@fraczak/k",
-    "version": "6.10.1",
+    "version": "6.10.2",
     "description": "k — a language for composing first-order partial functions over algebraic data types (products and tagged unions); includes runtime, type derivation, REPL, and codec toolchain",
     "main": "index.mjs",
     "exports": {

package/tests/test-repl-html.mjs

@@ -358,6 +358,25 @@ if (chromiumBin) {
     })()`);
     assert(ieeeResult.includes('ieee.mjs: 3.14159'), `Expected ieee.mjs: 3.14159, got: ${ieeeResult}`);
 
+    // Test :load poly.k and evaluate '10 int (gen_list sort)' in WASM mode
+    const sortListResult = await evaluateAsync(`(async () => {
+      await window.kRepl.executeCommand(":reset");
+      await window.kRepl.executeCommand(":load arithmetics.k");
+      await window.kRepl.executeCommand(":load poly.k");
+      await window.kRepl.executeCommand(":codec load int.mjs");
+      await window.kRepl.executeCommand("10 int (gen_list sort)");
+      const lines = Array.from(document.querySelectorAll(".entry-line")).map(el => el.textContent);
+      return lines[lines.length - 1];
+    })()`);
+    assert(sortListResult.includes('int.mjs: [0,1,2,3,4,5,6,7,8,9,10]'), `Expected sorted int list in browser REPL output, got: ${sortListResult}`);
+
+    // Test deep tail-loop list generation and compaction (10,000 elements) in browser WASM mode
+    const deepWasmResult = await evaluateAsync(`(async () => {
+      await window.kRepl.executeCommand("{{{10 int x, 10 int y} times x, 10 int y} times x, 10 int y} times (gen_list car)");
+      const lines = Array.from(document.querySelectorAll(".entry-line")).map(el => el.textContent);
+      return lines[lines.length - 1];
+    })()`);
+    assert(deepWasmResult.includes('int.mjs: 0'), `Expected 0 from car of 10,000-element list in browser REPL, got: ${deepWasmResult}`);
 
     // Verify text selection holds in output element
     const selectionCheck = await evaluateAsync(`(() => {