@fraczak/k 6.4.0 → 6.6.0

package/CHANGELOG.md

@@ -7,6 +7,23 @@ This project uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ---
 
+## [6.5.0] — 2026-09-22 — Tail-loop arena compaction & OOM diagnostics
+
+### WebAssembly Backend
+
+- Added threshold-based arena compaction in self-tail-recursive loops to reclaim dead scratch space, allowing deep computations (e.g. multi-thousand-bit arithmetic) without exhausting linear memory.
+- Added explicit Out-Of-Memory error reporting (`OutOfMemoryError`), tracking allocation failure and 32-bit offset overflow via exported runtime globals.
+
+### Runtime & REPL
+
+- Replaced recursive traversal in `codecs/runtime/show-value.mjs` and `Value.mjs` with iterative loops, eliminating `Maximum call stack size exceeded` errors when rendering deep variant chains.
+
+### Examples
+
+- Converted arithmetic helper functions in `Examples/arithmetics.k` to tail-recursive relations.
+
+---
+
 ## [6.2.3] — 2026-06-03 — Unified k compiler output
 
 ### Toolchain

package/Examples/arithmetics.k

@@ -39,22 +39,33 @@ empty? = {empty /yes if, () then} .then;
 concat = ${bits x, bits y} {.x inv x, .y y} concat_; 
 concat_ = ${bits x, bits y} 
   < 
-    {.x /0 x, .y |0  y} concat_, 
-    {.x /1 x, .y |1 y} concat_, 
-    .y 
+    {.x empty? if, .y then} .then,
+    < 
+      {.x /0 x, .y |0 y}, 
+      {.x /1 x, .y |1 y}
+    > concat_ 
   >;
 inv = {()x, 0b r} _inv; 
-_inv = ${bits x, bits r} < {.x /0 x, .r |0  r} _inv, {.x /1 x, .r |1 r} _inv, .r >;
+_inv = ${bits x, bits r} 
+  < 
+    {.x empty? if, .r then} .then,
+    < 
+      {.x /0 x, .r |0 r}, 
+      {.x /1 x, .r |1 r}
+   > _inv
+  >;
 
 inOrder = ${bits x, bits y} {.x inv x, .y inv y, yes inOrder} inOrder_;
 inOrder_ = ${bits x, bits y, yes_no inOrder} 
   < 
-    {.x /0 x, .y /0 y, .inOrder inOrder} inOrder_, 
-    {.x /1 x, .y /1 y, .inOrder inOrder} inOrder_,
-    {.x /0 x, .y /1 y, .inOrder inOrder} inOrder_, 
-    {.x /1 y, .y /0 x, .inOrder swap_yes_no inOrder} inOrder_, 
-    {.x </0,/1> if, .inOrder swap_yes_no then} .then, 
-    .inOrder
+    {.x </0,/1> if1, .y /_ if2, .inOrder swap_yes_no then} .then,
+    {.x /_ if, .inOrder then} .then,
+    < 
+      {.x /0 x, .y /0 y, .inOrder inOrder}, 
+      {.x /1 x, .y /1 y, .inOrder inOrder},
+      {.x /0 x, .y /1 y, .inOrder inOrder}, 
+      {.x /1 y, .y /0 x, .inOrder swap_yes_no inOrder}
+    > inOrder_
   >;
 
 GT = {inOrder /no if, () then} . then;
@@ -63,18 +74,21 @@ EQ = GT {.x y, .y x} GT;
 
 toBitList = {inv x, nil r} _toBitList; 
 _toBitList = < 
-  {.x empty? if, .r then }.then, 
-  {.x /0 x, {0 car, .r cdr} cons r} _toBitList, 
-  {.x /1 x, {1 car, .r cdr} cons r} _toBitList 
+  {.x empty? if, .r then}.then, 
+  <
+    {.x /0 x, {0 car, .r cdr} cons r}, 
+    {.x /1 x, {1 car, .r cdr} cons r}
+  > _toBitList 
 >;
-fromBitList =
-< 
-  cdr <
-    {car /0 if, cdr fromBitList |0  then} .then, 
-    {car /1 if, cdr fromBitList |1 then} .then
-  >, 
-  0b
-> $bits;
+fromBitList = {() l, 0b r} _fromBitList inv $bits;
+_fromBitList =
+  <
+    {.l nil? if, .r then} .then,
+    <
+      {.l car /0 if, {.l cdr l, .r |0 r} then} .then,
+      {.l car /1 if, {.l cdr l, .r |1 r} then} .then
+    > _fromBitList
+  >;
 
 --------------------------------------
 $ int = < bits '+', bits '-' >;
@@ -99,9 +113,9 @@ inc = $int <
 > $int;
 
 _inc = ${bits x, bits y} <
+    {.x empty? if, .y |1 then} .then,
     {.x /0 x, .y |1 y} concat_, 
