xbintsc 0.5.23 → 0.5.32

package/dist/src/checker/typecheck-types.js

@@ -0,0 +1,109 @@
+/**
+ * Type-inference helpers used by the checker: generic substitution, array
+ * element lookup and property lookup. They live on a prototype mixin so the
+ * main walker stays within the repository's per-file line budget.
+ */
+import { SyntaxKind } from "../ast/nodes.js";
+import { ANY, OBJECT_PROTOTYPE_NAMES, unionMembers, unionOf } from "./type-model.js";
+export const typeCheckerMembers = {
+    inferTypeArguments(callee, call, flow, _context) {
+        const substitutions = new Map();
+        const names = new Set(callee.typeParameters.map((parameter) => parameter.name));
+        callee.typeParameters.forEach((parameter, index) => {
+            const argument = call.typeArguments[index];
+            if (argument)
+                substitutions.set(parameter.name, this.resolver.resolve(argument));
+        });
+        for (let index = 0; index < call.arguments.length; index++) {
+            const argument = call.arguments[index];
+            if (argument.kind === SyntaxKind.SpreadElement)
+                continue;
+            const parameter = callee.parameters[Math.min(index, callee.parameters.length - 1)];
+            if (!parameter)
+                continue;
+            const argumentType = this.resolver.inferExpression(argument, (symbol) => this.lookup(symbol.id, flow));
+            const pattern = parameter.rest && parameter.type.kind === "array" ? parameter.type.element : parameter.type;
+            this.inferFromPattern(pattern, argumentType, substitutions, names);
+        }
+        return substitutions;
+    },
+    inferFromPattern(pattern, actual, substitutions, names) {
+        if (pattern.kind === "typeParam" && names.has(pattern.name) && !substitutions.has(pattern.name)) {
+            substitutions.set(pattern.name, actual);
+            return;
+        }
+        if (pattern.kind === "array" && actual.kind === "array") {
+            this.inferFromPattern(pattern.element, actual.element, substitutions, names);
+            return;
+        }
+        if (pattern.kind === "union") {
+            for (const member of pattern.members)
+                this.inferFromPattern(member, actual, substitutions, names);
+        }
+    },
+    substitute(type, substitutions) {
+        if (substitutions.size === 0)
+            return type;
+        switch (type.kind) {
+            case "typeParam":
+                return substitutions.get(type.name) ?? type;
+            case "array":
+                return { kind: "array", element: this.substitute(type.element, substitutions) };
+            case "tuple":
+                return { kind: "tuple", elements: type.elements.map((element) => this.substitute(element, substitutions)) };
+            case "union":
+                return unionOf(type.members.map((member) => this.substitute(member, substitutions)));
+            case "object": {
+                const properties = new Map();
+                for (const [name, property] of type.properties)
+                    properties.set(name, { type: this.substitute(property.type, substitutions), optional: property.optional });
+                return { kind: "object", properties, ...(type.index ? { index: this.substitute(type.index, substitutions) } : {}), closed: type.closed, ...(type.label ? { label: type.label } : {}) };
+            }
+            case "function":
+                return {
+                    kind: "function",
+                    parameters: type.parameters.map((parameter) => ({ ...parameter, type: this.substitute(parameter.type, substitutions) })),
+                    returnType: this.substitute(type.returnType, substitutions),
+                    typeParameters: type.typeParameters,
+                    ...(type.label ? { label: type.label } : {}),
+                };
+            default:
+                return type;
+        }
+    },
+    lookupProperty(base, name) {
+        const members = unionMembers(base).filter((member) => !(member.kind === "primitive" && (member.name === "null" || member.name === "undefined")));
+        if (members.length === 0)
+            return { type: ANY, missing: false };
+        const types = [];
+        let missing = false;
+        for (const member of members) {
+            const found = this.lookupIn(member, name);
+            if (found === undefined)
+                missing = true;
+            else
+                types.push(found);
+        }
+        if (missing)
+            return { type: ANY, missing: true };
+        return { type: unionOf(types), missing: false };
+    },
+    lookupIn(type, name) {
+        if (type.kind === "object") {
+            const property = type.properties.get(name);
+            if (property)
+                return property.type;
+            if (type.index)
+                return type.index;
+            if (OBJECT_PROTOTYPE_NAMES.has(name))
+                return ANY;
+            return type.closed ? undefined : ANY;
+        }
+        // Arrays, tuples, functions and primitives have members this model does
+        // not enumerate; a missing read there is never reported.
+        if (type.kind === "array" || type.kind === "tuple" || type.kind === "function")
+            return ANY;
+        return ANY;
+    },
+};
+//# sourceMappingURL=typecheck-types.js.map

