@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/types/ir-substitution-builders.d.ts

@@ -0,0 +1,91 @@
+/**
+ * IR Type Substitution -- Substitution Application and Map Builders
+ *
+ * Provides substituteIrType for applying substitutions, and builder
+ * functions for constructing substitution maps from receivers,
+ * explicit type args, and call arguments.
+ */
+import type { IrType } from "./ir-types.js";
+import { type TypeSubstitutionMap, type SubstitutionResult } from "./ir-substitution-core.js";
+/**
+ * Apply type parameter substitutions to an IrType.
+ *
+ * Given a type with type parameters and a substitution map,
+ * returns a new type with all type parameters replaced.
+ *
+ * Examples:
+ * - substituteIrType(T, { "T" -> int }) -> int
+ * - substituteIrType(List<T>, { "T" -> int }) -> List<int>
+ * - substituteIrType(T | null, { "T" -> int }) -> int | null
+ *
+ * If no substitutions apply, returns the original type unchanged.
+ */
+export declare const substituteIrType: (type: IrType, substitutions: TypeSubstitutionMap) => IrType;
+/**
+ * Build IR substitution map from a receiver's type and the formal type parameters.
+ *
+ * Given a receiver like `list: List<int>` and a formal interface with type parameter T,
+ * returns { "T" -> int }.
+ *
+ * This is the IR-level equivalent of buildTypeParameterSubstitutionMap from calls.ts,
+ * but works entirely at the IR level without TS AST archaeology.
+ */
+export declare const buildIrSubstitutionMap: (receiverType: IrType, formalTypeParams: readonly string[]) => TypeSubstitutionMap | undefined;
+/**
+ * Build substitution map from explicit call type arguments.
+ *
+ * For a call like `identity<int>(x)` with formal type param `T`,
+ * returns { "T" -> int }.
+ *
+ * This is binding source #2: explicit type arguments in the call.
+ */
+export declare const buildSubstitutionFromExplicitTypeArgs: (explicitTypeArgs: readonly IrType[], formalTypeParams: readonly string[]) => TypeSubstitutionMap | undefined;
+/**
+ * Build substitution map from call arguments via bounded unification.
+ *
+ * For a call like `identity(a)` where `a: int` and formal param is `x: T`,
+ * returns { "T" -> int }.
+ *
+ * This is binding source #3: argument-driven unification.
+ * No body analysis - just matches argument types against parameter types.
+ *
+ * Returns SubstitutionResult to detect conflicts (TSN5202):
+ * - If T binds to `int` from arg0 and `long` from arg1, returns conflict error
+ */
+export declare const buildSubstitutionFromArguments: (argTypes: readonly (IrType | undefined)[], formalParamTypes: readonly (IrType | undefined)[]) => SubstitutionResult;
+/**
+ * Complete substitution with separate maps for receiver and call type params.
+ * This avoids name collisions between class type params (T in List<T>)
+ * and method type params (T in Select<T>).
+ */
+export type CompleteSubstitution = {
+    readonly receiverSubst: TypeSubstitutionMap;
+    readonly callSubst: TypeSubstitutionMap;
+};
+/**
+ * Result of building complete substitution - success or conflict error.
+ */
+export type CompleteSubstitutionResult = {
+    readonly ok: true;
+    readonly substitution: CompleteSubstitution;
+} | {
+    readonly ok: false;
+    readonly conflict: {
+        readonly param: string;
+        readonly type1: IrType;
+        readonly type2: IrType;
+    };
+};
+/**
+ * Build complete substitution map from all 3 binding sources.
+ *
+ * Keeps receiver and call substitutions SEPARATE to avoid name collisions.
+ *
+ * Priority order for call substitutions:
+ * 1. Explicit call type arguments (e.g., `identity<int>(x)` -> T=int)
+ * 2. Argument-driven unification (e.g., `identity(a:int)` -> T=int)
+ *
+ * Receiver substitutions are separate and used for instantiating member signatures.
+ */
+export declare const buildCompleteSubstitutionMap: (receiverType: IrType | undefined, receiverFormalTypeParams: readonly string[], explicitTypeArgs: readonly IrType[], callFormalTypeParams: readonly string[], argTypes: readonly (IrType | undefined)[], formalParamTypes: readonly (IrType | undefined)[]) => CompleteSubstitutionResult;
+//# sourceMappingURL=ir-substitution-builders.d.ts.map