-    {.x /1 x, .y |0  y} _inc,
-    .y |1
+    {.x /1 x, .y |0  y} _inc
 >; 
 
 dec = $int <
@@ -149,38 +163,44 @@ _plus_ =
     {.x empty? if, .y empty? and, {.r x, 1 r} _inv then} .then,
     {.x empty? if, .c/0 and, {.r x, .y r} _inv then} .then,
 
-    {.x y, .y empty? x, .c c, .r r} _plus_,
-    {<.c/0 0, 1> x, 
-              .y y, .x empty? c0 c, .r r} _plus_,
+    <
+      {.x y, .y empty? x, .c c, .r r},
+      {<.c/0 0, 1> x, .y y, .x empty? c0 c, .r r},
 
-    {.x /0 x, .y /0 y, .c/0 c0 c, .r |0 r} _plus_,
-    {.x /0 x, .y /0 y, .c/1 c0 c, .r |1 r} _plus_,
+      {.x /0 x, .y /0 y, .c/0 c0 c, .r |0 r},
+      {.x /0 x, .y /0 y, .c/1 c0 c, .r |1 r},
 
-    {.x /0 x, .y /1 y, .c/0 c0 c, .r |1 r} _plus_,
-    {.x /0 x, .y /1 y, .c/1 c1 c, .r |0 r} _plus_,
-    {.x /1 x, .y /0 y, .c/0 c0 c, .r |1 r} _plus_,
-    {.x /1 x, .y /0 y, .c/1 c1 c, .r |0 r} _plus_,
+      {.x /0 x, .y /1 y, .c/0 c0 c, .r |1 r},
+      {.x /0 x, .y /1 y, .c/1 c1 c, .r |0 r},
+      {.x /1 x, .y /0 y, .c/0 c0 c, .r |1 r},
+      {.x /1 x, .y /0 y, .c/1 c1 c, .r |0 r},
 
-    {.x /1 x, .y /1 y, .c/0 c1 c, .r |0 r} _plus_,
-    {.x /1 x, .y /1 y, .c/1 c1 c, .r |1 r} _plus_
+      {.x /1 x, .y /1 y, .c/0 c1 c, .r |0 r},
+      {.x /1 x, .y /1 y, .c/1 c1 c, .r |1 r}
+    > _plus_
   >
 ;
 
-_minus =
-  -- least significat bit first substraction with carry
-  ${bits x, bits y, carry c}
+_minus = {.x x, .y y, .c c, 0b r} _minus_;
+
+_minus_ =
+  -- least significant bit first substraction with carry
+  ${bits x, bits y, carry c, bits r}
   <
-    {.x then, .y empty? if, .c/0 and} .then,
-    {.x/1 then, .y empty? if, .c/1 and} .then |0,
-    {.x/0 x, .y empty? y, .c/1 c1 c} _minus |1,
-    {.x/0 x, .y/0   y, .c/0 c0 c} _minus |0,
-    {.x/0 x, .y/0   y, .c/1 c1 c} _minus |1,  
-    {.x/0 x, .y/1   y, .c/0 c1 c} _minus |1,
-    {.x/0 x, .y/1   y, .c/1 c1 c} _minus |0,
-    {.x/1 x, .y/0   y, .c/0 c0 c} _minus |1,
-    {.x/1 x, .y/0   y, .c/1 c0 c} _minus |0,
-    {.x/1 x, .y/1   y, .c/0 c0 c} _minus |0,
-    {.x/1 x, .y/1   y, .c/1 c1 c} _minus |1
+    {.y empty? if, .c/0 and, {.r x, .x r} _inv then} .then,
+    <
+      {.x/0 x, .y empty? y, .c/1 c1 c, .r |1 r},
+      {.x/1 x, .y empty? y, .c/1 c0 c, .r |0 r},
+
+      {.x/0 x, .y/0   y, .c/0 c0 c, .r |0 r},
+      {.x/0 x, .y/0   y, .c/1 c1 c, .r |1 r},  
+      {.x/0 x, .y/1   y, .c/0 c1 c, .r |1 r},
+      {.x/0 x, .y/1   y, .c/1 c1 c, .r |0 r},
+      {.x/1 x, .y/0   y, .c/0 c0 c, .r |1 r},
+      {.x/1 x, .y/0   y, .c/1 c0 c, .r |0 r},
+      {.x/1 x, .y/1   y, .c/0 c0 c, .r |0 r},
+      {.x/1 x, .y/1   y, .c/1 c1 c, .r |1 r}
+    > _minus_
   >
 ;
 
@@ -212,16 +232,18 @@ _times =
   ${bits result, bits _x, bits y}
   <
     { .y empty? if, .result then } .then,
