@tsonic/frontend 0.0.15 → 0.0.16

package/dist/ir/type-system/core.js

@@ -1,456 +0,0 @@
-/**
- * TypeSystem Core Implementation
- *
- * Implements the TypeSystem interface using TypeRegistry, NominalEnv,
- * and HandleRegistry. This is the single source of truth for all type queries.
- *
- * INVARIANT INV-0: No ts.Type or computed type APIs are used here.
- * All type information comes from:
- * 1. HandleRegistry (declaration TypeNodes from Binding layer)
- * 2. TypeRegistry (nominal type declarations)
- * 3. NominalEnv (inheritance chain + substitution)
- */
-import { substituteIrType, typesEqual } from "../types/index.js";
-import { typeOk, typeError, signatureOk, unknownType, voidType, } from "./types.js";
-import { createDiagnostic } from "../../types/diagnostic.js";
-/**
- * Create a TypeSystem instance.
- */
-export const createTypeSystem = (config) => {
-    const { registry, nominalEnv, handleRegistry, convertTypeNode, binding } = config;
-    // ─────────────────────────────────────────────────────────────────────────
-    // CORE QUERIES
-    // ─────────────────────────────────────────────────────────────────────────
-    const getDeclType = (decl) => {
-        const info = handleRegistry.getDecl(decl);
-        if (!info) {
-            return typeError([
-                createDiagnostic("TSN5203", "error", "Cannot resolve declaration type"),
-            ]);
-        }
-        // If we have an explicit type annotation, convert it
-        if (info.typeNode) {
-            const irType = convertTypeNode(info.typeNode, binding);
-            return typeOk(irType);
-        }
-        // For declarations without explicit type, return unknownType with diagnostic
-        return typeError([
-            createDiagnostic("TSN5201", "error", `Declaration '${info.fqName ?? "unknown"}' requires explicit type annotation`),
-        ]);
-    };
-    const getSignature = (sig) => {
-        const info = handleRegistry.getSignature(sig);
-        if (!info) {
-            return {
-                parameters: [],
-                returnType: unknownType,
-                diagnostics: [
-                    createDiagnostic("TSN5203", "error", "Cannot resolve signature"),
-                ],
-            };
-        }
-        // Convert parameters
-        const parameters = info.parameters.map((p) => ({
-            name: p.name,
-            type: p.typeNode
-                ? convertTypeNode(p.typeNode, binding)
-                : unknownType,
-            isOptional: p.isOptional,
-            isRest: p.isRest,
-        }));
-        // Convert return type
-        const returnType = info.returnTypeNode
-            ? convertTypeNode(info.returnTypeNode, binding)
-            : voidType;
-        // Convert type parameters
-        const typeParameters = info.typeParameters?.map((tp) => ({
-            name: tp.name,
-            constraint: tp.constraintNode
-                ? convertTypeNode(tp.constraintNode, binding)
-                : undefined,
-            defaultType: tp.defaultNode
-                ? convertTypeNode(tp.defaultNode, binding)
-                : undefined,
-        }));
-        return signatureOk(parameters, returnType, typeParameters);
-    };
-    const getMemberType = (_type, member) => {
-        const info = handleRegistry.getMember(member);
-        if (!info) {
-            return typeError([
-                createDiagnostic("TSN5203", "error", `Cannot resolve member '${member.name}'`),
-            ]);
-        }
-        if (!info.typeNode) {
-            return typeError([
-                createDiagnostic("TSN5201", "error", `Member '${member.name}' requires explicit type annotation`),
-            ]);
-        }
-        const irType = convertTypeNode(info.typeNode, binding);
-        return typeOk(irType);
-    };
-    const instantiate = (type, args) => {
-        if (type.kind !== "referenceType") {
-            return typeOk(type); // Non-reference types don't have type parameters
-        }
-        // Look up the type in registry to get its type parameters
-        const entry = registry.resolveBySimpleName(type.name);
-        if (!entry) {
-            // Type not in registry - just attach type arguments
-            return typeOk({
-                ...type,
-                typeArguments: args,
-            });
-        }
-        // Build substitution map
-        const subst = new Map();
-        entry.typeParameters.forEach((param, i) => {
-            const arg = args[i];
-            if (arg !== undefined) {
-                subst.set(param.name, arg);
-            }
-        });
-        // Substitute in structural members if present
-        const substitutedMembers = type.structuralMembers?.map((m) => substituteIrMember(m, subst));
-        return typeOk({
-            ...type,
-            typeArguments: args,
-            structuralMembers: substitutedMembers,
-        });
-    };
-    const getExpectedType = (_position) => {
-        // This is a simplified implementation
-        // The full implementation would walk up the AST to find contextual type
-        // For now, return unknownType - the actual implementation is in helpers.ts
-        return typeOk(unknownType);
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // UTILITY TYPE EXPANSION
-    // ─────────────────────────────────────────────────────────────────────────
-    const expandUtilityType = (utilityName, typeArgs, _sourceTypeArgs) => {
-        const firstArg = typeArgs[0];
-        if (!firstArg) {
-            return typeError([
-                createDiagnostic("TSN7414", "error", `Utility type '${utilityName}' requires a type argument`),
-            ]);
-        }
-        switch (utilityName) {
-            case "NonNullable":
-                return expandNonNullable(firstArg);
-            case "Partial":
-            case "Required":
-            case "Readonly":
-                return expandMappedUtility(utilityName, firstArg);
-            default:
-                return typeError([
-                    createDiagnostic("TSN7414", "error", `Utility type '${utilityName}' expansion not yet implemented in TypeSystem`),
-                ]);
-        }
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // STRUCTURAL OPERATIONS
-    // ─────────────────────────────────────────────────────────────────────────
-    const getStructuralMembers = (type) => {
-        if (type.kind === "objectType") {
-            return type.members.map((m) => memberToResult(m, type));
-        }
-        if (type.kind === "referenceType" && type.structuralMembers) {
-            return type.structuralMembers.map((m) => memberToResult(m, type));
-        }
-        if (type.kind === "referenceType") {
-            // Look up in registry and get members
-            const entry = registry.resolveBySimpleName(type.name);
-            if (!entry)
-                return [];
-            const members = [];
-            entry.members.forEach((info, name) => {
-                if (info.kind === "property" && info.type) {
-                    // MemberInfo.type is now pure IrType - no conversion needed
-                    members.push({
-                        name,
-                        type: info.type,
-                        isOptional: info.isOptional,
-                        isReadonly: info.isReadonly,
-                        declaringType: type,
-                    });
-                }
-            });
-            // Include inherited members via NominalEnv
-            const fqName = registry.getFQName(type.name);
-            if (fqName) {
-                const chain = nominalEnv.getInheritanceChain(fqName);
-                for (const parentFqName of chain.slice(1)) {
-                    const parentEntry = registry.resolveNominal(parentFqName);
-                    if (!parentEntry)
-                        continue;
-                    // Get substitution for this parent
-                    const subst = nominalEnv.getInstantiation(fqName, type.typeArguments ?? [], parentFqName);
-                    parentEntry.members.forEach((info, name) => {
-                        // Skip if already have this member (child overrides)
-                        if (members.some((m) => m.name === name))
-                            return;
-                        if (info.kind === "property" && info.type) {
-                            // MemberInfo.type is now pure IrType - apply substitution directly
-                            const memberType = subst
-                                ? substituteIrType(info.type, subst)
-                                : info.type;
-                            members.push({
-                                name,
-                                type: memberType,
-                                isOptional: info.isOptional,
-                                isReadonly: info.isReadonly,
-                                declaringType: {
-                                    kind: "referenceType",
-                                    name: parentEntry.name,
-                                },
-                            });
-                        }
-                    });
-                }
-            }
-            return members;
-        }
-        return [];
-    };
-    const resolvePropertyAccess = (type, propertyName) => {
-        // Handle arrays
-        if (type.kind === "arrayType") {
-            if (propertyName === "length") {
-                return typeOk({ kind: "primitiveType", name: "int" });
-            }
-            return typeError([
-                createDiagnostic("TSN5203", "error", `Property '${propertyName}' not found on array type`),
-            ]);
-        }
-        // Handle tuples
-        if (type.kind === "tupleType") {
-            const index = parseInt(propertyName, 10);
-            const element = type.elementTypes[index];
-            if (!isNaN(index) && index >= 0 && element !== undefined) {
-                return typeOk(element);
-            }
-            if (propertyName === "length") {
-                return typeOk({
-                    kind: "literalType",
-                    value: type.elementTypes.length,
-                });
-            }
-        }
-        // Handle objects and references
-        const members = getStructuralMembers(type);
-        const member = members.find((m) => m.name === propertyName);
-        if (member) {
-            return typeOk(member.type);
-        }
-        return typeError([
-            createDiagnostic("TSN5203", "error", `Property '${propertyName}' not found on type`),
-        ]);
-    };
-    const synthesizeObjectType = (properties) => {
-        const members = properties.map((p) => ({
-            kind: "propertySignature",
-            name: p.name,
-            type: p.value,
-            isOptional: p.isOptional ?? false,
-            isReadonly: false,
-        }));
-        return typeOk({
-            kind: "objectType",
-            members,
-        });
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // SUBSTITUTION & INHERITANCE
-    // ─────────────────────────────────────────────────────────────────────────
-    const substitute = (type, substitutions) => {
-        return substituteIrType(type, substitutions);
-    };
-    const getInheritanceChain = (type) => {
-        const fqName = registry.getFQName(type.name);
-        if (!fqName)
-            return [type];
-        const chain = nominalEnv.getInheritanceChain(fqName);
-        return chain.map((name) => {
-            const entry = registry.resolveNominal(name);
-            return {
-                kind: "referenceType",
-                name: entry?.name ?? name,
-            };
-        });
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // TYPE COMPARISON
-    // ─────────────────────────────────────────────────────────────────────────
-    const typesEqualFn = (a, b) => {
-        return typesEqual(a, b);
-    };
-    const isAssignableTo = (source, target) => {
-        // Simple structural check for now
-        if (typesEqual(source, target))
-            return true;
-        // any is assignable to anything
-        if (source.kind === "anyType")
-            return true;
-        // anything is assignable to any
-        if (target.kind === "anyType")
-            return true;
-        // unknown accepts anything
-        if (target.kind === "unknownType")
-            return true;
-        // null/undefined assignable to optional types
-        if (source.kind === "primitiveType") {
-            if (source.name === "null" || source.name === "undefined") {
-                if (target.kind === "unionType") {
-                    return target.types.some((t) => t.kind === "primitiveType" &&
-                        (t.name === "null" || t.name === "undefined"));
-                }
-            }
-        }
-        // TODO: More complex subtype checks
-        return false;
-    };
-    return {
-        getDeclType,
-        getSignature,
-        getMemberType,
-        instantiate,
-        getExpectedType,
-        expandUtilityType,
-        getStructuralMembers,
-        resolvePropertyAccess,
-        synthesizeObjectType,
-        substitute,
-        getInheritanceChain,
-        typesEqual: typesEqualFn,
-        isAssignableTo,
-    };
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// HELPER FUNCTIONS
-// ═══════════════════════════════════════════════════════════════════════════
-const substituteIrMember = (member, subst) => {
-    if (member.kind === "propertySignature") {
-        return {
-            ...member,
-            type: substituteIrType(member.type, subst),
-        };
-    }
-    if (member.kind === "methodSignature") {
-        return {
-            ...member,
-            parameters: member.parameters.map((p) => ({
-                ...p,
-                type: p.type ? substituteIrType(p.type, subst) : undefined,
-            })),
-            returnType: member.returnType
-                ? substituteIrType(member.returnType, subst)
-                : undefined,
-        };
-    }
-    return member;
-};
-const memberToResult = (member, declaringType) => {
-    if (member.kind === "propertySignature") {
-        return {
-            name: member.name,
-            type: member.type,
-            isOptional: member.isOptional,
-            isReadonly: member.isReadonly,
-            declaringType,
-        };
-    }
-    // Method signature
-    return {
-        name: member.name,
-        type: getFunctionTypeForMethod(member),
-        isOptional: false,
-        isReadonly: false,
-        declaringType,
-    };
-};
-const getFunctionTypeForMethod = (method) => {
-    return {
-        kind: "functionType",
-        parameters: method.parameters.map((p) => ({
-            kind: "parameter",
-            pattern: {
-                kind: "identifierPattern",
-                name: getParameterName(p),
-            },
-            type: p.type,
-            isOptional: p.isOptional,
-            isRest: p.isRest,
-            passing: p.passing,
-        })),
-        returnType: method.returnType ?? voidType,
-    };
-};
-const getParameterName = (p) => {
-    if (p.pattern.kind === "identifierPattern" && p.pattern.name) {
-        return p.pattern.name;
-    }
-    return "param";
-};
-// ─────────────────────────────────────────────────────────────────────────
-// UTILITY TYPE HELPERS
-// ─────────────────────────────────────────────────────────────────────────
-const expandNonNullable = (type) => {
-    if (type.kind !== "unionType") {
-        // Not a union, check if it's null/undefined directly
-        if (type.kind === "primitiveType") {
-            if (type.name === "null" || type.name === "undefined") {
-                return typeOk({ kind: "neverType" });
-            }
-        }
-        return typeOk(type);
-    }
-    // Filter out null and undefined from union
-    const filtered = type.types.filter((t) => {
-        if (t.kind === "primitiveType") {
-            return t.name !== "null" && t.name !== "undefined";
-        }
-        return true;
-    });
-    if (filtered.length === 0) {
-        return typeOk({ kind: "neverType" });
-    }
-    const first = filtered[0];
-    if (filtered.length === 1 && first !== undefined) {
-        return typeOk(first);
-    }
-    return typeOk({ kind: "unionType", types: filtered });
-};
-const expandMappedUtility = (utilityName, type) => {
-    // Only works on object/reference types
-    if (type.kind !== "objectType" && type.kind !== "referenceType") {
-        return typeError([
-            createDiagnostic("TSN7414", "error", `${utilityName} requires an object type argument`),
-        ]);
-    }
-    // For reference types without structural members, we can't expand
-    if (type.kind === "referenceType" && !type.structuralMembers) {
-        return typeError([
-            createDiagnostic("TSN7414", "error", `${utilityName} requires a concrete object type, not a type parameter`),
-        ]);
-    }
-    const members = type.kind === "objectType" ? type.members : (type.structuralMembers ?? []);
-    const transformedMembers = members.map((m) => {
-        if (m.kind !== "propertySignature")
-            return m;
-        const prop = m;
-        return {
-            ...prop,
-            isOptional: utilityName === "Partial"
-                ? true
-                : utilityName === "Required"
-                    ? false
-                    : prop.isOptional,
-            isReadonly: utilityName === "Readonly" ? true : prop.isReadonly,
-        };
-    });
-    return typeOk({
-        kind: "objectType",
-        members: transformedMembers,
-    });
-};
-//# sourceMappingURL=core.js.map

package/dist/ir/type-system/core.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/ir/type-system/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAWH,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAuBjE,OAAO,EACL,MAAM,EACN,SAAS,EACT,WAAW,EACX,WAAW,EACX,QAAQ,GACT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAc7D;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAwB,EAAc,EAAE;IACvE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,eAAe,EAAE,OAAO,EAAE,GACtE,MAAM,CAAC;IAET,4EAA4E;IAC5E,eAAe;IACf,4EAA4E;IAE5E,MAAM,WAAW,GAAG,CAAC,IAAY,EAAc,EAAE;QAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,SAAS,CAAC;gBACf,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,iCAAiC,CAAC;aACxE,CAAC,CAAC;QACL,CAAC;QAED,qDAAqD;QACrD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,QAAuB,EAAE,OAAO,CAAC,CAAC;YACtE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;QAED,6EAA6E;QAC7E,OAAO,SAAS,CAAC;YACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gBAAgB,IAAI,CAAC,MAAM,IAAI,SAAS,qCAAqC,CAC9E;SACF,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,GAAgB,EAAmB,EAAE;QACzD,MAAM,IAAI,GAAG,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,WAAW;gBACvB,WAAW,EAAE;oBACX,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,0BAA0B,CAAC;iBACjE;aACF,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAoB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9D,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,QAAQ;gBACd,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAuB,EAAE,OAAO,CAAC;gBACrD,CAAC,CAAC,WAAW;YACf,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM;SACjB,CAAC,CAAC,CAAC;QAEJ,sBAAsB;QACtB,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc;YACpC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,cAA6B,EAAE,OAAO,CAAC;YAC9D,CAAC,CAAC,QAAQ,CAAC;QAEb,0BAA0B;QAC1B,MAAM,cAAc,GAClB,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAChC,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,UAAU,EAAE,EAAE,CAAC,cAAc;gBAC3B,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,cAA6B,EAAE,OAAO,CAAC;gBAC5D,CAAC,CAAC,SAAS;YACb,WAAW,EAAE,EAAE,CAAC,WAAW;gBACzB,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,WAA0B,EAAE,OAAO,CAAC;gBACzD,CAAC,CAAC,SAAS;SACd,CAAC,CAAC,CAAC;QAEN,OAAO,WAAW,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;IAC7D,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,KAAa,EAAE,MAAgB,EAAc,EAAE;QACpE,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,SAAS,CAAC;gBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,0BAA0B,MAAM,CAAC,IAAI,GAAG,CACzC;aACF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;gBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,MAAM,CAAC,IAAI,qCAAqC,CAC5D;aACF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,QAAuB,EAAE,OAAO,CAAC,CAAC;QACtE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,IAAuB,EAAc,EAAE;QACxE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,iDAAiD;QACxE,CAAC;QAED,0DAA0D;QAC1D,MAAM,KAAK,GAAG,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,oDAAoD;YACpD,OAAO,MAAM,CAAC;gBACZ,GAAG,IAAI;gBACP,aAAa,EAAE,IAAI;aACpB,CAAC,CAAC;QACL,CAAC;QAED,yBAAyB;QACzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YACxC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3D,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,CAC7B,CAAC;QAEF,OAAO,MAAM,CAAC;YACZ,GAAG,IAAI;YACP,aAAa,EAAE,IAAI;YACnB,iBAAiB,EAAE,kBAAkB;SACtC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,CAAC,SAAyB,EAAc,EAAE;QAChE,sCAAsC;QACtC,wEAAwE;QACxE,2EAA2E;QAC3E,OAAO,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,4EAA4E;IAC5E,yBAAyB;IACzB,4EAA4E;IAE5E,MAAM,iBAAiB,GAAG,CACxB,WAA4B,EAC5B,QAA2B,EAC3B,eAAyB,EACb,EAAE;QACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;gBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iBAAiB,WAAW,4BAA4B,CACzD;aACF,CAAC,CAAC;QACL,CAAC;QAED,QAAQ,WAAW,EAAE,CAAC;YACpB,KAAK,aAAa;gBAChB,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAErC,KAAK,SAAS,CAAC;YACf,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU;gBACb,OAAO,mBAAmB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YAEpD;gBACE,OAAO,SAAS,CAAC;oBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iBAAiB,WAAW,+CAA+C,CAC5E;iBACF,CAAC,CAAC;QACP,CAAC;IACH,CAAC,CAAC;IAEF,4EAA4E;IAC5E,wBAAwB;IACxB,4EAA4E;IAE5E,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAA2B,EAAE;QACrE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC5D,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACpE,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,sCAAsC;YACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK;gBAAE,OAAO,EAAE,CAAC;YAEtB,MAAM,OAAO,GAAmB,EAAE,CAAC;YACnC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC1C,4DAA4D;oBAC5D,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI;wBACJ,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,aAAa,EAAE,IAAI;qBACpB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,2CAA2C;YAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,UAAU,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gBACrD,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,MAAM,WAAW,GAAG,QAAQ,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;oBAC1D,IAAI,CAAC,WAAW;wBAAE,SAAS;oBAE3B,mCAAmC;oBACnC,MAAM,KAAK,GAAG,UAAU,CAAC,gBAAgB,CACvC,MAAM,EACN,IAAI,CAAC,aAAa,IAAI,EAAE,EACxB,YAAY,CACb,CAAC;oBAEF,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;wBACzC,qDAAqD;wBACrD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;4BAAE,OAAO;wBAEjD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;4BAC1C,mEAAmE;4BACnE,MAAM,UAAU,GAAG,KAAK;gCACtB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;gCACpC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;4BACd,OAAO,CAAC,IAAI,CAAC;gCACX,IAAI;gCACJ,IAAI,EAAE,UAAU;gCAChB,UAAU,EAAE,IAAI,CAAC,UAAU;gCAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;gCAC3B,aAAa,EAAE;oCACb,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,WAAW,CAAC,IAAI;iCACvB;6BACF,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,YAAoB,EACR,EAAE;QACd,gBAAgB;QAChB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,OAAO,SAAS,CAAC;gBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,aAAa,YAAY,2BAA2B,CACrD;aACF,CAAC,CAAC;QACL,CAAC;QAED,gBAAgB;QAChB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBACzD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;YACD,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC;oBACZ,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAC5D,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,SAAS,CAAC;YACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,aAAa,YAAY,qBAAqB,CAC/C;SACF,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,oBAAoB,GAAG,CAC3B,UAAmC,EACvB,EAAE;QACd,MAAM,OAAO,GAAwB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,KAAK;YACb,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;YACjC,UAAU,EAAE,KAAK;SAClB,CAAC,CAAC,CAAC;QAEJ,OAAO,MAAM,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,OAAO;SACR,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,4EAA4E;IAC5E,6BAA6B;IAC7B,4EAA4E;IAE5E,MAAM,UAAU,GAAG,CACjB,IAAY,EACZ,aAA+B,EACvB,EAAE;QACV,OAAO,gBAAgB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC/C,CAAC,CAAC;IAEF,MAAM,mBAAmB,GAAG,CAAC,IAAqB,EAAqB,EAAE;QACvE,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAE3B,MAAM,KAAK,GAAG,UAAU,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO;gBACL,IAAI,EAAE,eAAwB;gBAC9B,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,IAAI;aAC1B,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E,MAAM,YAAY,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;QACrD,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,MAAc,EAAW,EAAE;QACjE,kCAAkC;QAClC,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAE5C,gCAAgC;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAE3C,gCAAgC;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAE3C,2BAA2B;QAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,IAAI,CAAC;QAE/C,8CAA8C;QAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC1D,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAChC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,eAAe;wBAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAChD,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,oCAAoC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,OAAO;QACL,WAAW;QACX,YAAY;QACZ,aAAa;QACb,WAAW;QACX,eAAe;QACf,iBAAiB;QACjB,oBAAoB;QACpB,qBAAqB;QACrB,oBAAoB;QACpB,UAAU;QACV,mBAAmB;QACnB,UAAU,EAAE,YAAY;QACxB,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,kBAAkB,GAAG,CACzB,MAAyB,EACzB,KAAuB,EACJ,EAAE;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;SAC3C,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACtC,OAAO;YACL,GAAG,MAAM;YACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxC,GAAG,CAAC;gBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;aAC3D,CAAC,CAAC;YACH,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC3B,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC;gBAC5C,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,MAAyB,EACzB,aAAqB,EACP,EAAE;IAChB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,aAAa;SACd,CAAC;IACJ,CAAC;IACD,mBAAmB;IACnB,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,wBAAwB,CAAC,MAAM,CAAC;QACtC,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,aAAa;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,MAAyB,EAAU,EAAE;IACrE,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE;gBACP,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC;aAC1B;YACD,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC;QACH,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,QAAQ;KAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,CAEzB,EAAU,EAAE;IACX,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7D,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,uBAAuB;AACvB,4EAA4E;AAE5E,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAc,EAAE;IACrD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,qDAAqD;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACtD,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC/B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;QACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACjD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,WAAgD,EAChD,IAAY,EACA,EAAE;IACd,uCAAuC;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;YACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,GAAG,WAAW,mCAAmC,CAClD;SACF,CAAC,CAAC;IACL,CAAC;IAED,kEAAkE;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC7D,OAAO,SAAS,CAAC;YACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,GAAG,WAAW,wDAAwD,CACvE;SACF,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GACX,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;IAE7E,MAAM,kBAAkB,GAAwB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChE,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAwB,CAAC;QACtC,OAAO;YACL,GAAG,IAAI;YACP,UAAU,EACR,WAAW,KAAK,SAAS;gBACvB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,WAAW,KAAK,UAAU;oBAC1B,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,IAAI,CAAC,UAAU;YACvB,UAAU,EAAE,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;SAChE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;QACZ,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,kBAAkB;KAC5B,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/patterns.d.ts

@@ -1,12 +0,0 @@
-/**
- * Binding pattern converter - TypeScript patterns to IR patterns
- */
-import * as ts from "typescript";
-import { IrPattern } from "../../../types/helpers.js";
-import type { Binding } from "../../../binding/index.js";
-/**
- * Convert TypeScript binding name to IR pattern.
- * Optionally accepts a Binding for expression conversion (defaults, etc.)
- */
-export declare const convertBindingName: (name: ts.BindingName, binding?: Binding) => IrPattern;
-//# sourceMappingURL=patterns.d.ts.map

package/dist/ir/type-system/internal/type-converter/patterns.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/patterns.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,SAAS,EAGV,MAAM,2BAA2B,CAAC;AAEnC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,WAAW,EACpB,UAAU,OAAO,KAChB,SAgFF,CAAC"}

package/dist/ir/type-system/internal/type-converter/patterns.js

@@ -1,82 +0,0 @@
-/**
- * Binding pattern converter - TypeScript patterns to IR patterns
- */
-import * as ts from "typescript";
-import { convertExpression } from "../../../expression-converter.js";
-/**
- * Convert TypeScript binding name to IR pattern.
- * Optionally accepts a Binding for expression conversion (defaults, etc.)
- */
-export const convertBindingName = (name, binding) => {
-    if (ts.isIdentifier(name)) {
-        return {
-            kind: "identifierPattern",
-            name: name.text,
-        };
-    }
-    if (ts.isArrayBindingPattern(name)) {
-        return {
-            kind: "arrayPattern",
-            elements: name.elements.map((elem) => {
-                if (ts.isOmittedExpression(elem)) {
-                    return undefined; // Hole in array pattern
-                }
-                if (ts.isBindingElement(elem)) {
-                    const isRest = !!elem.dotDotDotToken;
-                    const defaultExpr = elem.initializer && binding
-                        ? convertExpression(elem.initializer, binding, undefined)
-                        : undefined;
-                    return {
-                        pattern: convertBindingName(elem.name, binding),
-                        defaultExpr,
-                        isRest: isRest || undefined,
-                    };
-                }
-                return undefined;
-            }),
-        };
-    }
-    if (ts.isObjectBindingPattern(name)) {
-        const properties = [];
-        name.elements.forEach((elem) => {
-            if (elem.dotDotDotToken) {
-                // Rest property: { ...rest }
-                // Note: restShapeMembers and restSynthTypeName are computed later
-                // during rest type synthesis pass
-                properties.push({
-                    kind: "rest",
-                    pattern: convertBindingName(elem.name, binding),
-                });
-            }
-            else {
-                const key = elem.propertyName
-                    ? ts.isIdentifier(elem.propertyName)
-                        ? elem.propertyName.text
-                        : elem.propertyName.getText()
-                    : ts.isIdentifier(elem.name)
-                        ? elem.name.text
-                        : "[computed]";
-                const defaultExpr = elem.initializer && binding
-                    ? convertExpression(elem.initializer, binding, undefined)
-                    : undefined;
-                properties.push({
-                    kind: "property",
-                    key,
-                    value: convertBindingName(elem.name, binding),
-                    shorthand: !elem.propertyName,
-                    defaultExpr,
-                });
-            }
-        });
-        return {
-            kind: "objectPattern",
-            properties,
-        };
-    }
-    // Default to identifier pattern (should not reach here normally)
-    return {
-        kind: "identifierPattern",
-        name: "_unknown",
-    };
-};
-//# sourceMappingURL=patterns.js.map

package/dist/ir/type-system/internal/type-converter/patterns.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"patterns.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/patterns.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAGrE;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAoB,EACpB,OAAiB,EACN,EAAE;IACb,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAqC,EAAE;gBACtE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,OAAO,SAAS,CAAC,CAAC,wBAAwB;gBAC5C,CAAC;gBACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;oBACrC,MAAM,WAAW,GACf,IAAI,CAAC,WAAW,IAAI,OAAO;wBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC;wBACzD,CAAC,CAAC,SAAS,CAAC;oBAEhB,OAAO;wBACL,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;wBAC/C,WAAW;wBACX,MAAM,EAAE,MAAM,IAAI,SAAS;qBAC5B,CAAC;gBACJ,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,UAAU,GAA8B,EAAE,CAAC;QAEjD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,6BAA6B;gBAC7B,kEAAkE;gBAClE,kCAAkC;gBAClC,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;iBAChD,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY;oBAC3B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC;wBAClC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI;wBACxB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE;oBAC/B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;wBAChB,CAAC,CAAC,YAAY,CAAC;gBAEnB,MAAM,WAAW,GACf,IAAI,CAAC,WAAW,IAAI,OAAO;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC;oBACzD,CAAC,CAAC,SAAS,CAAC;gBAEhB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;oBAC7C,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY;oBAC7B,WAAW;iBACZ,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,UAAU;SACX,CAAC;IACJ,CAAC;IAED,iEAAiE;IACjE,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,UAAU;KACjB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-universe/assembly-catalog.d.ts

@@ -1,44 +0,0 @@
-/**
- * Assembly Type Catalog Loader
- *
- * Loads CLR type metadata from bindings.json and metadata.json files
- * into a queryable catalog structure.
- *
- * INVARIANT INV-CLR: All assembly types loaded here become part of the
- * unified type catalog. No parallel lookup paths allowed.
- *
- * The loader:
- * 1. Scans node_modules/@tsonic/* packages for metadata files
- * 2. Parses metadata.json for type definitions, members, signatures
- * 3. Parses bindings.json for TS ↔ CLR name mappings
- * 4. Converts to NominalEntry structures with proper IrType members
- */
-import type { AssemblyTypeCatalog, NominalEntry, MemberEntry } from "./types.js";
-/**
- * Load all assembly types from node_modules/@tsonic packages.
- *
- * @param nodeModulesPath - Path to node_modules directory
- * @returns AssemblyTypeCatalog with all loaded types
- */
-export declare const loadAssemblyTypeCatalog: (nodeModulesPath: string) => AssemblyTypeCatalog;
-/**
- * Load assembly catalog from a specific package (for testing).
- */
-export declare const loadSinglePackageMetadata: (metadataPath: string) => AssemblyTypeCatalog;
-/**
- * Get a type entry by stableId.
- */
-export declare const getTypeByStableId: (catalog: AssemblyTypeCatalog, stableId: string) => NominalEntry | undefined;
-/**
- * Get a type entry by TS name.
- */
-export declare const getTypeByTsName: (catalog: AssemblyTypeCatalog, tsName: string) => NominalEntry | undefined;
-/**
- * Get a type entry by CLR name.
- */
-export declare const getTypeByClrName: (catalog: AssemblyTypeCatalog, clrName: string) => NominalEntry | undefined;
-/**
- * Get a member from a type by TS name.
- */
-export declare const getMemberByTsName: (catalog: AssemblyTypeCatalog, typeStableId: string, memberTsName: string) => MemberEntry | undefined;
-//# sourceMappingURL=assembly-catalog.d.ts.map

package/dist/ir/type-universe/assembly-catalog.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"assembly-catalog.d.ts","sourceRoot":"","sources":["../../../src/ir/type-universe/assembly-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAKH,OAAO,KAAK,EACV,mBAAmB,EAEnB,YAAY,EAEZ,WAAW,EAUZ,MAAM,YAAY,CAAC;AAudpB;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,iBAAiB,MAAM,KACtB,mBA8CF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,yBAAyB,GACpC,cAAc,MAAM,KACnB,mBA2BF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,mBAAmB,EAC5B,UAAU,MAAM,KACf,YAAY,GAAG,SAEjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,mBAAmB,EAC5B,QAAQ,MAAM,KACb,YAAY,GAAG,SAGjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,SAAS,mBAAmB,EAC5B,SAAS,MAAM,KACd,YAAY,GAAG,SAGjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,mBAAmB,EAC5B,cAAc,MAAM,EACpB,cAAc,MAAM,KACnB,WAAW,GAAG,SAGhB,CAAC"}