@fraczak/k 5.1.2 → 6.0.0

package/repl.mjs

@@ -1,213 +0,0 @@
-#!/usr/bin/env node
-import readline from "node:readline";
-import fs from "node:fs";
-
-import k from "./index.mjs";
-import {run, closeVector } from "./run.mjs";
-import { prettyCode, prettyRel, patterns2filters } from "./pretty.mjs";
-import { find } from "./codes.mjs";
-import { exportRelation } from "./export.mjs";
-
-
-let DEBUG_FLAG = false;
-
-console.log("Very! experimental repl shell for 'k-language'...");
-
-const help = function () {
-  console.log(`  --debug        toggle debug flag: [${DEBUG_FLAG?'ON':'OFF'}]`);
-  if (DEBUG_FLAG)
-    console.log("  --load         loads codes and relations as value");
-  console.log("  --c            print aliased codes");
-  console.log("  --C code       print 'code' definition");
-  console.log("  --r            print relations");
-  console.log("  --R rel        print 'rel' definition with type patterns");
-  console.log("  --p (--pp)     pretty-print last value");
-  console.log("  --s (--g) reg  store (get) the current value in (from) register 'reg'");
-  console.log("  --regs         print register names");
-  console.log("  --l file.k     load 'file.k'");
-};
-
-help();
-
-const re__l = /^[ \n\t]*(?:--l[ ]+)(.+)[ ]*?$/;
-const re__s = /^[ \n\t]*(?:--s[ ]+)(.+)[ ]*?$/;
-const re__g = /^[ \n\t]*(?:--g[ ]+)(.+)[ ]*?$/;
-const re__R = /^[ \n\t]*(?:--R[ ]+)(.+)[ ]*?$/;
-const re__C = /^[ \n\t]*(?:--C[ ]+)(.+)[ ]*?$/;
-
-const rl = readline.createInterface({
-  input: process.stdin,
-  output: process.stdout,
-  prompt: '> '
-});
-
-rl.prompt();
-
-rl.on('line', (line) => {
-  evaluate(line);
-  rl.prompt();
-}).on('close', () => {
-  console.log('REPL closed');
-  process.exit(0);
-});
-
-let old_val = k.compile("{}")({});
-let val = old_val;
-const printVal = function (v = val) {
-  if (v === undefined)
-    console.log("...",v);
-  else
-    console.log(`--> ${JSON.stringify(v)}`);
-  rl.setPrompt('> ');
-}
-const registers = {};
-const buffer = [];
-function evaluate(line) {
-  if (line.trim().endsWith('\\')) {
-    buffer.push(line.slice(0, -1));
-    rl.setPrompt('  ');
-    return;
-  }
-  line = [...buffer, line].join('\n');
-  buffer.length = 0;
-  try {
-    if (val === undefined) 
-      val = old_val;
-    else
-      old_val = val;
-    if (line.match(/^[ \n\t]*(?:--h)?$/)) {
-      // --h
-      help();
-    } else if (line.match(/^[ \n\t]*\^$/)) {
-      val = closeVector(val); 
-      printVal();
-      
-    } else if (line.match(re__l)) {
-      // --l 
-      const file = line.match(re__l)[1];
-      console.log(`  ... loading file: ${file} ...`);
-      const kScript = fs.readFileSync(file).toString();
-      console.log(`  Done!`);
-      // console.log(kScript);
-      val = k.compile("+++\n" + kScript + "\n()")(val);
-      printVal();
-      // --debug
-    } else if (line.match(/^[ \n\t]*--debug$/)) {
-      DEBUG_FLAG = ! DEBUG_FLAG;
-      // --load
-    } else if (line.match(/^[ \n\t]*--load$/)) {
-      val = run.defs;
-      console.log(val);
-      // --r
-    } else if (line.match(/^[ \n\t]*(?:--r)?$/)) {
-      console.log("BUILT-IN:", run.builtin);
-      console.log("USER-DEFINED:",
-        (function (defs, result) {
-          if (defs == null) {
-            return result;
-          }
-          
-          for (const relName in defs.rels) {
-            if (relName != "__main__")
-              result[relName] = prettyRel(defs.rels[relName].def);
-          }
-          return result;
-        })(run.defs, {}));
-        // --c
-    } else if (line.match(/^[ \n\t]*(?:--c)?$/)) {
-      console.log(
-        (function (defs, result) {
-          for (const codeName of Object.keys(defs.representatives || {})) {
-            const codeRep = defs.representatives[codeName] || codeName;
-            if (codeName == codeRep) {
-              result[codeName] = prettyCode(
-                defs.representatives,
-                find(codeRep)
-              );
-            } else if (! codeName.startsWith(":")) {
-              result[codeName] = codeRep;
-            }
-          }
-          return result;
-        })(run.defs || {}, {})
-      );
-      // --C
-    } else if (line.match(re__C)) {
-      let codeName = line.match(re__C)[1];
-      if (codeName.startsWith("?"))
-        codeName = codeName.slice(1);
-      if (codeName.startsWith("$"))
-        codeName = codeName.slice(1);
-      const canonicalName = run.defs.representatives[codeName] || codeName;
-      const codeExp = find( canonicalName );
-      if (codeExp.def == "builtin") {
-        return console.log(` $ ${canonicalName} = :builtin;`);
-      }
-      console.log(` $ ${canonicalName} = ${prettyCode(run.defs.representatives, codeExp)}; -- ${codeExp.def}`);
-      // --pp
-    } else if (line.match(/^[ \n\t]*(?:--pp)?$/)) {
-      console.log(val);
-    // --p
-    } else if (line.match(/^[ \n\t]*(?:--p)?$/)) {
-      console.log(JSON.stringify(val, null, 2));
-      // --regs
-    } else if (line.match(/^[ \n\t]*(?:--regs)?$/)) {
-      console.log(` -- registers: ${Object.keys(registers).join(", ")}`);
-      // --s
-    } else if (line.match(re__s)) {
-      let reg = line.match(re__s)[1];
-      registers[reg] = val;
-      console.log(` -- current value stored in register: '${reg}'`);
-      // --g
-    } else if (line.match(re__g)) {
-      console.log(" -- getting value from register...");
-      let reg = line.match(re__g)[1];
-      val = registers[reg];
-      console.log(val);
-        // --R rel
-    } else if (line.match(re__R)) {
-      const relName = line.match(re__R)[1];
-      const rel = run.defs?.rels[relName];
-      if (!rel) {
-        if (relName in run.builtin) {
-          console.log(` -- builtin relation: ${relName}\n    ${relName} = ${run.builtin[relName]}`);
-          return;
-        }
-        console.log(` -- relation '${relName}' not found`);
-        return;
-      }
-      const canonicalRelName = run.defs.relAlias[relName];
-      const filters = patterns2filters(rel.typePatternGraph, ...rel.def.patterns);
-      // console.log(filters);
-      // console.log(" variables:", JSON.stringify(variables));
-      // console.log(JSON.stringify({filters, variables}, null, 2));
-      // for (const filter of filters) {
-      const filtersStr = filters.map( x => prettyRel( {op: "filter", filter: x}));
-      // console.log(` -- canonical relation name: ${canonicalRelName} --`);
-      // console.log(`  ${relName} : ${filtersStr[0]}  -->  ${filtersStr[1]}`);
-      // console.log(`  ${relName} = ${prettyRel(rel.def)};`);
-      // console.log(`  ${relName} = ${prettyRel(rel.simplified)};`);
-      console.log({
-        name: canonicalRelName,
-        type: `${filtersStr[0]}  -->  ${filtersStr[1]}`,
-        def: prettyRel(rel.def)
-      });
-      if (DEBUG_FLAG) {
-        val = exportRelation(run.defs.rels, run.defs.relAlias, relName);
-        console.log(val);
-      }
-      // }
-      // ------ k code
-    } else if (!line.match(/^[ \n\t]*(?:#.*)?$/)) {
-      try {
-        val = k.run(`+++\n${line}\n()`, val);
-        printVal();
-      } catch (error) {
-        console.error(error.message);
-      }
-    }
-  } catch (e) {
-    console.error(e.message);
-    console.error(e);
-  }
-}

package/test-filters.mjs

@@ -1,45 +0,0 @@
-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'].def.filter,
-  {}
-);
-console.log(JSON.stringify(test1, null, 2));
-
-const test2 = unify_with_code(
-  annotated.codes, 
-  annotated.representatives["pair"], 
-  annotated.rels['f2'].def.filter,
-  {}
-);
-console.log(JSON.stringify(test2, null, 2));
-
-const test3 = unify_with_code(
-  annotated.codes, 
-  annotated.representatives["list"], 
-  annotated.rels['f3'].def.filter,
-  {}
-);
-console.log(JSON.stringify(test3, null, 2));

package/typing-test.mjs

@@ -1,40 +0,0 @@
-import t from './typing.mjs';
-// const t = await import('./typing.mjs');
-const g = new t.typePatternGraph();
-
-const pu = {pattern: '(...)', fields: []};
-
-// x = .x;     {   {   5   x }     x  i,  {   true   x }      x   b }
-//    0   1   2  3   4   5    6  7  8    9  10    11    12  13  14  15
-
-for (var i = 0; i < 16; i++) { g.addNewNode(pu); }
-
-g.addNewNode({pattern: '(...)'}, {x: [1]}); // 16
-g.unify("y:input", 0,16); // 17
-
-// 
-g.unify('main:input',2,3,4,9,10); // 18
-
-g.addNewNode({pattern: '{}'}, {i: [8], b: [14]}); // 19
-g.unify("main:output", 15,19); // 20
-
-g.unify('comp:chain',6,7); // 21
-g.unify('comp:chain',12,13); // 22
-
-
-// {5 x}
-g.addNewNode({pattern: '<...>'}, {x: [5]}); // 23
-g.unify('variant:output',6,23); // 24
-
-// {true x}
-g.addNewNode({pattern: '<...>'}, {x: [11]}); // 25
-g.unify('variant:output',12,25); // 26
-
-
-// 5
-g.addNewNode({pattern: 'type', type: 'int'}); // 27
-g.unify('5:outout',5,27); // 28
-
-// true
-g.addNewNode({pattern: 'type', type: 'bool'}); // 29
-g.unify('true:output',11,29); // 30