tony-lang · jonhue · Feb 7, 2021 · Feb 7, 2021 · Feb 7, 2021 · Feb 7, 2021
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,6 +8,9 @@ jobs:
     strategy:
       matrix:
         node:
+          - '12.x'
+          - '13.x'
+          - '14.x'
           - '15.x'
 
     name: Node ${{ matrix.node }}
@@ -18,11 +21,11 @@ jobs:
           node-version: ${{ matrix.node }}
       - name: Install dependencies
         run: yarn install
-      - name: TypeScript & Build
+      - name: TypeScript
         run: yarn build
       - name: Prettier
         run: yarn prettierlint
       - name: ESLint
         run: yarn eslint
-      # - name: Tests
-      #   run: sudo yarn test
+      - name: Tests
+        run: sudo yarn test
diff --git a/package.json b/package.json
@@ -13,10 +13,10 @@
     "prettier": "prettier --write src test",
     "tsc": "tsc --noEmit",
     "fix": "yarn prettier && yarn eslint --fix",
-    "test": "ava dist/test/index.test.js"
+    "test": "mocha -r ts-node/register test/index.ts"
   },
   "engines": {
-    "node": "15"
+    "node": ">=12"
   },
   "repository": {
     "type": "git",
@@ -37,17 +37,19 @@
   "devDependencies": {
     "@types/deep-equal": "^1.0.1",
     "@types/mkdirp": "^1.0.1",
+    "@types/mocha": "^8.2.0",
     "@typescript-eslint/eslint-plugin": "^4.9.1",
     "@typescript-eslint/parser": "^4.9.1",
-    "ava": "^3.11.1",
     "deep-equal": "^2.0.3",
     "eslint": "^7.7.0",
     "eslint-config-prettier": "^7.0.0",
     "eslint-plugin-prettier": "^3.1.4",
     "mkdirp": "^1.0.3",
+    "mocha": "^8.2.1",
     "nodemon": "^2.0.4",
     "prettier": "^2.0.5",
     "tree-sitter": "^0.17.0",
+    "ts-node": "^9.1.1",
     "typescript": "^4.1.2"
   }
 }
diff --git a/test/cases/abstraction/abstraction_branches.tn b/test/cases/abstraction/abstraction_branches.tn
diff --git a/test/cases/abstraction/argument_type_mismatch.tn b/test/cases/abstraction/argument_type_mismatch.tn
diff --git a/test/cases/abstraction/fibonacci.tn b/test/cases/abstraction/fibonacci.tn
diff --git a/test/cases/abstraction/index.tn b/test/cases/abstraction/index.tn
diff --git a/test/cases/abstraction/non_exhaustive_patterns.tn b/test/cases/abstraction/non_exhaustive_patterns.tn
diff --git a/test/cases/abstraction/pattern_matching.tn b/test/cases/abstraction/pattern_matching.tn
diff --git a/test/cases/abstraction/quicksort.tn b/test/cases/abstraction/quicksort.tn
diff --git a/test/cases/abstraction/type_constraints.tn b/test/cases/abstraction/type_constraints.tn
diff --git a/test/cases/access/index.tn b/test/cases/access/index.tn
diff --git a/test/cases/application/index.tn b/test/cases/application/index.tn
diff --git a/test/cases/application/infix_application.tn b/test/cases/application/infix_application.tn
diff --git a/test/cases/application/partial_application.tn b/test/cases/application/partial_application.tn
diff --git a/test/cases/application/prefix_application.tn b/test/cases/application/prefix_application.tn
diff --git a/test/cases/assignment/duplicate_binding.tn b/test/cases/assignment/duplicate_binding.tn
diff --git a/test/cases/assignment/index.tn b/test/cases/assignment/index.tn
diff --git a/test/cases/assignment/overloading.tn b/test/cases/assignment/overloading.tn
diff --git a/test/cases/assignment/overmatching.tn b/test/cases/assignment/overmatching.tn
diff --git a/test/cases/assignment/partially_matching.tn b/test/cases/assignment/partially_matching.tn
diff --git a/test/cases/assignment/pattern_matching.tn b/test/cases/assignment/pattern_matching.tn
diff --git a/test/cases/assignment/rest.tn b/test/cases/assignment/rest.tn
diff --git a/test/cases/case/index.tn b/test/cases/case/index.tn
diff --git a/test/cases/case/missing_binding.tn b/test/cases/case/missing_binding.tn
diff --git a/test/cases/conditional/inline.tn b/test/cases/conditional/inline.tn
diff --git a/test/cases/conditional/multiline.tn b/test/cases/conditional/multiline.tn
diff --git a/test/cases/import_export/external_import.tn b/test/cases/import_export/external_import.tn