Merge pull request #25 from maninak/test/24-revisit-testing

maninak · Sep 11, 2023 · 197fbe3 · 197fbe3
2 parents 6f8e363 + 70d8c2c
commit 197fbe3
Show file tree

Hide file tree

Showing 35 changed files with 57 additions and 52 deletions.
diff --git a/scripts/run-tests.sh b/scripts/run-tests.sh
@@ -7,7 +7,7 @@ printFileFailedTest () {
 TESTS_FAILED=false
 
 # all these tests must pass compilation
-for FILE in $(ls test/**/*.pass.spec.ts)
+for FILE in $(ls test/**/*.spec.ts)
 do
   tsc --noEmit $FILE > /dev/null
   if [ $? -ne 0 ]; then
@@ -16,16 +16,6 @@ do
   fi
 done
 
-# each of these tests must fail compilation
-for FILE in $(ls test/**/*.fail.spec.ts)
-do
-  tsc --noEmit $FILE > /dev/null
-  if [ $? -eq 0 ]; then
-    TESTS_FAILED=true
-    printFileFailedTest $FILE
-  fi
-done
-
 if $TESTS_FAILED; then
   exit 1
 else

diff --git a/test/control-std-union-without-xor/has-key-not-of-T-nor-of-U.fail.spec.ts b/test/control-std-union-without-xor/has-key-not-of-T-nor-of-U.fail.spec.ts
diff --git a/test/control-std-union-without-xor/has-key-not-of-T-nor-of-U.spec.ts b/test/control-std-union-without-xor/has-key-not-of-T-nor-of-U.spec.ts
@@ -0,0 +1,4 @@
+import { A_OR_B } from './setup'
+
+// @ts-expect-error
+const test: A_OR_B = { lel: '' }
diff --git a/test/control-std-union-without-xor/has-key-of-T-and-extra-random-key.fail.spec.ts b/test/control-std-union-without-xor/has-key-of-T-and-extra-random-key.fail.spec.ts
diff --git a/test/control-std-union-without-xor/has-key-of-T-and-extra-random-key.spec.ts b/test/control-std-union-without-xor/has-key-of-T-and-extra-random-key.spec.ts
@@ -0,0 +1,4 @@
+import { A_OR_B } from './setup'
+
+// @ts-expect-error
+const test: A_OR_B = {a: '', lel: '' }
diff --git a/...or/has-key-of-T-and-key-of-U.pass.spec.ts → ...out-xor/has-key-of-T-and-key-of-U.spec.ts b/...or/has-key-of-T-and-key-of-U.pass.spec.ts → ...out-xor/has-key-of-T-and-key-of-U.spec.ts
diff --git a/...on-without-xor/has-keys-of-T.pass.spec.ts → ...d-union-without-xor/has-keys-of-T.spec.ts b/...on-without-xor/has-keys-of-T.pass.spec.ts → ...d-union-without-xor/has-keys-of-T.spec.ts
diff --git a/...on-without-xor/has-keys-of-U.pass.spec.ts → ...d-union-without-xor/has-keys-of-U.spec.ts b/...on-without-xor/has-keys-of-U.pass.spec.ts → ...d-union-without-xor/has-keys-of-U.spec.ts
diff --git a/test/control-std-union-without-xor/has-no-keys.fail.spec.ts b/test/control-std-union-without-xor/has-no-keys.fail.spec.ts
diff --git a/test/control-std-union-without-xor/has-no-keys.spec.ts b/test/control-std-union-without-xor/has-no-keys.spec.ts
@@ -0,0 +1,4 @@
+import { A_OR_B } from './setup'
+
+// @ts-expect-error
+const test: A_OR_B = {}
diff --git a/test/multiple-xored-types/has-keys-of-A-and-C.fail.spec.ts b/test/multiple-xored-types/has-keys-of-A-and-C.fail.spec.ts
diff --git a/test/multiple-xored-types/has-keys-of-A-and-C.spec.ts b/test/multiple-xored-types/has-keys-of-A-and-C.spec.ts
@@ -0,0 +1,4 @@
+import { A_XOR_B_XOR_C } from './setup'
+
+// @ts-expect-error
+const test: A_XOR_B_XOR_C = { a: '', c: '' }
diff --git a/...le-xored-types/has-keys-of-A.pass.spec.ts → ...ultiple-xored-types/has-keys-of-A.spec.ts b/...le-xored-types/has-keys-of-A.pass.spec.ts → ...ultiple-xored-types/has-keys-of-A.spec.ts
diff --git a/...le-xored-types/has-keys-of-B.pass.spec.ts → ...ultiple-xored-types/has-keys-of-B.spec.ts b/...le-xored-types/has-keys-of-B.pass.spec.ts → ...ultiple-xored-types/has-keys-of-B.spec.ts
diff --git a/...le-xored-types/has-keys-of-C.pass.spec.ts → ...ultiple-xored-types/has-keys-of-C.spec.ts b/...le-xored-types/has-keys-of-C.pass.spec.ts → ...ultiple-xored-types/has-keys-of-C.spec.ts
diff --git a/test/multiple-xored-types/has-no-keys.fail.spec.ts b/test/multiple-xored-types/has-no-keys.fail.spec.ts
diff --git a/test/multiple-xored-types/has-no-keys.spec.ts b/test/multiple-xored-types/has-no-keys.spec.ts
@@ -0,0 +1,4 @@
+import { A_XOR_B_XOR_C } from './setup'
+
+// @ts-expect-error
+const test: A_XOR_B_XOR_C = {}
diff --git a/...ers/doesnt-have-rain-or-snow.fail.spec.ts → ...-members/doesnt-have-rain-or-snow.spec.ts b/...ers/doesnt-have-rain-or-snow.fail.spec.ts → ...-members/doesnt-have-rain-or-snow.spec.ts
@@ -3,5 +3,6 @@ import { WeatherForecast } from './setup'
 const test: WeatherForecast = {
   id: 123456,
   station: 'Acropolis Weather Reporter',
-  lel: { '1h': 1 }, // rejected
+  // @ts-expect-error
+  lel: { '1h': 1 },
 }
diff --git a/...n-and-snow-with-correct-keys.fail.spec.ts → ...s-rain-and-snow-with-correct-keys.spec.ts b/...n-and-snow-with-correct-keys.fail.spec.ts → ...s-rain-and-snow-with-correct-keys.spec.ts
@@ -1,8 +1,9 @@
 import { WeatherForecast } from './setup'
 
+// @ts-expect-error
 const test: WeatherForecast = {
   id: 123456,
   station: 'Acropolis Weather Reporter',
   rain: { '1h': 1 },
-  snow: { '3h': 3 }, // rejected
+  snow: { '3h': 3 },
 }
diff --git a/...ect-key-and-random-extra-key.fail.spec.ts → ...ers/has-rain-with-both-xored-keys.spec.ts b/...ect-key-and-random-extra-key.fail.spec.ts → ...ers/has-rain-with-both-xored-keys.spec.ts
@@ -1,7 +1,8 @@
 import { WeatherForecast } from './setup'
 
 const test: WeatherForecast = {
-  id: 123456,
   station: 'Acropolis Weather Reporter',
-  rain: { '1h': 1, lel: 'rofl' }, // fail
+  id: 123456,
+  // @ts-expect-error
+  rain: { '1h': 1, '3h': 3 },
 }
diff --git a/test/shared-and-xored-members/has-rain-with-corect-key-and-random-extra-key.spec.ts b/test/shared-and-xored-members/has-rain-with-corect-key-and-random-extra-key.spec.ts
@@ -0,0 +1,8 @@
+import { WeatherForecast } from './setup'
+
+const test: WeatherForecast = {
+  id: 123456,
+  station: 'Acropolis Weather Reporter',
+  // @ts-expect-error
+  rain: { '1h': 1, lel: 'rofl' },
+}
diff --git a/...rs/has-rain-with-correct-key.pass.spec.ts → ...members/has-rain-with-correct-key.spec.ts b/...rs/has-rain-with-correct-key.pass.spec.ts → ...members/has-rain-with-correct-key.spec.ts
diff --git a/...embers/has-rain-with-no-keys.fail.spec.ts → ...red-members/has-rain-with-no-keys.spec.ts b/...embers/has-rain-with-no-keys.fail.spec.ts → ...red-members/has-rain-with-no-keys.spec.ts
@@ -3,5 +3,6 @@ import { WeatherForecast } from './setup'
 const test: WeatherForecast = {
   id: 123456,
   station: 'Acropolis Weather Reporter',
-  rain: {}, // rejected
+  // @ts-expect-error
+  rain: {},
 }
diff --git a/test/shared-and-xored-members/has-rain-with-random-key.fail.spec.ts b/test/shared-and-xored-members/has-rain-with-random-key.fail.spec.ts
diff --git a/...as-rain-with-both-xored-keys.fail.spec.ts → ...-members/has-rain-with-random-key.spec.ts b/...as-rain-with-both-xored-keys.fail.spec.ts → ...-members/has-rain-with-random-key.spec.ts
@@ -1,7 +1,8 @@
 import { WeatherForecast } from './setup'
 
 const test: WeatherForecast = {
-  station: 'Acropolis Weather Reporter',
   id: 123456,
-  rain: { '1h': 1, '3h': 3 }, // rejected
+  station: 'Acropolis Weather Reporter',
+  // @ts-expect-error
+  rain: { '2h': 1 },
 }
diff --git a/test/single-member-objects/has-key-not-of-T-nor-of-U.fail.spec.ts b/test/single-member-objects/has-key-not-of-T-nor-of-U.fail.spec.ts
diff --git a/test/single-member-objects/has-key-not-of-T-nor-of-U.spec.ts b/test/single-member-objects/has-key-not-of-T-nor-of-U.spec.ts
@@ -0,0 +1,4 @@
+import { A_XOR_B } from './setup'
+
+// @ts-expect-error
+const test: A_XOR_B = { lel: '' }
diff --git a/test/single-member-objects/has-key-of-T-and-extra-random-key.fail.spec.ts b/test/single-member-objects/has-key-of-T-and-extra-random-key.fail.spec.ts
diff --git a/test/single-member-objects/has-key-of-T-and-extra-random-key.spec.ts b/test/single-member-objects/has-key-of-T-and-extra-random-key.spec.ts
@@ -0,0 +1,4 @@
+import { A_XOR_B } from './setup'
+
+// @ts-expect-error
+const test: A_XOR_B = {a: '', lel: '' }
diff --git a/test/single-member-objects/has-key-of-T-and-key-of-U.fail.spec.ts b/test/single-member-objects/has-key-of-T-and-key-of-U.fail.spec.ts
diff --git a/test/single-member-objects/has-key-of-T-and-key-of-U.spec.ts b/test/single-member-objects/has-key-of-T-and-key-of-U.spec.ts
@@ -0,0 +1,4 @@
+import { A_XOR_B } from './setup'
+
+// @ts-expect-error
+const test: A_XOR_B = { a: '', b: '' }
diff --git a/...member-objects/has-keys-of-T.pass.spec.ts → ...ngle-member-objects/has-keys-of-T.spec.ts b/...member-objects/has-keys-of-T.pass.spec.ts → ...ngle-member-objects/has-keys-of-T.spec.ts
diff --git a/...member-objects/has-keys-of-U.pass.spec.ts → ...ngle-member-objects/has-keys-of-U.spec.ts b/...member-objects/has-keys-of-U.pass.spec.ts → ...ngle-member-objects/has-keys-of-U.spec.ts
diff --git a/test/single-member-objects/has-no-keys.fail.spec.ts b/test/single-member-objects/has-no-keys.fail.spec.ts
diff --git a/test/single-member-objects/has-no-keys.spec.ts b/test/single-member-objects/has-no-keys.spec.ts
@@ -0,0 +1,4 @@
+import { A_XOR_B } from './setup'
+
+// @ts-expect-error
+const test: A_XOR_B = {}