package/dist/ir/types/ir-substitution-builders.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-substitution-builders.d.ts","sourceRoot":"","sources":["../../../src/ir/types/ir-substitution-builders.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE5C,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EAIxB,MAAM,2BAA2B,CAAC;AAEnC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,eAAe,mBAAmB,KACjC,MAsSF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,kBAAkB,SAAS,MAAM,EAAE,KAClC,mBAAmB,GAAG,SAgBxB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,qCAAqC,GAChD,kBAAkB,SAAS,MAAM,EAAE,EACnC,kBAAkB,SAAS,MAAM,EAAE,KAClC,mBAAmB,GAAG,SAaxB,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,8BAA8B,GACzC,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACzC,kBAAkB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KAChD,kBAkCF,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAC;CACzC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,oBAAoB,CAAA;CAAE,GAClE;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH,CAAC;AAEN;;;;;;;;;;GAUG;AACH,eAAO,MAAM,4BAA4B,GACvC,cAAc,MAAM,GAAG,SAAS,EAChC,0BAA0B,SAAS,MAAM,EAAE,EAC3C,kBAAkB,SAAS,MAAM,EAAE,EACnC,sBAAsB,SAAS,MAAM,EAAE,EACvC,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACzC,kBAAkB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KAChD,0BA8CF,CAAC"}

package/dist/ir/types/ir-substitution-builders.js

