Merge pull request #24 from mkantor/tighter-tsconfig

Tighten up tsconfig

Author: mkantor

src/end-to-end.test.ts

@@ -41,7 +41,7 @@ testCases(endToEnd, code => code)('end-to-end tests', [
         assert.fail(result.value.message)
       }
       assert(typeof result.value === 'object')
-      assert.deepEqual(result.value.b, 'A')
+      assert.deepEqual(result.value['b'], 'A')
     },
   ],
   [
@@ -143,8 +143,8 @@ testCases(endToEnd, code => code)('end-to-end tests', [
         assert.fail(output.value.message)
       }
       assert(typeof output.value === 'object')
-      assert.deepEqual(output.value.tag, 'some')
-      assert.deepEqual(typeof output.value.value, 'string')
+      assert.deepEqual(output.value['tag'], 'some')
+      assert.deepEqual(typeof output.value['value'], 'string')
     },
   ],
   [
@@ -166,8 +166,8 @@ testCases(endToEnd, code => code)('end-to-end tests', [
         assert.fail(output.value.message)
       }
       assert(typeof output.value === 'object')
-      assert.deepEqual(output.value.tag, 'some')
-      assert.deepEqual(typeof output.value.value, 'string')
+      assert.deepEqual(output.value['tag'], 'some')
+      assert.deepEqual(typeof output.value['value'], 'string')
     },
   ],
   [
@@ -189,8 +189,8 @@ testCases(endToEnd, code => code)('end-to-end tests', [
         assert.fail(output.value.message)
       }
       assert(typeof output.value === 'object')
-      assert.deepEqual(output.value.tag, 'some')
-      assert.deepEqual(typeof output.value.value, 'string')
+      assert.deepEqual(output.value['tag'], 'some')
+      assert.deepEqual(typeof output.value['value'], 'string')
     },
   ],
   [
@@ -202,8 +202,8 @@ testCases(endToEnd, code => code)('end-to-end tests', [
         assert.fail(output.value.message)
       }
       assert(typeof output.value === 'object')
-      assert.deepEqual(output.value.tag, 'some')
-      assert.deepEqual(typeof output.value.value, 'string')
+      assert.deepEqual(output.value['tag'], 'some')
+      assert.deepEqual(typeof output.value['value'], 'string')
     },
   ],
   [`:natural_number.add(1)(1)`, either.makeRight('2')],

src/language/compiling/semantics.test.ts

@@ -587,7 +587,7 @@ elaborationSuite('@runtime', [
     { 0: '@runtime', 1: { 0: '@lookup', query: { 0: 'identity' } } },
     either.makeRight(
       withPhantomData<never>()(
-        makeObjectNode({ 0: '@runtime', function: prelude.identity! }),
+        makeObjectNode({ 0: '@runtime', function: prelude['identity']! }),
       ),
     ),
   ],

src/language/runtime/evaluator.test.ts

@@ -53,8 +53,8 @@ testCases(evaluate, input => `evaluating \`${JSON.stringify(input)}\``)(
       output => {
         assert(!either.isLeft(output))
         assert(typeof output.value === 'object')
-        assert(output.value.tag === 'some')
-        assert(typeof output.value.value === 'string')
+        assert(output.value['tag'] === 'some')
+        assert(typeof output.value['value'] === 'string')
       },
     ],
     [

src/language/semantics/prelude.ts

@@ -580,7 +580,7 @@ type TaggedNode = ObjectNode & {
 }
 const nodeIsTagged = (node: SemanticGraph): node is TaggedNode =>
   isObjectNode(node) &&
-  node.tag !== undefined &&
-  (typeof node.tag === 'string' ||
-    (isSemanticGraph(node.tag) && typeof node.tag === 'string')) &&
-  node.value !== undefined
+  node['tag'] !== undefined &&
+  (typeof node['tag'] === 'string' ||
+    (isSemanticGraph(node['tag']) && typeof node['tag'] === 'string')) &&
+  node['value'] !== undefined

tsconfig.base.json

@@ -3,8 +3,11 @@
     "composite": true,
     "exactOptionalPropertyTypes": true,
     "module": "node16",
+    "noPropertyAccessFromIndexSignature": true,
     "noUncheckedIndexedAccess": true,
+    "noUncheckedSideEffectImports": true,
     "rootDir": "./src",
+    "skipLibCheck": true,
     "strict": true,
     "target": "es2023",
     "verbatimModuleSyntax": true