@fraczak/k 2.1.6 → 3.0.1

package/test-filters.mjs

@@ -0,0 +1,45 @@
+import {  unify_with_code } from './filters.mjs';
+import k from './index.mjs';
+// { compile, run, parse, annotate };
+
+const annotated = k.annotate(`
+  $nat = < {} _, nat s >;
+  $pair = { nat x, nat y };
+  $list = < {} empty, { nat x, list xs } list>;
+  z = {{} _} $nat;
+  s = { $nat s} $nat;
+  f1 = ? { n x, ...};
+  f2 = ? { <...> y, ...};
+  f3 = ? < x empty, { $MWqNxWxHMy xs, ...} list >;
+  {} 
+  `);
+
+
+
+// console.log(JSON.stringify(annotated, null, 2));
+
+
+
+const test1 = unify_with_code(
+  annotated.codes, 
+  annotated.representatives["pair"], 
+  annotated.rels['f1'][0].filter,
+  {}
+);
+console.log(JSON.stringify(test1, null, 2));
+
+const test2 = unify_with_code(
+  annotated.codes, 
+  annotated.representatives["pair"], 
+  annotated.rels['f2'][0].filter,
+  {}
+);
+console.log(JSON.stringify(test2, null, 2));
+
+const test3 = unify_with_code(
+  annotated.codes, 
+  annotated.representatives["list"], 
+  annotated.rels['f3'][0].filter,
+  {}
+);
+console.log(JSON.stringify(test3, null, 2));

package/test-fingerprint.mjs

@@ -0,0 +1,38 @@
+import k from './index.mjs';
+import { encodeCodeToString } from './codes.mjs';
+import hash from './hash.mjs';
+[
+    `
+    $nat = < {} zero, nat succ>;
+    $pair = {nat x, nat y};
+    $b = {int"x", bool y};
+    $vector = [int];
+    $tree = <{nat value, tree left, tree right} binary, {nat value} leaf, {nat value, tree tree} unary, [tree] list_of_trees>;
+  
+    succ = { $nat succ} $nat;
+    plus = $pair <
+      {.x.zero stop, .y result} .result,
+      {.x.succ x, .y succ y } plus
+    > $nat;
+  {{} zero} succ succ {() x, () y} plus
+    `     
+  ].map(function (script) {
+    console.log(`k_expression = '${script}';`);
+    const annotated = k.annotate(script);
+    for (const code in annotated.codes) {
+      console.log(`CODE: ${code}`);
+      const s = encodeCodeToString(code,annotated.codes);
+      console.log(` - DEFS: ${s}`);;
+      const annotated2 = k.annotate(s+" {}");;
+      const s2 = encodeCodeToString(annotated2.representatives["C0"],annotated2.codes);
+      console.log(` - reparsed FINGERPRINT: ${hash(s2)}`);
+      if ((s === s2) && (hash(s) === hash(s2))) {
+        console.log('--- OK');
+      } else {
+        console.log('--- ERROR');
+      }
+
+      console.log('-------------------');
+    }
+  });
+  

package/test.mjs

@@ -34,7 +34,7 @@ import k from "./index.mjs";
 });
 
 let k_expression =
-  '{.name nom, <[.age, 18] GT .0, [.age, 12] GT "ado", "enfant"> age}';
+  '{.name nom, <[.age, 18] GT "old", [.age, 12] GT "ado", "enfant"> age}';
 
 let k_fn = k.compile(k_expression);
 
@@ -61,48 +61,6 @@ console.log("");
   return console.log("");
 });
 
-k_expression = "$t = < i: int, t: [ t ] > ; <$t, $int>";
-
-k_fn = k.compile(k_expression);
-
-console.log(`var k_fn = k.compile('${k_expression}');`);
-
-console.log("");
-
-[
-  1,
-  {
-    i: 1,
-  },
-  [
-    {
-      i: 2,
-    },
-    {
-      i: 3,
-    },
-    {
-      t: [],
-    },
-  ],
-  {
-    t: [
-      {
-        i: 2,
-      },
-      {
-        i: 3,
-      },
-      {
-        t: [],
-      },
-    ],
-  },
-].map(function (data) {
-  console.log(`k_fn(${JSON.stringify(data)});`);
-  console.log(`// RETURNS: ${JSON.stringify(k_fn(data))}`);
-  return console.log("");
-});
 
 k_expression = "$ < < [ int ] ints, [ bool ] bools > list, string None>";