@@ -0,0 +1,340 @@
+/**
+ * IR Type Substitution -- Substitution Application and Map Builders
+ *
+ * Provides substituteIrType for applying substitutions, and builder
+ * functions for constructing substitution maps from receivers,
+ * explicit type args, and call arguments.
+ */
+import { normalizedUnionType } from "./type-ops.js";
+import { containsTypeParameter, unify, typesEqual, } from "./ir-substitution-core.js";
+/**
+ * Apply type parameter substitutions to an IrType.
+ *
+ * Given a type with type parameters and a substitution map,
+ * returns a new type with all type parameters replaced.
+ *
+ * Examples:
+ * - substituteIrType(T, { "T" -> int }) -> int
+ * - substituteIrType(List<T>, { "T" -> int }) -> List<int>
+ * - substituteIrType(T | null, { "T" -> int }) -> int | null
+ *
+ * If no substitutions apply, returns the original type unchanged.
+ */
+export const substituteIrType = (type, substitutions) => {
+    if (substitutions.size === 0)
+        return type;
+    const cache = new Map();
+    const substitute = (currentType) => {
+        const cached = cache.get(currentType);
+        if (cached) {
+            return cached;
+        }
+        switch (currentType.kind) {
+            case "typeParameterType": {
+                const substituted = substitutions.get(currentType.name);
+                return substituted ?? currentType;
+            }
+            case "referenceType": {
+                if ((!currentType.typeArguments ||
+                    currentType.typeArguments.length === 0) &&
+                    (!currentType.structuralMembers ||
+                        currentType.structuralMembers.length === 0)) {
+                    const substituted = substitutions.get(currentType.name);
+                    return substituted ?? currentType;
+                }
+                const draft = { ...currentType };
+                cache.set(currentType, draft);
+                const newArgs = currentType.typeArguments?.map((arg) => substitute(arg));
+                const newStructuralMembers = currentType.structuralMembers?.map((member) => {
+                    if (member.kind === "propertySignature") {
+                        return {
+                            ...member,
+                            type: substitute(member.type),
+                        };
+                    }
+                    return {
+                        ...member,
+                        returnType: member.returnType
+                            ? substitute(member.returnType)
+                            : member.returnType,
+                        parameters: member.parameters.map((parameter) => parameter.type
+                            ? {
+                                ...parameter,
+                                type: substitute(parameter.type),
+                            }
+                            : parameter),
+                    };
+                });
+                draft.typeArguments =
+                    newArgs;
+                if (newStructuralMembers !== undefined) {
+                    draft.structuralMembers = newStructuralMembers;
+                }
+                return draft;
+            }
+            case "arrayType": {
+                const draft = { ...currentType };
+                cache.set(currentType, draft);
+                draft.elementType = substitute(currentType.elementType);
+                if (currentType.tuplePrefixElementTypes) {
+                    draft.tuplePrefixElementTypes = currentType.tuplePrefixElementTypes.map((elementType) => substitute(elementType));
+                }
+                if (currentType.tupleRestElementType) {
+                    draft.tupleRestElementType = substitute(currentType.tupleRestElementType);
+                }
+                return draft;
+            }
+            case "tupleType": {
+                const draft = { ...currentType };
+                cache.set(currentType, draft);
+                draft.elementTypes =
+                    currentType.elementTypes.map((elementType) => substitute(elementType));
+                return draft;
+            }
+            case "unionType": {
+                const draft = { ...currentType };
+                cache.set(currentType, draft);
+                const substitutedMembers = currentType.types.map((memberType) => substitute(memberType));
+                const substitutedRuntimeCarrierTypeArguments = currentType.runtimeCarrierTypeArguments?.map(substitute) ??
+                    currentType.runtimeCarrierTypeParameters?.map((typeParameter) => substitute({
+                        kind: "typeParameterType",
+                        name: typeParameter,
+                    }));
+                if (currentType.preserveRuntimeLayout) {
+                    draft.types = substitutedMembers;
+                    draft.runtimeCarrierTypeArguments =
+                        substitutedRuntimeCarrierTypeArguments;
+                    return draft;
+                }
+                const normalized = normalizedUnionType(substitutedMembers, {
+                    ...(currentType.runtimeCarrierFamilyKey !== undefined
+                        ? { runtimeCarrierFamilyKey: currentType.runtimeCarrierFamilyKey }
+                        : {}),
+                    ...(currentType.runtimeCarrierName !== undefined
+                        ? { runtimeCarrierName: currentType.runtimeCarrierName }
+                        : {}),
+                    ...(currentType.runtimeCarrierNamespace !== undefined
+                        ? { runtimeCarrierNamespace: currentType.runtimeCarrierNamespace }
+                        : {}),
+                    ...(currentType.runtimeCarrierTypeParameters !== undefined
+                        ? {
+                            runtimeCarrierTypeParameters: currentType.runtimeCarrierTypeParameters,
+                        }
+                        : {}),
+                    ...(currentType.runtimeCarrierTypeArguments !== undefined
+                        ? {
+                            runtimeCarrierTypeArguments: substitutedRuntimeCarrierTypeArguments,
+                        }
+                        : {}),
+                    ...(currentType.runtimeCarrierTypeArguments === undefined &&
+                        substitutedRuntimeCarrierTypeArguments !== undefined
+                        ? {
+                            runtimeCarrierTypeArguments: substitutedRuntimeCarrierTypeArguments,
+                        }
+                        : {}),
+                });
+                cache.set(currentType, normalized);
+                return normalized;
+            }
+            case "intersectionType": {
+                const draft = { ...currentType };
+                cache.set(currentType, draft);
+                draft.types = currentType.types.map((memberType) => substitute(memberType));
+                return draft;
+            }
+            case "dictionaryType": {
+                const draft = { ...currentType };
+                cache.set(currentType, draft);
+                draft.keyType = substitute(currentType.keyType);
+                draft.valueType = substitute(currentType.valueType);
+                return draft;
+            }
+            case "functionType": {
+                const draft = { ...currentType };
+                cache.set(currentType, draft);
+                draft.returnType = substitute(currentType.returnType);
+                draft.parameters = currentType.parameters.map((parameter) => parameter.type
+                    ? {
+                        ...parameter,
+                        type: substitute(parameter.type),
+                    }
+                    : parameter);
+                return draft;
+            }
+            case "objectType": {
+                const draft = { ...currentType };
+                cache.set(currentType, draft);
+                draft.members =
+                    currentType.members.map((member) => {
+                        if (member.kind === "propertySignature") {
+                            return {
+                                ...member,
+                                type: substitute(member.type),
+                            };
+                        }
+                        return {
+                            ...member,
+                            returnType: member.returnType
+                                ? substitute(member.returnType)
+                                : member.returnType,
+                            parameters: member.parameters.map((parameter) => parameter.type
+                                ? {
+                                    ...parameter,
+                                    type: substitute(parameter.type),
+                                }
+                                : parameter),
+                        };
+                    });
+                return draft;
+            }
+            case "primitiveType":
+            case "literalType":
+            case "anyType":
+            case "unknownType":
+            case "voidType":
+            case "neverType":
+                return currentType;
+        }
+    };
+    return substitute(type);
+};
+/**
+ * Build IR substitution map from a receiver's type and the formal type parameters.
+ *
+ * Given a receiver like `list: List<int>` and a formal interface with type parameter T,
+ * returns { "T" -> int }.
+ *
+ * This is the IR-level equivalent of buildTypeParameterSubstitutionMap from calls.ts,
+ * but works entirely at the IR level without TS AST archaeology.
+ */
+export const buildIrSubstitutionMap = (receiverType, formalTypeParams) => {
+    if (receiverType.kind !== "referenceType")
+        return undefined;
+    const typeArgs = receiverType.typeArguments;
+    if (!typeArgs || typeArgs.length !== formalTypeParams.length)
+        return undefined;
+    const map = new Map();
+    for (let i = 0; i < formalTypeParams.length; i++) {
+        const paramName = formalTypeParams[i];
+        const arg = typeArgs[i];
+        if (paramName && arg) {
+            map.set(paramName, arg);
+        }
+    }
+    return map.size > 0 ? map : undefined;
+};
+/**
+ * Build substitution map from explicit call type arguments.
+ *
+ * For a call like `identity<int>(x)` with formal type param `T`,
+ * returns { "T" -> int }.
+ *
+ * This is binding source #2: explicit type arguments in the call.
+ */
+export const buildSubstitutionFromExplicitTypeArgs = (explicitTypeArgs, formalTypeParams) => {
+    if (explicitTypeArgs.length === 0)
+        return undefined;
+    if (explicitTypeArgs.length !== formalTypeParams.length)
+        return undefined;
+    const map = new Map();
+    for (let i = 0; i < formalTypeParams.length; i++) {
+        const paramName = formalTypeParams[i];
+        const arg = explicitTypeArgs[i];
+        if (paramName && arg) {
+            map.set(paramName, arg);
+        }
+    }
+    return map.size > 0 ? map : undefined;
+};
+/**
+ * Build substitution map from call arguments via bounded unification.
+ *
+ * For a call like `identity(a)` where `a: int` and formal param is `x: T`,
+ * returns { "T" -> int }.
+ *
+ * This is binding source #3: argument-driven unification.
+ * No body analysis - just matches argument types against parameter types.
+ *
+ * Returns SubstitutionResult to detect conflicts (TSN5202):
+ * - If T binds to `int` from arg0 and `long` from arg1, returns conflict error
+ */
+export const buildSubstitutionFromArguments = (argTypes, formalParamTypes) => {
+    const map = new Map();
+    for (let i = 0; i < Math.min(argTypes.length, formalParamTypes.length); i++) {
+        const argType = argTypes[i];
+        const paramType = formalParamTypes[i];
+        if (!argType || !paramType)
+            continue;
+        // If param type contains type parameters, try to unify
+        if (containsTypeParameter(paramType)) {
+            const bindings = unify(paramType, argType);
+            if (bindings) {
+                // Merge bindings into map WITH CONFLICT DETECTION
+                for (const [name, type] of bindings) {
+                    const existing = map.get(name);
+                    if (existing) {
+                        // Check for conflict: same type param bound to different types
+                        if (!typesEqual(existing, type)) {
+                            return {
+                                ok: false,
+                                conflict: { param: name, type1: existing, type2: type },
+                            };
+                        }
+                        // Same type - no conflict, skip
+                    }
+                    else {
+                        map.set(name, type);
+                    }
+                }
+            }
+        }
+    }
+    return { ok: true, map };
+};
+/**
+ * Build complete substitution map from all 3 binding sources.
+ *
+ * Keeps receiver and call substitutions SEPARATE to avoid name collisions.
+ *
+ * Priority order for call substitutions:
+ * 1. Explicit call type arguments (e.g., `identity<int>(x)` -> T=int)
+ * 2. Argument-driven unification (e.g., `identity(a:int)` -> T=int)
+ *
+ * Receiver substitutions are separate and used for instantiating member signatures.
+ */
+export const buildCompleteSubstitutionMap = (receiverType, receiverFormalTypeParams, explicitTypeArgs, callFormalTypeParams, argTypes, formalParamTypes) => {
+    // Receiver substitution - for instantiating member signatures of the receiver type
+    const receiverSubst = receiverType
+        ? (buildIrSubstitutionMap(receiverType, receiverFormalTypeParams) ??
+            new Map())
+        : new Map();
+    // Call substitution - for method type params
+    const callSubst = new Map();
+    // Source 1: Explicit call type arguments (highest priority for call)
+    const explicitSubs = buildSubstitutionFromExplicitTypeArgs(explicitTypeArgs, callFormalTypeParams);
+    if (explicitSubs) {
+        for (const [name, type] of explicitSubs) {
+            callSubst.set(name, type);
+        }
+    }
+    // Source 2: Argument-driven unification (lowest priority, for ergonomics)
+    const argSubsResult = buildSubstitutionFromArguments(argTypes, formalParamTypes);
+    // Check for conflicts in argument-driven unification
+    if (!argSubsResult.ok) {
+        return {
+            ok: false,
+            conflict: argSubsResult.conflict,
+        };
+    }
+    // Merge argument subs (only for type params not already bound)
+    for (const [name, type] of argSubsResult.map) {
+        if (!callSubst.has(name)) {
+            callSubst.set(name, type);
+        }
+    }
+    return {
+        ok: true,
+        substitution: { receiverSubst, callSubst },
+    };
+};
+//# sourceMappingURL=ir-substitution-builders.js.map

