eyeling 1.32.1 → 1.33.0

package/test/eyelang/test-style.mjs

@@ -0,0 +1,91 @@
+// Shared test output helpers.
+// The runners use this small reporter so individual suites and `npm test` share
+// one compact, Eyesharl-like style with a continuous grey test number.
+import process from 'node:process';
+import { fileURLToPath } from 'node:url';
+import path from 'node:path';
+
+const useColor = Boolean(process.stdout.isTTY) && process.env.NO_COLOR == null;
+
+export const colors = {
+  green: useColor ? '\x1b[32m' : '',
+  red: useColor ? '\x1b[31m' : '',
+  yellow: useColor ? '\x1b[33m' : '',
+  grey: useColor ? '\x1b[90m' : '',
+  reset: useColor ? '\x1b[0m' : '',
+};
+
+export class TestReporter {
+  constructor({ stdout = process.stdout, stderr = process.stderr } = {}) {
+    this.stdout = stdout;
+    this.stderr = stderr;
+    this.ok = 0;
+    this.total = 0;
+    this.startedAt = nowMs();
+    this.sectionCount = 0;
+    this.currentSection = null;
+  }
+
+  section(name) {
+    const prefix = this.sectionCount === 0 ? '' : '\n';
+    this.stdout.write(`${prefix}${colors.yellow}== ${name}${colors.reset}\n`);
+    this.currentSection = {
+      name,
+      okAtStart: this.ok,
+      totalAtStart: this.total,
+      startedAt: nowMs(),
+    };
+    this.sectionCount++;
+  }
+
+  sectionTotal(label = null) {
+    if (this.currentSection == null) return;
+
+    const ok = this.ok - this.currentSection.okAtStart;
+    const total = this.total - this.currentSection.totalAtStart;
+    const ms = nowMs() - this.currentSection.startedAt;
+    const suite = label ?? defaultSectionLabel(this.currentSection.name);
+    this.stdout.write(`${colors.green}OK${colors.reset} ${ok}/${total} ${suite} tests passed ${colors.grey}(${ms} ms)${colors.reset}\n`);
+  }
+
+  test(name, run) {
+    this.total++;
+    const nr = String(this.total).padStart(3, '0');
+    const startedAt = nowMs();
+
+    try {
+      run();
+      const ms = nowMs() - startedAt;
+      this.ok++;
+      this.stdout.write(`${colors.grey}${nr}${colors.reset} ${colors.green}OK${colors.reset} ${name} ${colors.grey}(${ms} ms)${colors.reset}\n`);
+    } catch (error) {
+      const ms = nowMs() - startedAt;
+      this.stderr.write(`${colors.grey}${nr}${colors.reset} ${colors.red}FAIL${colors.reset} ${name} ${colors.grey}(${ms} ms)${colors.reset}\n`);
+      this.stderr.write(`${error?.stack ?? String(error)}\n`);
+      throw error;
+    }
+  }
+
+  totalLine() {
+    const ms = nowMs() - this.startedAt;
+    this.stdout.write(`\n${colors.yellow}== Total${colors.reset}\n`);
+    this.stdout.write(`${colors.green}OK${colors.reset} ${this.ok}/${this.total} tests passed ${colors.grey}(${ms} ms)${colors.reset}\n`);
+  }
+}
+
+export function nowMs() {
+  return Number(process.hrtime.bigint() / 1000000n);
+}
+
+export function isMainModule(metaUrl) {
+  return process.argv[1] != null && path.resolve(process.argv[1]) === fileURLToPath(metaUrl);
+}
+
+function defaultSectionLabel(name) {
+  return String(name)
+    .replace(/^Conformance\s+/, 'conformance ')
+    .replace(/^Examples$/, 'examples')
+    .replace(/^Regression$/, 'regression')
+    .replace(/^API$/, 'API')
+    .replace(/^White-box$/, 'white-box');
+}

package/test/eyelang.test.js

@@ -0,0 +1,58 @@
+'use strict';
+
+const assert = require('node:assert/strict');
+const cp = require('node:child_process');
+const { pathToFileURL } = require('node:url');
+
+const eyeling = require('..');
+const { detail, failResult, info, pass } = require('./report');
+
+const startedAt = Date.now();
+const program = `
+materialize(out, 1).
+in(done).
+out(X) :- in(X).
+`;
+
+(async () => {
+  info('Checking eyelang second-engine integration…');
+
+  const syncOutput = eyeling.reason({ engine: 'eyelang' }, program);
+  assert.match(syncOutput, /out\(done\)\./);
+
+  const asyncOutput = await eyeling.reasonEyelang(program);
+  assert.match(asyncOutput, /out\(done\)\./);
+
+  const asyncRun = await eyeling.runAsync(program, { engine: 'eyelang' });
+  assert.match(asyncRun.stdout, /out\(done\)\./);
+
+  const subpath = await import('eyeling/eyelang');
+  assert.equal(typeof subpath.run, 'function');
+  assert.match(subpath.run(program).stdout, /out\(done\)\./);
+
+  const cli = cp.spawnSync(process.execPath, ['bin/eyeling.cjs', '--engine', 'eyelang', 'examples/eyelang/ancestor.pl'], {
+    cwd: process.cwd(),
+    encoding: 'utf8',
+    maxBuffer: 5 * 1024 * 1024,
+  });
+  assert.equal(cli.status, 0, cli.stderr || cli.stdout);
+  assert.match(cli.stdout, /ancestor\(pat, emma\)\./);
+
+  const directCli = cp.spawnSync(process.execPath, ['lib/eyelang/bin.js', 'examples/eyelang/ancestor.pl'], {
+    cwd: process.cwd(),
+    encoding: 'utf8',
+    maxBuffer: 5 * 1024 * 1024,
+  });
+  assert.equal(directCli.status, 0, directCli.stderr || directCli.stdout);
+  assert.match(directCli.stdout, /ancestor\(jan, emma\)\./);
+
+  // Sanity check the ESM file URL too; this catches nested package type regressions.
+  const esm = await import(pathToFileURL(`${process.cwd()}/lib/eyelang/index.mjs`).href);
+  assert.equal(typeof esm.Program, 'function');
+
+  pass(1, 'eyelang second-engine integration passed', Date.now() - startedAt);
+})().catch((e) => {
+  failResult(1, 'eyelang second-engine integration failed', Date.now() - startedAt);
+  detail(e && e.stack ? e.stack : String(e));
+  process.exit(1);
+});

package/test/run.js

@@ -17,6 +17,7 @@ const sections = [
   ['Manifest tests', 'npm', ['run', 'test:manifest']],
   ['RDF 1.2 syntax tests', 'npm', ['run', 'test:rdf12']],
   ['Playground tests', 'npm', ['run', 'test:playground']],
+  ['Eyelang second-engine tests', 'npm', ['run', 'test:eyelang']],
   ['Package tests', 'npm', ['run', 'test:package']],
 ];