@fraczak/k 2.1.5 → 3.0.1

package/symbol-table.mjs

@@ -56,7 +56,7 @@ function comp_first(e1, e2) {
   if (is_identity_rel(e1)) return e2;
   if (is_identity_rel(e2)) return e1;
   if (is_empty_rel(e1)) return e1;
-  if (is_empty_rel(e2)) return e2;
+  // if (is_empty_rel(e2)) return e2;
   if (e1.op === "comp" && e2.op === "comp") {
     return {
       op: "comp",
@@ -97,7 +97,7 @@ function union  (rels) {
     const new_rels = rel.op === "union" ? rel.union : [rel];
     for (const new_rel of new_rels) {
       list.push(new_rel);
-      if (is_full_rel(new_rel)) break label;
+      // if (is_full_rel(new_rel)) break label;
     }
   }
   if (list.length === 1) return list[0];

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>";