package/dist/ir/types/ir-substitution-builders.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-substitution-builders.js","sourceRoot":"","sources":["../../../src/ir/types/ir-substitution-builders.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAGL,qBAAqB,EACrB,KAAK,EACL,UAAU,GACX,MAAM,2BAA2B,CAAC;AAEnC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,aAAkC,EAC1B,EAAE;IACV,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAExC,MAAM,UAAU,GAAG,CAAC,WAAmB,EAAU,EAAE;QACjD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACtC,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC;YACzB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBACxD,OAAO,WAAW,IAAI,WAAW,CAAC;YACpC,CAAC;YAED,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IACE,CAAC,CAAC,WAAW,CAAC,aAAa;oBACzB,WAAW,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;oBACzC,CAAC,CAAC,WAAW,CAAC,iBAAiB;wBAC7B,WAAW,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,EAC7C,CAAC;oBACD,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;oBACxD,OAAO,WAAW,IAAI,WAAW,CAAC;gBACpC,CAAC;gBAED,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,EAG7B,CAAC;gBACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAE9B,MAAM,OAAO,GAAG,WAAW,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrD,UAAU,CAAC,GAAG,CAAC,CAChB,CAAC;gBACF,MAAM,oBAAoB,GAAG,WAAW,CAAC,iBAAiB,EAAE,GAAG,CAC7D,CAAC,MAAM,EAAE,EAAE;oBACT,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,OAAO;4BACL,GAAG,MAAM;4BACT,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;yBAC9B,CAAC;oBACJ,CAAC;oBAED,OAAO;wBACL,GAAG,MAAM;wBACT,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC3B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC;4BAC/B,CAAC,CAAC,MAAM,CAAC,UAAU;wBACrB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,SAAS,CAAC,IAAI;4BACZ,CAAC,CAAC;gCACE,GAAG,SAAS;gCACZ,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;6BACjC;4BACH,CAAC,CAAC,SAAS,CACd;qBACF,CAAC;gBACJ,CAAC,CACF,CAAC;gBAED,KAA+C,CAAC,aAAa;oBAC5D,OAAO,CAAC;gBACV,IAAI,oBAAoB,KAAK,SAAS,EAAE,CAAC;oBAErC,KAKD,CAAC,iBAAiB,GAAG,oBAAoB,CAAC;gBAC7C,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,EAG7B,CAAC;gBACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAE5B,KAKD,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;gBACpD,IAAI,WAAW,CAAC,uBAAuB,EAAE,CAAC;oBAEtC,KAGD,CAAC,uBAAuB,GAAG,WAAW,CAAC,uBAAuB,CAAC,GAAG,CACjE,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CACzC,CAAC;gBACJ,CAAC;gBACD,IAAI,WAAW,CAAC,oBAAoB,EAAE,CAAC;oBAEnC,KAGD,CAAC,oBAAoB,GAAG,UAAU,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC;gBACxE,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,EAG7B,CAAC;gBACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAC7B,KAA6C,CAAC,YAAY;oBACzD,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC3C,UAAU,CAAC,WAAW,CAAC,CACxB,CAAC;gBACJ,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,EAG7B,CAAC;gBACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAC9B,MAAM,kBAAkB,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAC9D,UAAU,CAAC,UAAU,CAAC,CACvB,CAAC;gBACF,MAAM,sCAAsC,GAC1C,WAAW,CAAC,2BAA2B,EAAE,GAAG,CAAC,UAAU,CAAC;oBACxD,WAAW,CAAC,4BAA4B,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAC9D,UAAU,CAAC;wBACT,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,aAAa;qBACpB,CAAC,CACH,CAAC;gBACJ,IAAI,WAAW,CAAC,qBAAqB,EAAE,CAAC;oBAEpC,KAQD,CAAC,KAAK,GAAG,kBAAkB,CAAC;oBAE3B,KAGD,CAAC,2BAA2B;wBAC3B,sCAAsC,CAAC;oBACzC,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,kBAAkB,EAAE;oBACzD,GAAG,CAAC,WAAW,CAAC,uBAAuB,KAAK,SAAS;wBACnD,CAAC,CAAC,EAAE,uBAAuB,EAAE,WAAW,CAAC,uBAAuB,EAAE;wBAClE,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,WAAW,CAAC,kBAAkB,KAAK,SAAS;wBAC9C,CAAC,CAAC,EAAE,kBAAkB,EAAE,WAAW,CAAC,kBAAkB,EAAE;wBACxD,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,WAAW,CAAC,uBAAuB,KAAK,SAAS;wBACnD,CAAC,CAAC,EAAE,uBAAuB,EAAE,WAAW,CAAC,uBAAuB,EAAE;wBAClE,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,WAAW,CAAC,4BAA4B,KAAK,SAAS;wBACxD,CAAC,CAAC;4BACE,4BAA4B,EAC1B,WAAW,CAAC,4BAA4B;yBAC3C;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,WAAW,CAAC,2BAA2B,KAAK,SAAS;wBACvD,CAAC,CAAC;4BACE,2BAA2B,EACzB,sCAAsC;yBACzC;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,WAAW,CAAC,2BAA2B,KAAK,SAAS;wBACzD,sCAAsC,KAAK,SAAS;wBAClD,CAAC,CAAC;4BACE,2BAA2B,EACzB,sCAAsC;yBACzC;wBACH,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC,CAAC;gBACH,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBACnC,OAAO,UAAU,CAAC;YACpB,CAAC;YAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,EAG7B,CAAC;gBACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAC7B,KAAsC,CAAC,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CACnE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CACvC,CAAC;gBACF,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,EAG7B,CAAC;gBACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAE5B,KAID,CAAC,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;gBAE1C,KAGD,CAAC,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;gBAChD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,EAG7B,CAAC;gBACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAE5B,KAID,CAAC,UAAU,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;gBAEhD,KAGD,CAAC,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACtD,SAAS,CAAC,IAAI;oBACZ,CAAC,CAAC;wBACE,GAAG,SAAS;wBACZ,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;qBACjC;oBACH,CAAC,CAAC,SAAS,CACd,CAAC;gBACF,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,KAAK,GAAG,EAAE,GAAG,WAAW,EAG7B,CAAC;gBACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;gBAC7B,KAAiD,CAAC,OAAO;oBACxD,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;wBACjC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;4BACxC,OAAO;gCACL,GAAG,MAAM;gCACT,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;6BAC9B,CAAC;wBACJ,CAAC;wBACD,OAAO;4BACL,GAAG,MAAM;4BACT,UAAU,EAAE,MAAM,CAAC,UAAU;gCAC3B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC;gCAC/B,CAAC,CAAC,MAAM,CAAC,UAAU;4BACrB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,SAAS,CAAC,IAAI;gCACZ,CAAC,CAAC;oCACE,GAAG,SAAS;oCACZ,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;iCACjC;gCACH,CAAC,CAAC,SAAS,CACd;yBACF,CAAC;oBACJ,CAAC,CAAC,CAAC;gBACL,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,eAAe,CAAC;YACrB,KAAK,aAAa,CAAC;YACnB,KAAK,SAAS,CAAC;YACf,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,WAAW,CAAC;QACvB,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,gBAAmC,EACF,EAAE;IACnC,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,QAAQ,GAAG,YAAY,CAAC,aAAa,CAAC;IAC5C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;QAC1D,OAAO,SAAS,CAAC;IAEnB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;YACrB,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,gBAAmC,EACnC,gBAAmC,EACF,EAAE;IACnC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,gBAAgB,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE1E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;YACrB,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,QAAyC,EACzC,gBAAiD,EAC7B,EAAE;IACtB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAEtC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS;YAAE,SAAS;QAErC,uDAAuD;QACvD,IAAI,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC3C,IAAI,QAAQ,EAAE,CAAC;gBACb,kDAAkD;gBAClD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;oBACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,QAAQ,EAAE,CAAC;wBACb,+DAA+D;wBAC/D,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;4BAChC,OAAO;gCACL,EAAE,EAAE,KAAK;gCACT,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE;6BACxD,CAAC;wBACJ,CAAC;wBACD,gCAAgC;oBAClC,CAAC;yBAAM,CAAC;wBACN,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACtB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC3B,CAAC,CAAC;AA0BF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,YAAgC,EAChC,wBAA2C,EAC3C,gBAAmC,EACnC,oBAAuC,EACvC,QAAyC,EACzC,gBAAiD,EACrB,EAAE;IAC9B,mFAAmF;IACnF,MAAM,aAAa,GAAwB,YAAY;QACrD,CAAC,CAAC,CAAC,sBAAsB,CAAC,YAAY,EAAE,wBAAwB,CAAC;YAC/D,IAAI,GAAG,EAAE,CAAC;QACZ,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IAEd,6CAA6C;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE5C,qEAAqE;IACrE,MAAM,YAAY,GAAG,qCAAqC,CACxD,gBAAgB,EAChB,oBAAoB,CACrB,CAAC;IACF,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;YACxC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,MAAM,aAAa,GAAG,8BAA8B,CAClD,QAAQ,EACR,gBAAgB,CACjB,CAAC;IAEF,qDAAqD;IACrD,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,aAAa,CAAC,QAAQ;SACjC,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,aAAa,CAAC,GAAG,EAAE,CAAC;QAC7C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,YAAY,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE;KAC3C,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/types/ir-substitution-core.d.ts