package/dist/src/checker/typecheck-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck-types.js","sourceRoot":"","sources":["../../../src/checker/typecheck-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAuB,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,GAAG,EAAE,sBAAsB,EAAE,YAAY,EAAE,OAAO,EAAa,MAAM,iBAAiB,CAAC;AAYhG,MAAM,CAAC,MAAM,kBAAkB,GAAuB;IACpD,kBAAkB,CAAC,MAA2C,EAAE,IAAoB,EAAE,IAAU,EAAE,QAAsB;QACtH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgB,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,QAAQ;gBAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;QACH,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAE,CAAC;YACxC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa;gBAAE,SAAS;YACzD,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YACnF,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YACvG,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;YAC5G,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,gBAAgB,CAAC,OAAa,EAAE,MAAY,EAAE,aAAgC,EAAE,KAA0B;QACxG,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACxC,OAAO;QACT,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACxD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;YAC7E,OAAO;QACT,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO;gBAAE,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;QACpG,CAAC;IACH,CAAC;IAED,UAAU,CAAC,IAAU,EAAE,aAAwC;QAC7D,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW;gBACd,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;YAC9C,KAAK,OAAO;gBACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC;YAClF,KAAK,OAAO;gBACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;YAC9G,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;YACvF,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6C,CAAC;gBACxE,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,UAAU;oBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC3J,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACzL,CAAC;YACD,KAAK,UAAU;gBACb,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC;oBACxH,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC;oBAC3D,cAAc,EAAE,IAAI,CAAC,cAAc;oBACnC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC7C,CAAC;YACJ;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED,cAAc,CAAC,IAAU,EAAE,IAAY;QACrC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,CACvC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CACtG,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAW,EAAE,CAAC;QACzB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC1C,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,GAAG,IAAI,CAAC;;gBACnC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,OAAO;YAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAClD,CAAC;IAED,QAAQ,CAAC,IAAU,EAAE,IAAY;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC,IAAI,CAAC;YACnC,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAC;YAClC,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,GAAG,CAAC;YACjD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;QACvC,CAAC;QACD,wEAAwE;QACxE,yDAAyD;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,GAAG,CAAC;QAC3F,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

package/dist/src/checker/typecheck.d.ts

@@ -0,0 +1,62 @@
+/**
+ * The type-aware half of the checker: declaration/assignment/return/argument
+ * assignability, property existence on annotated and inferred shapes, and the
+ * small amount of flow narrowing that makes those checks useful inside an
+ * `if (value !== null)` block.
+ *
+ * Every decision is conservative. When the model cannot name a type it uses
+ * `any`, and `any` is compatible with everything; a diagnostic is only emitted
+ * for a definite mismatch.
+ */
+import { type Expression, type SourceFileNode } from "../ast/nodes.js";
+import type { BindResult } from "../binder/binder.js";
+import { type DiagnosticBag } from "../diagnostics/diagnostic.js";
+import { Flow } from "./flow.js";
+import { type Type } from "./type-model.js";
+import { TypeResolver } from "./type-system.js";
+import { type TypeCheckerMembers } from "./typecheck-types.js";
+export interface CheckContext {
+    readonly returnType: Type;
+    readonly thisType?: Type;
+}
+/**
+ * Check declarations, assignments, returns, call arguments and property reads
+ * against the type model. Runs after the simpler passes; it only adds
+ * `TypeMismatch`, `NotCallable` and `PropertyNotFound` diagnostics.
+ */
+export declare function checkTypes(sourceFile: SourceFileNode, binding: BindResult, diagnostics: DiagnosticBag): void;
+export declare class TypeChecker {
+    readonly sourceFile: SourceFileNode;
+    readonly binding: BindResult;
+    readonly diagnostics: DiagnosticBag;
+    readonly resolver: TypeResolver;
+    constructor(sourceFile: SourceFileNode, binding: BindResult, diagnostics: DiagnosticBag);
+    run(): void;
+    private checkStatements;
+    private checkStatement;
+    private checkVariableList;
+    /** `let`/`var` widen literal and array-literal types (`let x = 1` is number). */
+    private widen;
+    private checkForOf;
+    private checkFunction;
+    private checkClass;
+    lookup(symbolId: number, flow: Flow): Type;
+    private checkAssignable;
+    private report;
+    checkExpression(expression: Expression, flow: Flow, context: CheckContext): Type;
+    private checkObjectLiteral;
+    private checkFunctionLike;
+    private checkBinary;
+    /**
+     * The type a value is assigned into. A missing property is not reported on a
+     * write: xbintsc programs legitimately grow an object after its literal
+     * (`const o = {}; o.a = 1`), so the shape is opened instead.
+     */
+    private checkAssignmentTarget;
+    private checkCall;
+    /** Calls can mutate an object argument; open its shape when they might. */
+    private openMutatedArguments;
+    private callMayMutate;
+}
+export interface TypeChecker extends TypeCheckerMembers {
+}