init

lib/source.ts

@@ -0,0 +1,50 @@
+import { decode, show_diff } from "./utils.ts";
+
+export type RunRes = {
+  success: true;
+  output: string;
+} | {
+  success: false;
+  error: string;
+};
+
+export async function run_script(script: string): Promise<RunRes> {
+  const tmp_path = "/tmp/script.ml";
+  await Deno.writeTextFile(tmp_path, script);
+  const process = Deno.run({
+    cmd: ["ocaml", tmp_path],
+    stdout: "piped",
+    stderr: "piped",
+  });
+  const { success } = await process.status();
+  await Deno.remove(tmp_path);
+
+  if (success) {
+    return { success, output: decode(await process.output()) };
+  } else {
+    return { success, error: decode(await process.stderrOutput()) };
+  }
+}
+
+function remove_comments(source: string): string {
+  const [head, ...rest] = source.split("(*");
+  const remainder = rest.map((w) => {
+    const [_, code] = w.split("*)");
+    return code;
+  });
+  return [head, ...remainder].join("");
+}
+
+export async function reduce_to_runable(source: string) {
+  const clean_source = remove_comments(source);
+  let current = "";
+  for (const part of clean_source.split(";;")) {
+    let concatenated;
+    if (current == "") concatenated = part;
+    else concatenated = `${current};;${part}`;
+    const res = await run_script(concatenated);
+    if (res.success) current = concatenated;
+  }
+  await show_diff(clean_source, current);
+  return current;
+}

lib/test.ts

@@ -0,0 +1,49 @@
+import col from "https://deno.land/x/chalkin@v0.1.3/mod.ts";
+import { run_script } from "./source.ts";
+
+export type Test = { name: string; content: string };
+
+export async function find_tests(dir: string): Promise<Test[]> {
+  const result = [] as Test[];
+  for await (const { name } of Deno.readDir(dir)) {
+    const content = await Deno.readTextFile(`${dir}/${name}`);
+    result.push({ content, name });
+  }
+  result.sort((a, b) => a.name > b.name ? 1 : -1);
+  return result;
+}
+
+export type TestRes = {
+  test: Test;
+  success: true;
+} | {
+  test: Test;
+  success: false;
+  error: string;
+};
+
+export async function run_test(
+  test: Test,
+  prelude: string,
+): Promise<TestRes> {
+  const source = `${prelude}\n${test.content}`;
+  const res = await run_script(source);
+  const { success } = res;
+  if (success) return { success, test };
+  const { error } = res;
+  return { success, error, test };
+}
+
+export function display_test_success({ success, test: { name } }: TestRes) {
+  console.log(`[${success ? col.green("O") : col.red("X")}] ${name}`);
+}
+
+export function display_test_failures(results: TestRes[]) {
+  for (const result of results) {
+    const { test: { name }, success } = result;
+    if (success) continue;
+    console.log(`${col.red(`---- error for '${name}' ----`)}
+${result.error}
+`);
+  }
+}

lib/utils.ts

@@ -0,0 +1,12 @@
+export function decode(input: Uint8Array): string {
+  return new TextDecoder().decode(input);
+}
+
+export async function show_diff(a: string, b: string) {
+  const [path_a, path_b] = ["/tmp/diff_a", "/tmp/diff_b"];
+  await Deno.writeTextFile(path_a, a);
+  await Deno.writeTextFile(path_b, b);
+  await Deno.run({ cmd: ["diff", path_a, path_b] }).status();
+  await Deno.remove(path_a);
+  await Deno.remove(path_b);
+}