@@ -0,0 +1,55 @@
+/**
+ * IR Type Substitution -- Core Operations
+ *
+ * Provides containsTypeParameter, unify, and typesEqual.
+ * These are the foundational type-analysis operations used by
+ * both substitution and builder modules.
+ */
+import type { IrType } from "./ir-types.js";
+/**
+ * Check if an IrType contains any type parameters (typeParameterType).
+ *
+ * Used to determine if a type needs substitution.
+ * For example:
+ * - `int` -> false (no type parameters)
+ * - `T` -> true (is a type parameter)
+ * - `List<T>` -> true (contains type parameter)
+ * - `List<int>` -> false (fully instantiated)
+ */
+export declare const containsTypeParameter: (type: IrType) => boolean;
+/**
+ * Type substitution map: type parameter name -> concrete IrType
+ */
+export type TypeSubstitutionMap = ReadonlyMap<string, IrType>;
+/**
+ * Result of substitution building - either success with map, or conflict error.
+ * Conflicts occur when the same type parameter binds to different types.
+ */
+export type SubstitutionResult = {
+    readonly ok: true;
+    readonly map: TypeSubstitutionMap;
+} | {
+    readonly ok: false;
+    readonly conflict: {
+        readonly param: string;
+        readonly type1: IrType;
+        readonly type2: IrType;
+    };
+};
+/**
+ * Unify a formal type (with type parameters) against an actual type (instantiated).
+ *
+ * Returns a substitution map if unification succeeds, undefined if it fails.
+ *
+ * Examples:
+ * - unify(T, int) -> { "T" -> int }
+ * - unify(List<T>, List<int>) -> { "T" -> int }
+ * - unify(Map<K, V>, Map<string, int>) -> { "K" -> string, "V" -> int }
+ * - unify(int, string) -> undefined (no type parameters to match)
+ *
+ * The unification is one-way: we're matching the formal type's shape against
+ * the actual type and extracting bindings for type parameters found in formal.
+ */
+export declare const unify: (formal: IrType, actual: IrType) => TypeSubstitutionMap | undefined;
+export declare const typesEqual: (a: IrType, b: IrType) => boolean;
+//# sourceMappingURL=ir-substitution-core.d.ts.map

package/dist/ir/types/ir-substitution-core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-substitution-core.d.ts","sourceRoot":"","sources":["../../../src/ir/types/ir-substitution-core.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AA+D5C;;;;;;;;;GASG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,KAAG,OAkEpD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE9D;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAA;CAAE,GACxD;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH,CAAC;AAEN;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,KAAK,GAChB,QAAQ,MAAM,EACd,QAAQ,MAAM,KACb,mBAAmB,GAAG,SAgIxB,CAAC;AAwGF,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,EAAE,GAAG,MAAM,KAAG,OAkGjD,CAAC"}