Add extra test cases

.eslintignore

@@ -1,4 +1,5 @@
 node_modules
 dist
 *fixtures*
-dist-test
+dist-test
+dist-ts

.gitignore

@@ -4,3 +4,4 @@ yarn-error.log
 coverage
 .vscode
 .delisp/
+dist-ts/

packages/delisp-core/__tests__/eval.ts

@@ -16,6 +16,13 @@ function evaluateString(str: string): unknown {
 }
 
 describe("Evaluation", () => {
+  describe("Booleans", () => {
+    it("should self-evaluate", () => {
+      expect(evaluateString("true")).toBe(true);
+      expect(evaluateString("false")).toBe(false);
+    });
+  });
+
   describe("Numbers", () => {
     it("should self-evaluate", () => {
       expect(evaluateString("0")).toBe(0);
@@ -169,4 +176,22 @@ describe("Evaluation", () => {
       ).toBe(10);
     });
   });
+
+  describe("Match and case", () => {
+    it("should do basic pattern matching", () => {
+      expect(
+        evaluateString(`
+(match (case :increase 10)
+  ({:increase x} (+ x 1))
+  ({:decrease x} (- x 1)))`)
+      ).toBe(11);
+
+      expect(
+        evaluateString(`
+(match (case :decrease 10)
+  ({:increase x} (+ x 1))
+  ({:decrease x} (- x 1)))`)
+      ).toBe(9);
+    });
+  });
 });

packages/delisp-core/src/__snapshots__/type-convert.spec.ts.snap

@@ -153,6 +153,11 @@ Object {
 }
 `;
 
+exports[`convertType Effects extensible effects can't be written with | separator 1`] = `
+"
+Wrong effect separator"
+`;
+
 exports[`convertType Effects should convert effect with multiple labels 1`] = `
 Object {
   "node": Object {
@@ -412,6 +417,11 @@ Object {
 }
 `;
 
+exports[`convertType extensible records can't be written with | separator 1`] = `
+"
+Expected record extension operator \\"<|\\", but found \\"|."
+`;
+
 exports[`convertType should detect incorrect types 1`] = `
 "
 file:1:1: Not a valid type

packages/delisp-core/src/compiler.ts

@@ -172,13 +172,6 @@ function compileVariable(
   env: Environment,
   _multipleValues: boolean
 ): JS.Expression {
-  if (ref.node.name === "true") {
-    return literal(true);
-  }
-  if (ref.node.name === "false") {
-    return literal(false);
-  }
-
   const binding = lookupBinding(ref.node.name, env);
   if (!binding) {
     if (isInlinePrimitive(ref.node.name)) {

packages/delisp-core/src/type-convert.spec.ts

@@ -41,6 +41,10 @@ describe("convertType", () => {
     expect(readAndConvert("  b  ")).toMatchObject(T.var("b"));
   });
 
+  it("should convert void", () => {
+    expect(readAndConvert("void")).toMatchObject(T.void);
+  });
+
   it("should convert to functions", () => {
     expect(readAndConvert("  (->  string _ number)  ")).toMatchObject(
       T.fn([T.string], T.var("_"), T.number)
@@ -59,6 +63,10 @@ describe("convertType", () => {
     expect(readAndConvert("{:x number :y number <| a}")).toMatchSnapshot();
   });
 
+  it("extensible records can't be written with | separator", () => {
+    expect(failedType("{:x number :y number | a}")).toMatchSnapshot();
+  });
+
   it("should fail for invalid syntax of extensible records", () => {
     expect(() => {
       readAndConvert("{<| a :x number}");
@@ -95,6 +103,10 @@ describe("convertType", () => {
     it("should convert open effect with multiple labels", () => {
       expect(readAndConvert("(effect console async <| a)")).toMatchSnapshot();
     });
+
+    it("extensible effects can't be written with | separator", () => {
+      expect(failedType("(effect console | a)")).toMatchSnapshot();
+    });
   });
 
   describe("Cases", () => {