tstyche 4.0.0-beta.9 → 4.0.0-rc.0

package/README.md

@@ -77,7 +77,7 @@ This simple! (And it has watch mode too.)
 
 ## Documentation
 
-Visit [https://tstyche.org](https://tstyche.org) to view the full documentation.
+Visit [tstyche.org](https://tstyche.org) to view the full documentation.
 
 ## Feedback
 

package/build/index.d.cts

@@ -85,15 +85,15 @@ interface Matchers {
         (target: unknown): void;
     };
     /**
-     * Checks if the source type is identical to the target type.
+     * Checks if the source type is the same as the target type.
      */
     toBe: {
         /**
-         * Checks if the source type is identical to the target type.
+         * Checks if the source type is the same as the target type.
          */
         <Target>(): void;
         /**
-         * Checks if the source type is identical to type of the target expression.
+         * Checks if the source type is the same as type of the target expression.
          */
         (target: unknown): void;
     };

package/build/index.d.ts

@@ -85,15 +85,15 @@ interface Matchers {
         (target: unknown): void;
     };
     /**
-     * Checks if the source type is identical to the target type.
+     * Checks if the source type is the same as the target type.
      */
     toBe: {
         /**
-         * Checks if the source type is identical to the target type.
+         * Checks if the source type is the same as the target type.
          */
         <Target>(): void;
         /**
-         * Checks if the source type is identical to type of the target expression.
+         * Checks if the source type is the same as type of the target expression.
          */
         (target: unknown): void;
     };

package/build/tstyche.d.ts

@@ -610,14 +610,9 @@ interface MatchResult {
     explain: () => Array<Diagnostic>;
     isMatch: boolean;
 }
-type Relation = Map<string, unknown>;
 interface TypeChecker extends ts.TypeChecker {
     isApplicableIndexType: (source: ts.Type, target: ts.Type) => boolean;
-    isTypeRelatedTo: (source: ts.Type, target: ts.Type, relation: Relation) => boolean;
-    relation: {
-        assignable: Relation;
-        identity: Relation;
-    };
+    isTypeIdenticalTo: (source: ts.Type, target: ts.Type) => boolean;
 }
 
 declare class ExpectService {

package/build/tstyche.js

@@ -810,11 +810,7 @@ class Store {
             modulePath = Path.resolve(modulePath, "../tsserverlibrary.js");
         }
         const sourceText = await fs.readFile(modulePath, { encoding: "utf8" });
-        const toExpose = [
-            "isApplicableIndexType",
-            "isTypeRelatedTo",
-            "relation: { assignable: assignableRelation, identity: identityRelation }",
-        ];
+        const toExpose = ["isApplicableIndexType", "isTypeIdenticalTo"];
         const modifiedSourceText = sourceText.replace("return checker;", `return { ...checker, ${toExpose.join(", ")} };`);
         const compiledWrapper = vm.compileFunction(modifiedSourceText, ["exports", "require", "module", "__filename", "__dirname"], { filename: modulePath });
         compiledWrapper(exports, createRequire(modulePath), module, modulePath, Path.dirname(modulePath));
@@ -2930,10 +2926,10 @@ class AssertionNode extends TestTreeNode {
 }
 
 function nodeBelongsToArgumentList(compiler, node) {
-    if (compiler.isCallExpression(node.parent)) {
-        return node.parent.arguments.some((argument) => argument === node);
-    }
-    return false;
+    return compiler.isCallExpression(node.parent) && node.parent.arguments.some((argument) => argument === node);
+}
+function nodeIsChildOfExpressionStatement(compiler, node) {
+    return compiler.isExpressionStatement(node.parent);
 }
 
 class AbilityLayer {
@@ -3013,7 +3009,7 @@ class AbilityLayer {
                     {
                         start: whenStart,
                         end: whenExpressionEnd,
-                        replacement: nodeBelongsToArgumentList(this.#compiler, whenNode.actionNode) ? "" : ";",
+                        replacement: nodeIsChildOfExpressionStatement(this.#compiler, whenNode.actionNode) ? ";" : "",
                     },
                     { start: whenEnd, end: actionNameEnd },
                 ]);
@@ -3038,7 +3034,7 @@ class AbilityLayer {
                     {
                         start: expectStart,
                         end: expectExpressionEnd,
-                        replacement: nodeBelongsToArgumentList(this.#compiler, assertionNode.matcherNode) ? "" : ";",
+                        replacement: nodeIsChildOfExpressionStatement(this.#compiler, assertionNode.matcherNode) ? ";" : "",
                     },
                     { start: expectEnd, end: matcherNameEnd },
                 ]);
@@ -3049,7 +3045,7 @@ class AbilityLayer {
                     {
                         start: expectStart,
                         end: expectExpressionEnd,
-                        replacement: nodeBelongsToArgumentList(this.#compiler, assertionNode.matcherNode) ? "new" : "; new",
+                        replacement: nodeIsChildOfExpressionStatement(this.#compiler, assertionNode.matcherNode) ? "; new" : "new",
                     },
                     { start: expectEnd, end: matcherNameEnd },
                 ]);
@@ -3618,11 +3614,11 @@ class ExpectDiagnosticText {
     static isNotAssignableWith(sourceTypeText, targetTypeText) {
         return `Type '${sourceTypeText}' is not assignable with type '${targetTypeText}'.`;
     }
-    static isIdenticalTo(sourceTypeText, targetTypeText) {
-        return `Type '${sourceTypeText}' is identical to type '${targetTypeText}'.`;
+    static isTheSame(sourceTypeText, targetTypeText) {
+        return `Type '${sourceTypeText}' is the same as type '${targetTypeText}'.`;
     }
-    static isNotIdenticalTo(sourceTypeText, targetTypeText) {
-        return `Type '${sourceTypeText}' is not identical to type '${targetTypeText}'.`;
+    static isNotTheSame(sourceTypeText, targetTypeText) {
+        return `Type '${sourceTypeText}' is not the same as type '${targetTypeText}'.`;
     }
     static isNotCompatibleWith(sourceTypeText, targetTypeText) {
         return `Type '${sourceTypeText}' is not compatible with type '${targetTypeText}'.`;
@@ -3635,6 +3631,12 @@ class ExpectDiagnosticText {
     }
 }
 
+var Relation;
+(function (Relation) {
+    Relation["Assignable"] = "assignable";
+    Relation["Identical"] = "identical";
+})(Relation || (Relation = {}));
+
 class MatchWorker {
     assertion;
     #compiler;
@@ -3659,27 +3661,25 @@ class MatchWorker {
             .some((property) => this.#compiler.unescapeLeadingUnderscores(property.escapedName) === propertyNameText);
     }
     checkIsAssignableTo(sourceNode, targetNode) {
-        const relation = this.typeChecker.relation.assignable;
-        return this.#checkIsRelatedTo(sourceNode, targetNode, relation);
+        return this.#checkIsRelatedTo(sourceNode, targetNode, Relation.Assignable);
     }
     checkIsAssignableWith(sourceNode, targetNode) {
-        const relation = this.typeChecker.relation.assignable;
-        return this.#checkIsRelatedTo(targetNode, sourceNode, relation);
+        return this.#checkIsRelatedTo(targetNode, sourceNode, Relation.Assignable);
     }
     checkIsIdenticalTo(sourceNode, targetNode) {
-        const relation = this.typeChecker.relation.identity;
-        return (this.#checkIsRelatedTo(sourceNode, targetNode, relation) &&
+        return (this.#checkIsRelatedTo(sourceNode, targetNode, Relation.Identical) &&
             this.checkIsAssignableTo(sourceNode, targetNode) &&
             this.checkIsAssignableWith(sourceNode, targetNode));
     }
     #checkIsRelatedTo(sourceNode, targetNode, relation) {
-        const sourceType = relation === this.typeChecker.relation.identity
-            ? this.#simplifyType(this.getType(sourceNode))
-            : this.getType(sourceNode);
-        const targetType = relation === this.typeChecker.relation.identity
-            ? this.#simplifyType(this.getType(targetNode))
-            : this.getType(targetNode);
-        return this.typeChecker.isTypeRelatedTo(sourceType, targetType, relation);
+        const sourceType = relation === "identical" ? this.#simplifyType(this.getType(sourceNode)) : this.getType(sourceNode);
+        const targetType = relation === "identical" ? this.#simplifyType(this.getType(targetNode)) : this.getType(targetNode);
+        switch (relation) {
+            case Relation.Assignable:
+                return this.typeChecker.isTypeAssignableTo(sourceType, targetType);
+            case Relation.Identical:
+                return this.typeChecker.isTypeIdenticalTo(sourceType, targetType);
+        }
     }
     extendsObjectType(type) {
         const nonPrimitiveType = { flags: this.#compiler.TypeFlags.NonPrimitive };
@@ -3723,7 +3723,7 @@ class MatchWorker {
     #simplifyType(type) {
         if (type.isUnionOrIntersection()) {
             const candidateType = this.#simplifyType(type.types[0]);
-            if (type.types.every((type) => this.typeChecker.isTypeRelatedTo(this.#simplifyType(type), candidateType, this.typeChecker.relation.identity))) {
+            if (type.types.every((type) => this.typeChecker.isTypeIdenticalTo(this.#simplifyType(type), candidateType))) {
                 return candidateType;
             }
         }
@@ -3938,8 +3938,8 @@ class RelationMatcherBase {
 }
 
 class ToBe extends RelationMatcherBase {
-    explainText = ExpectDiagnosticText.isIdenticalTo;
-    explainNotText = ExpectDiagnosticText.isNotIdenticalTo;
+    explainText = ExpectDiagnosticText.isTheSame;
+    explainNotText = ExpectDiagnosticText.isNotTheSame;
     match(matchWorker, sourceNode, targetNode) {
         return {
             explain: () => this.explain(matchWorker, sourceNode, targetNode),
@@ -4762,7 +4762,7 @@ class TaskRunner {
 class Runner {
     #eventEmitter = new EventEmitter();
     #resolvedConfig;
-    static version = "4.0.0-beta.9";
+    static version = "4.0.0-rc.0";
     constructor(resolvedConfig) {
         this.#resolvedConfig = resolvedConfig;
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tstyche",
-  "version": "4.0.0-beta.9",
+  "version": "4.0.0-rc.0",
   "description": "The Essential Type Testing Tool.",
   "keywords": [
     "typescript",
@@ -31,50 +31,6 @@
   "main": "./build/index.js",
   "types": "./build/index.d.ts",
   "bin": "./build/bin.js",
-  "files": [
-    "build/*"
-  ],
-  "scripts": {
-    "bench": "./benchmarks/tstyche.bench.sh",
-    "build": "rollup --config rollup.config.js",
-    "build:watch": "yarn build --sourcemap --watch",
-    "check": "yarn check:spelling && yarn check:types",
-    "check:spelling": "cspell --config cspell.config.json --quiet",
-    "check:types": "tsc --noEmit --project tsconfig.json",
-    "format": "biome format --write",
-    "generate": "yarn generate:schema && yarn generate:types",
-    "generate:schema": "node ./scripts/generate-schema.js",
-    "generate:types": "node ./scripts/generate-types.js",
-    "lint": "biome lint --write",
-    "prepublish": "yarn build",
-    "test": "yarn test:unit && yarn test:e2e",
-    "test:coverage": "yarn test:coverage:collect && yarn test:coverage:report",
-    "test:coverage:collect": "yarn build --sourcemap && NODE_V8_COVERAGE='./coverage/v8-coverage' yarn test:e2e",
-    "test:coverage:report": "node ./scripts/report-coverage.js",
-    "test:e2e": "yarn test:e2e:parallel && yarn test:e2e:serial",
-    "test:e2e:parallel": "yarn test:run tests/*.test.js --exclude feature --parallel",
-    "test:e2e:serial": "yarn test:run tests/*.test.js --include feature",
-    "test:examples": "NODE_OPTIONS='--import ts-blank-space/register' tstyche examples",
-    "test:run": "rm -rf ./tests/__fixtures__/.generated && yarn node ./tests/__utilities__/runner.js",
-    "test:types": "tstyche typetests",
-    "test:unit": "yarn test:run **/__tests__/*.test.js --parallel"
-  },
-  "devDependencies": {
-    "@biomejs/biome": "1.9.4",
-    "@rollup/plugin-typescript": "12.1.2",
-    "@types/node": "22.15.15",
-    "@types/react": "19.1.3",
-    "ajv": "8.17.1",
-    "cspell": "9.0.0",
-    "magic-string": "0.30.17",
-    "monocart-coverage-reports": "2.12.4",
-    "pretty-ansi": "3.0.0",
-    "rollup": "4.40.2",
-    "rollup-plugin-dts": "6.2.1",
-    "ts-blank-space": "0.6.1",
-    "tslib": "2.8.1",
-    "typescript": "5.8.3"
-  },
   "peerDependencies": {
     "typescript": ">=4.7"
   },
@@ -83,7 +39,6 @@
       "optional": true
     }
   },
-  "packageManager": "yarn@4.9.1",
   "engines": {
     "node": ">=20.9"
   }