-    { 
-      .result |0  result, 
-      ._x _x, 
-      .y /0 y
-    } _times,
-    { 
-      {._x x, .result |0  y, c0 c } _plus result, 
-      ._x _x, 
-      .y /1 y 
-    } _times
+    <
+      { 
+        .result |0  result, 
+        ._x _x, 
+        .y /0 y
+      },
+      { 
+        {._x x, .result |0  y, c0 c } _plus result, 
+        ._x _x, 
+        .y /1 y 
+      }
+    > _times
   >
 ;
 
@@ -327,17 +349,18 @@ lcm =
   {{.x int x, .y int y} times x, gcd int y} div .div abs
 ;
 
- factorial = <
-  zero_int? 1 int,
-  /"+" int {dec factorial x, () y} times
+factorial = {()n, 1 int acc} factorial_;
+factorial_ =  <
+  {.n zero_int? if, .acc then} .then,
+  {.n pos? dec n, {.n x, .acc y} times acc} factorial_
 >;
 
 fib_ =
   <
+    {.n int zero_int? if, ."fib(n),fib(n.1)" then} .then,
     { .n int dec /"+" n,
       ."fib(n),fib(n.1)" {plus x, .x y} "fib(n),fib(n.1)"
-    } fib_,
-    ."fib(n),fib(n.1)"
+    } fib_
   >
 ;
 

package/Value.mjs

@@ -176,8 +176,14 @@ class Value {
 
   toString() {
     if (isVariant(this)) {
-      // return `{${JSON.stringify(this.tag)}:${this.value.toString()}}`;
-      return `${this.value.toString()}|${pLabel(this.tag)}`;
+      const tags = [];
+      let curr = this;
+      while (isVariant(curr)) {
+        tags.push(pLabel(curr.tag));
+        curr = curr.value;
+      }
+      const base = curr ? curr.toString() : "";
+      return tags.length === 0 ? base : `${base}|${tags.reverse().join("|")}`;
     }
     if (isProduct(this)) {
       return `{${Object.entries(this.product).map(([k, v]) => `${JSON.stringify(k)}:${v.toString()}`).join(',')}}`;

package/backends/arm64/src/runtime.c

@@ -5,7 +5,21 @@
 #include <string.h>
 #include <time.h>
 
-#define ARENA_CAPACITY (64 * 1024 * 1024)
+#define DEFAULT_ARENA_CAPACITY (256 * 1024 * 1024)
+
+static int parse_size_arg(const char *text, size_t *out);
+
+static size_t get_arena_capacity(void) {
+  const char *env = getenv("K_ARENA_CAPACITY_MB");
+  if (!env || !*env) env = getenv("K_ARENA_MB");
+  if (env && *env) {
+    size_t mb = 0;
+    if (parse_size_arg(env, &mb) && mb > 0) {
+      return mb * 1024 * 1024;
+    }
+  }
+  return DEFAULT_ARENA_CAPACITY;
+}
 
 typedef enum {
   K_VALUE_UNIT,
@@ -601,8 +615,10 @@ static int run_bench_main(void *arena_mem, const char *count_text) {
 int main(int argc, char **argv) {
   init_tag_registry();
 
+  size_t arena_capacity = get_arena_capacity();
+
   if (argc == 2 && strcmp(argv[1], "--server") == 0) {
-    void *arena_mem = malloc(ARENA_CAPACITY);
+    void *arena_mem = malloc(arena_capacity);
     if (!arena_mem) return 1;
     int rc = run_server(arena_mem);
     free(arena_mem);
@@ -610,7 +626,7 @@ int main(int argc, char **argv) {
   }
 
   if (argc == 3 && strcmp(argv[1], "--bench-main") == 0) {
-    void *arena_mem = malloc(ARENA_CAPACITY);
+    void *arena_mem = malloc(arena_capacity);
     if (!arena_mem) return 1;
     int rc = run_bench_main(arena_mem, argv[2]);
     free(arena_mem);
@@ -647,7 +663,7 @@ int main(int argc, char **argv) {
     }
   }
 
-  void *arena_mem = malloc(ARENA_CAPACITY);
+  void *arena_mem = malloc(arena_capacity);
   if (!arena_mem) {
     if (in_fp != stdin) fclose(in_fp);
     return 1;

package/backends/arm64/tests/integration.sh

@@ -105,7 +105,7 @@ node "$K_ROOT/backends/arm64/bin/k-arm64-compile.mjs" \
   '{succ int x,int y}+' \
   -o "$TMP_DIR/lib-add"
 
-node "$K_ROOT/codecs/k-parse.mjs" <<< '{"x":{"succ":"zero"},"y":{"succ":{"succ":"zero"}}}' |
+node "$K_ROOT/codecs/k-parse.mjs" <<< '{"x":{"0":"_"},"y":{"+":{"0":"_"}}}' |
   "$TMP_DIR/lib-add" --json |
   grep -Fxq '{"+":{"1":"_"}}'