@fraczak/k 4.0.2 → 4.0.3

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@fraczak/k",
-    "version": "4.0.2",
+    "version": "4.0.3",
     "description": "k-language for JSON-like data transformation",
     "main": "index.mjs",
     "scripts": {

package/repl.mjs

@@ -15,11 +15,11 @@ console.log("Very! experimental repl shell for 'k-language'...");
 const help = function () {
   // console.log("  --debug      loads codes and relations as value");
   console.log("  --c            print aliased codes");
-  console.log("  --C code       print code definition");
-  console.log("  --r            print rels");
-  console.log("  --R rel        print out the type pattern of 'rel'");
+  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 last value in register 'reg'");
+  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'");
 };
@@ -54,7 +54,7 @@ const printVal = function (v = val) {
   if (v === undefined)
     console.log("...",v);
   else
-    console.log(`=> ${JSON.stringify(v)}`);
+    console.log(`--> ${JSON.stringify(v)}`);
   rl.setPrompt('> ');
 }
 const registers = {};
@@ -100,10 +100,9 @@ function evaluate(line) {
             return result;
           }
           return (function (prettyRel) {
-            let ref1, relName;
-            ref1 = defs.rels;
-            for (relName in ref1) {
-              result[relName] = prettyRel(ref1[relName].def);
+            for (const relName in defs.rels) {
+              if (relName != "__main__")
+                result[relName] = prettyRel(defs.rels[relName].def);
             }
             return result;
           })(
@@ -172,7 +171,8 @@ function evaluate(line) {
       // for (const filter of filters) {
       const pcodef= prettyCode.bind(null, run.defs.representatives);
       const filtersStr = filters.map( x => prettyRel(pcodef, {op: "filter", filter: x}));
-      console.log(`  ${relName} :  ${filtersStr[0]}  -->  ${filtersStr[1]}`);
+      console.log(`  ${relName} : ${filtersStr[0]}  -->  ${filtersStr[1]}`);
+      console.log(`  ${relName} = ${prettyRel(pcodef,rel.def)};`);
       // }
       // ------ k code
     } else if (!line.match(/^[ \n\t]*(?:#.*)?$/)) {

package/sc.py

@@ -0,0 +1,25 @@
+import json
+import sys
+
+# Check if file is provided
+if len(sys.argv) != 3:
+    print("Usage: python speedup_cast.py input.cast output.cast")
+    sys.exit(1)
+
+input_file = sys.argv[1]
+output_file = sys.argv[2]
+speedup_factor = 0.5  # 2x speed
+
+# Load the original cast file
+with open(input_file, 'r') as f:
+    cast = json.load(f)
+
+# Update the timing of each event
+for event in cast['stdout']:
+    event[0] = event[0] * speedup_factor
+
+# Save the modified cast file
+with open(output_file, 'w') as f:
+    json.dump(cast, f)
+
+print(f"Successfully sped up {input_file} and saved to {output_file}")