Add lc-test.js

Dockerfile

@@ -7,7 +7,7 @@ RUN set -ex; \
 
 COPY --chown=codewarrior:codewarrior workspace/package.json /workspace/package.json
 COPY --chown=codewarrior:codewarrior workspace/package-lock.json /workspace/package-lock.json
-COPY --chown=codewarrior:codewarrior workspace/files.js /workspace/files.js
+COPY --chown=codewarrior:codewarrior workspace/lc-test.js /workspace/lc-test.js
 
 USER codewarrior
 WORKDIR /workspace

example/test.js

@@ -1,11 +1,7 @@
-import { assert, config as chaiConfig } from "chai";
-chaiConfig.truncateThreshold = 0;
-
-import * as LC from "@codewars/lambda-calculus";
-import { solution } from "./files.js"; // /workspace/files.js
+import { assert, LC, getSolution } from "./lc-test.js";
 
 LC.configure({ purity: "Let", numEncoding: "Church" });
-const { counter } = LC.compile(solution());
+const { counter } = LC.compile(getSolution());
 
 const T = t => _ => t;
 const F = _ => f => f;

workspace/lc-test.js

@@ -0,0 +1,15 @@
+import { readFileSync } from "fs";
+
+export { assert, config } from "chai";
+export * as LC from "@codewars/lambda-calculus";
+
+const read = (path) => readFileSync(new URL(path, import.meta.url), {encoding: "utf8"});
+
+/** Return the contents of the solution file */
+export const getSolution = () => read("./solution.lc");
+
+/** Return the contents of the optional preloaded file */
+export const getPreloaded = () => read("./preloaded.lc");
+
+/** Return the contents of the preloaded file and the solution file combined */
+export const getSolutionWithPreloaded = () => getPreloaded() + "\n" + getSolution();

workspace/package.json

@@ -11,7 +11,7 @@
     "timeout": 0
   },
   "dependencies": {
-    "@codewars/lambda-calculus": "^1.0.0-rc.3"
+    "@codewars/lambda-calculus": "^1.0.0-rc.4"
   },
   "devDependencies": {
     "@codewars/mocha-reporter": "^1.0.0",

workspace/solution.lc

@@ -2,7 +2,6 @@
 
 true  = \ a b . a
 false = \ a b . b
-%invalid = \a b . b
 
 zero = false
 succ = \ n f x . f (n f x)

workspace/test.js

@@ -1,21 +1,15 @@
-import { assert, config as chaiConfig } from "chai";
-chaiConfig.truncateThreshold = 0;
+import { assert, LC, getSolution } from "./lc-test.js";
 
-import * as LC from "@codewars/lambda-calculus";
-import { solution } from "./files.js"; // /workspace/files.js
-
-LC.config.purity = "Let";
-LC.config.numEncoding = "Church";
-const toInt = LC.toIntWith(LC.config);
-const { counter } = LC.compile(solution());
+LC.configure({purity: "Let", numEncoding: "Church"});
+const { counter } = LC.compile(getSolution());
 
 const T = t => _ => t;
 const F = _ => f => f;
 
 describe("counter", () => {
   it("fixed tests", () => {
-    assert.strictEqual(toInt(counter(T)(T)(T)(F)), 3);
-    assert.strictEqual(toInt(counter(T)(F)), 1);
-    assert.strictEqual(toInt(counter(T)(T)(T)(T)(T)(T)(T)(F)), 7);
+    assert.equal(counter(T)(T)(T)(F), 3);
+    assert.equal(counter(T)(F), 1);
+    assert.equal(counter(T)(T)(T)(T)(T)(T)(T)(F), 7);
   });
 });