Remove Non-Det Interpreter

.gitignore

@@ -1,5 +1,6 @@
 node_modules
 *.js
+!eslint.config.js
 !docs/jsdoc/templates/**/*.js
 !docs/lib/**/*.js
 *.map

eslint.config.mjs

@@ -0,0 +1,75 @@
+import tseslint from 'typescript-eslint'
+import globals from 'globals'
+import importPlugin from 'eslint-plugin-import'
+
+/**
+ * @type {import('eslint').Linter.FlatConfig[]}
+ */
+export default [
+  {
+    // global ignores
+    ignores: ['dist', 'src/alt-langs', 'src/py-slang', 'src/__tests__/sicp', '**/*.snap']
+  },
+  ...tseslint.configs.recommended,
+  {
+    files: ['**/*.ts*'],
+    languageOptions: {
+      globals: {
+        ...globals.node,
+        ...globals.es2016,
+        ...globals.browser
+      },
+      parser: tseslint.parser,
+      parserOptions: {
+        project: './tsconfig.json'
+      }
+    },
+    plugins: {
+      '@typescript-eslint': tseslint.plugin,
+      import: importPlugin
+    },
+    rules: {
+      'import/no-duplicates': ['warn', { 'prefer-inline': true }],
+      'import/order': 'warn',
+      '@typescript-eslint/no-base-to-string': 'off', // TODO: Remove
+      'prefer-const': 'off', // TODO: Remove
+      'no-var': 'off', // TODO: Remove
+      '@typescript-eslint/ban-ts-comment': 'warn',
+      '@typescript-eslint/ban-types': 'off',
+      '@typescript-eslint/camelcase': 'off',
+      '@typescript-eslint/explicit-function-return-type': 'off',
+      '@typescript-eslint/explicit-module-boundary-types': 'off',
+      '@typescript-eslint/interface-name-prefix': 'off',
+      '@typescript-eslint/no-duplicate-type-constituents': 'off',
+      '@typescript-eslint/no-empty-function': 'off',
+      '@typescript-eslint/no-explicit-any': 'off',
+      '@typescript-eslint/no-floating-promises': 'off',
+      '@typescript-eslint/no-implied-eval': 'off',
+      '@typescript-eslint/no-inferrable-types': 'off',
+      '@typescript-eslint/no-non-null-asserted-optional-chain': 'off',
+      '@typescript-eslint/no-non-null-assertion': 'off',
+      '@typescript-eslint/no-redundant-type-constituents': 'off',
+      '@typescript-eslint/no-unnecessary-type-assertion': 'off',
+      '@typescript-eslint/no-unsafe-argument': 'off',
+      '@typescript-eslint/no-unsafe-assignment': 'off',
+      '@typescript-eslint/no-unsafe-call': 'off',
+      '@typescript-eslint/no-unsafe-enum-comparison': 'off',
+      '@typescript-eslint/no-unsafe-function-type': 'off',
+      '@typescript-eslint/no-unsafe-member-access': 'off',
+      '@typescript-eslint/no-unsafe-return': 'off',
+      '@typescript-eslint/no-unused-vars': ['warn', { argsIgnorePattern: '^_' }],
+      '@typescript-eslint/no-var-requires': 'off',
+      '@typescript-eslint/require-await': 'error',
+      '@typescript-eslint/restrict-plus-operands': 'off',
+      '@typescript-eslint/restrict-template-expressions': 'off',
+      '@typescript-eslint/unbound-method': 'off',
+      'prefer-rest-params': 'off'
+    }
+  },
+  {
+    files: ['**/*.js', 'src/repl/*.ts'],
+    rules: {
+      '@typescript-eslint/no-require-imports': 'off'
+    }
+  }
+]

package.json

@@ -53,7 +53,7 @@
   "scripts": {
     "build": "yarn docs && yarn build:slang",
     "build:slang": "tsc --project tsconfig.prod.json",
-    "eslint": "eslint --ext \".ts,.tsx\" src",
+    "eslint": "eslint src",
     "format": "prettier --write \"src/**/*.{ts,tsx}\"",
     "format:ci": "prettier --list-different \"src/**/*.{ts,tsx}\"",
     "test": "jest",
@@ -72,14 +72,12 @@
     "@types/lodash": "^4.14.202",
     "@types/node": "^20.0.0",
     "@types/offscreencanvas": "^2019.7.0",
-    "@typescript-eslint/eslint-plugin": "^7.3.1",
-    "@typescript-eslint/parser": "^7.3.1",
     "ace-builds": "^1.4.12",
     "coveralls": "^3.1.0",
     "escodegen": "^2.0.0",
     "eslint": "^8.57.0",
-    "eslint-config-prettier": "^9.1.0",
     "eslint-plugin-import": "^2.29.1",
+    "globals": "^15.11.0",
     "husky": "^8.0.1",
     "jest": "^29.0.0",
     "jest-environment-jsdom": "^29.0.0",
@@ -88,7 +86,8 @@
     "jsdom": "^19.0.0",
     "prettier": "^2.1.2",
     "ts-jest": "^29.0.0",
-    "typescript": "^4.0.3"
+    "typescript": "^4.0.3",
+    "typescript-eslint": "^8.8.1"
   },
   "jest": {
     "snapshotFormat": {

scripts/autocomplete.sh

@@ -108,7 +108,6 @@ targets = [
     "source_2_lazy",
     "source_3",
     "source_3_concurrent",
-    "source_3_non-det",
     "source_4", 
     "source_4_explicit-control"
     "External libraries",

scripts/jsdoc.sh

@@ -130,21 +130,6 @@ run() {
 	     ${LIB}/pairmutator.js \
 	     ${LIB}/concurrency.js
 
-	# Source §3 Non-Det
-
-    ${JSDOC} -r -t ${TMPL} \
-	     -c docs/jsdoc/conf.json \
-	     -R ${MD}/README_3_NON-DET.md \
-	     -d ${DST}/"source_3_non-det"/ \
-	     ${LIB}/auxiliary.js \
-	     ${LIB}/misc.js \
-	     ${LIB}/math.js \
-         ${LIB}/list.js \
-	     ${LIB}/stream.js \
-		 ${LIB}/array.js \
-	     ${LIB}/pairmutator.js \
-		 ${LIB}/non-det.js
-
 	# Source §3 Typed
 
     ${JSDOC} -r -t ${TMPL} \

scripts/updateAutocompleteDocs.js

@@ -18,7 +18,6 @@ const TARGETS = [
   "source_2_typed",
   "source_3",
   "source_3_concurrent",
-  "source_3_non-det",
   "source_3_typed",
   "source_4",
   "source_4_typed",