@fraczak/k 7.2.0 → 8.0.0

package/tests/test-repl-html.mjs

@@ -140,6 +140,11 @@ if (chromiumBin) {
     const expectedFiles = [
       "arithmetics.k",
       "core.k",
+      "djson-btrie.k",
+      "djson-btrie.mjs",
+      "djson-ptrie.k",
+      "djson-ptrie.mjs",
+      "djson.k",
       "djson.mjs",
       "ieee.k",
       "ieee.mjs",
@@ -522,9 +527,9 @@ if (chromiumBin) {
       const v4Collapsed = v4 ? !v4.open : false;
 
       // Click Expand All
-      const actionBtns = lastEntry.querySelectorAll(".k-btn-action");
-      const expandBtn = actionBtns[0];
-      const collapseBtn = actionBtns[1];
+      const toolbarActionBtns = lastEntry.querySelectorAll(".k-output-toolbar .k-btn-action");
+      const expandBtn = toolbarActionBtns[0];
+      const collapseBtn = toolbarActionBtns[1];
 
       expandBtn.click();
       const allOpenAfterExpand = v4.open;
@@ -536,13 +541,48 @@ if (chromiumBin) {
       );
       const v4CollapsedAgain = newV4 ? !newV4.open : false;
 
+      // Verify Copy buttons on Value and Pattern section headers
+      const patSection = lastEntry.querySelector(".k-tree-pat-section");
+      const copyValBtn = valSection?.querySelector("summary.k-tree-section-summary > .k-btn-copy-value");
+      const copyPatBtn = patSection?.querySelector("summary.k-tree-section-summary > .k-btn-copy-pattern");
+
+      const copiedTexts = [];
+      const origWriteText = navigator.clipboard?.writeText;
+      if (navigator.clipboard) {
+        navigator.clipboard.writeText = async (txt) => { copiedTexts.push(txt); };
+      } else {
+        Object.defineProperty(navigator, "clipboard", {
+          value: { writeText: async (txt) => { copiedTexts.push(txt); } },
+          configurable: true
+        });
+      }
+
+      const valOpenBefore = valSection?.open;
+      copyValBtn?.click();
+      const valOpenAfter = valSection?.open;
+
+      const patOpenBefore = patSection?.open;
+      copyPatBtn?.click();
+      const patOpenAfter = patSection?.open;
+
+      if (origWriteText && navigator.clipboard) {
+        navigator.clipboard.writeText = origWriteText;
+      }
+
       return {
         v1Open,
         v2Open,
         v3Open,
         v4Collapsed,
         allOpenAfterExpand,
-        v4CollapsedAgain
+        v4CollapsedAgain,
+        toolbarBtnCount: toolbarActionBtns.length,
+        hasCopyValBtn: !!copyValBtn,
+        hasCopyPatBtn: !!copyPatBtn,
+        valDidNotToggle: valOpenBefore === valOpenAfter,
+        patDidNotToggle: patOpenBefore === patOpenAfter,
+        copiedValText: copiedTexts[0] || "",
+        copiedPatText: copiedTexts[1] || ""
       };
     })()`);
 
@@ -552,6 +592,13 @@ if (chromiumBin) {
     assert.strictEqual(variantDepthAndActionsCheck.v4Collapsed, true, "Variant level 4 must be collapsed by default");
     assert.strictEqual(variantDepthAndActionsCheck.allOpenAfterExpand, true, "Expand button should expand collapsed nodes");
     assert.strictEqual(variantDepthAndActionsCheck.v4CollapsedAgain, true, "Collapse button should reset deeper nodes to collapsed");
+    assert.strictEqual(variantDepthAndActionsCheck.toolbarBtnCount, 2, "Toolbar action group should only have Expand and Collapse buttons");
+    assert.strictEqual(variantDepthAndActionsCheck.hasCopyValBtn, true, "Value section summary should have Copy button");
+    assert.strictEqual(variantDepthAndActionsCheck.hasCopyPatBtn, true, "Pattern section summary should have Copy button");
+    assert.strictEqual(variantDepthAndActionsCheck.valDidNotToggle, true, "Clicking Value Copy button should not toggle Value details");
+    assert.strictEqual(variantDepthAndActionsCheck.patDidNotToggle, true, "Clicking Pattern Copy button should not toggle Pattern details");
+    assert.strictEqual(variantDepthAndActionsCheck.copiedValText, "{}|_|0|1|0|1", "Value Copy button should copy K value definition");
+    assert(variantDepthAndActionsCheck.copiedPatText.startsWith("?<"), `Pattern Copy button should copy K pattern filter definition, got: ${variantDepthAndActionsCheck.copiedPatText}`);
 
     // 4. Verify shortened welcome banner
     const bannerCheck = await evaluateAsync(`(() => {

package/tests/test-repl.mjs

@@ -581,6 +581,196 @@ assert.equal(output[0], "output limit disabled");
 output = await evaluateInput(":limit", limitState);
 assert.equal(output[0], "Current output limit: none");
 
+// Verify Examples/djson.k (json?, dot, has_key?, keys, values, remove, put)
+const jsonKState = createState({ engine: "wasm" });
+output = await evaluateInput(":load Examples/djson.k", jsonKState);
+assert.equal(output[0], "loaded Examples/djson.k");
+await evaluateInput(":codec load codecs/djson.mjs", jsonKState);
+await evaluateInput(
+  ':input djson.mjs {"name":"Alice","age":30,"active":true}',
+  jsonKState
+);
+output = await evaluateInput(
+  "{/object cdr car .key key, /object object} dot",
+  jsonKState
+);
+assert.match(output[0], /djson\.mjs: 30/);
+
+await evaluateInput(
+  ':input djson.mjs {"name":"Alice","age":30}',
+  jsonKState
+);
+output = await evaluateInput(
+  "{/object car .key key, /object object} remove object",
+  jsonKState
+);
+assert.match(output[0], /djson\.mjs: \{"name":"Alice"\}/);
+
+// Verify Examples/djson-btrie.k (json?, dot, nth, put, remove)
+const btrieState = createState({ engine: "wasm" });
+output = await evaluateInput(":load Examples/djson-btrie.k", btrieState);
+assert.equal(output[0], "loaded Examples/djson-btrie.k");
+await evaluateInput(":codec load codecs/djson-btrie.mjs", btrieState);
+await evaluateInput(
+  ':input djson-btrie.mjs ["age", {"name":"Alice","age":30}]',
+  btrieState
+);
+output = await evaluateInput(
+  "{{0 index, /list list} nth /string key, " +
+    "{1 index, /list list} nth /object object} dot",
+  btrieState
+);
+assert.match(output[0], /djson-btrie\.mjs: 30/);
+
+await evaluateInput(
+  ':input djson-btrie.mjs ["age", {"name":"Alice","age":30}]',
+  btrieState
+);
+output = await evaluateInput(
+  "{{0 index, /list list} nth /string key, " +
+    "{1 index, /list list} nth /object object} remove object",
+  btrieState
+);
+assert.match(output[0], /djson-btrie\.mjs: \{"name":"Alice"\}/);
+
+// Verify Examples/djson-ptrie.k (json?, dot, nth, list_size, obj_size)
+const ptrieState = createState({ engine: "wasm" });
+output = await evaluateInput(":load Examples/djson-ptrie.k", ptrieState);
+assert.equal(output[0], "loaded Examples/djson-ptrie.k");
+await evaluateInput(":codec load codecs/djson-ptrie.mjs", ptrieState);
+await evaluateInput(
+  ':input djson-ptrie.mjs ["age", {"name":"Alice","age":30}]',
+  ptrieState
+);
+output = await evaluateInput(
+  "{{0 index, /list list} nth /string key, " +
+    "{1 index, /list list} nth /object object} dot",
+  ptrieState
+);
+assert.match(output[0], /djson-ptrie\.mjs: 30/);
+
+// Verify named pattern persistence, listing, display, and tab completion
+const patState = createState({ engine: "wasm" });
+
+output = await evaluateInput(":patterns", patState);
+assert.equal(output[0], "(none)");
+output = await evaluateInput(":pats", patState);
+assert.equal(output[0], "(none)");
+
+output = await evaluateInput("bit[] = < {} 0, {} 1 >;", patState);
+assert.match(output[0], /\/\* comp:/);
+
+output = await evaluateInput(":patterns", patState);
+assert.equal(output[0], "bit[]");
+output = await evaluateInput(":pats", patState);
+assert.equal(output[0], "bit[]");
+
+output = await evaluateInput(":pattern bit", patState);
+assert.equal(
+  output[0],
+  "bit[] = <{} 0, {} 1>;  -- " +
+    "@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"
+);
+output = await evaluateInput(":pattern bit[]", patState);
+assert.equal(
+  output[0],
+  "bit[] = <{} 0, {} 1>;  -- " +
+    "@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"
+);
+output = await evaluateInput(":pat bit", patState);
+assert.equal(
+  output[0],
+  "bit[] = <{} 0, {} 1>;  -- " +
+    "@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"
+);
+output = await evaluateInput(
+  ":pattern @MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg",
+  patState
+);
+assert.equal(
+  output[0],
+  "bit[] = <{} 0, {} 1>;  -- " +
+    "@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"
+);
+
+await assert.rejects(
+  () => evaluateInput(":pattern unknown", patState),
+  /Unknown pattern 'unknown'/
+);
+await assert.rejects(
+  () => evaluateInput(":pattern", patState),
+  /:pattern requires a pattern name/
+);
+
+completions = completeInput(":pat", patState)[0];
+assert(completions.includes(":pattern"));
+assert(completions.includes(":patterns"));
+assert(completions.includes(":pat"));
+assert(completions.includes(":pats"));
+
+completions = completeInput(":pattern b", patState)[0];
+assert(completions.includes(":pattern bit"));
+completions = completeInput(":pat b", patState)[0];
+assert(completions.includes(":pat bit"));
+completions = completeInput(":pattern @Mjusy", patState)[0];
+assert(
+  completions.includes(
+    ":pattern @MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"
+  )
+);
+
+output = await evaluateInput("{} | 0 ? bit[]", patState);
+assert.match(output[0], /\{\}\|0/);
+
+output = await evaluateInput(
+  "pair[A, B] = { A first, B second };",
+  patState
+);
+output = await evaluateInput(":pattern pair", patState);
+assert.equal(
+  output[0],
+  "pair[A, B] = {A first, B second};  -- " +
+    "@KqTBNkznjWWwync2Mm94XjCez63neJBJtgYcJJEE5kEm"
+);
+
+output = await evaluateInput(":load Examples/list.k", patState);
+assert.equal(output[0], "loaded Examples/list.k");
+output = await evaluateInput(":patterns", patState);
+assert(output[0].includes("bit[]"));
+assert(output[0].includes("list[X]"));
+assert(output[0].includes("pair[A, B]"));
+
+output = await evaluateInput(":pattern list", patState);
+assert.equal(
+  output[0],
+  "list[X] = <{} nil, {X car, Y cdr} cons>=Y;  -- " +
+    "@JagVexzgseRr4rVZRmVpsMbr2AKXDjzZnz6Qnf8a9SNe"
+);
+
+output = await evaluateInput("{} | nil ? list[bit[]]", patState);
+assert.match(output[0], /\{\}\|nil/);
+
+const testKlibPath = path.join(tmpDir, "patterns-test.klib");
+output = await evaluateInput(`:klib ${testKlibPath}`, patState);
+assert.equal(output[0], `saved ${testKlibPath}`);
+
+const freshState = createState({ engine: "wasm" });
+output = await evaluateInput(`:load ${testKlibPath}`, freshState);
+assert.equal(output[0], `loaded ${testKlibPath}`);
+output = await evaluateInput(":patterns", freshState);
+assert(output[0].includes("bit[]"));
+assert(output[0].includes("pair[A, B]"));
+assert(output[0].includes("list[X]"));
+
+output = await evaluateInput(":pattern bit", freshState);
+assert.equal(
+  output[0],
+  "bit[] = <{} 0, {} 1>;  -- " +
+    "@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"
+);
+output = await evaluateInput("{} | nil ? list[bit[]]", freshState);
+assert.match(output[0], /\{\}\|nil/);
+
 fs.rmSync(tmpDir, { recursive: true, force: true });
 fs.rmSync(symlinkPath, { force: true });
 console.log("OK");