Add lc-test.js

Author: kazk

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,8 +1,4 @@
-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, solution } from "./lc-test.js";
 
 LC.configure({ purity: "Let", numEncoding: "Church" });
 const { counter } = LC.compile(solution());

workspace/files.js workspace/lc-test.jsworkspace/files.js renamed to workspace/lc-test.js

@@ -1,5 +1,10 @@
 import { readFileSync } from "fs";
 
+import { assert, config as chaiConfig } from "chai";
+chaiConfig.truncateThreshold = 0;
+export { assert };
+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 */

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, solution } 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);
+LC.configure({purity: "Let", numEncoding: "Church"});
 const { counter } = LC.compile(solution());
 
 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);
   });
 });