@tsonic/frontend 0.0.13 → 0.0.15

package/dist/ir/type-converter/references.js

@@ -1,371 +0,0 @@
-/**
- * Reference type conversion
- */
-import * as ts from "typescript";
-import { isPrimitiveTypeName, getPrimitiveType, isClrPrimitiveTypeName, getClrPrimitiveType, CLR_PRIMITIVE_TYPE_SET, } from "./primitives.js";
-import { isExpandableUtilityType, expandUtilityType, isExpandableConditionalUtilityType, expandConditionalUtilityType, expandRecordType, } from "./utility-types.js";
-/**
- * Cache for structural member extraction to prevent infinite recursion
- * on recursive types like `type Node = { next: Node }`.
- *
- * Key: ts.Type (by identity)
- * Value: extracted members, null (not extractable), or "in-progress" sentinel
- */
-const structuralMembersCache = new WeakMap();
-/**
- * Check if a type should have structural members extracted.
- *
- * Only extract for:
- * - Interfaces (InterfaceDeclaration)
- * - Type aliases to object types (TypeAliasDeclaration)
- *
- * Do NOT extract for:
- * - Classes (have implementation, not just shape)
- * - Enums, namespaces
- * - Library types (from node_modules or lib.*.d.ts)
- * - CLR interop types
- * - Union/intersection types (ambiguous property semantics)
- */
-const shouldExtractStructuralMembers = (resolvedType, _checker) => {
-    // Don't extract for type parameters
-    if (resolvedType.flags & ts.TypeFlags.TypeParameter) {
-        return false;
-    }
-    // Don't extract for union types (ambiguous property semantics)
-    if (resolvedType.isUnion()) {
-        return false;
-    }
-    // Don't extract for intersection types (conservative)
-    if (resolvedType.isIntersection()) {
-        return false;
-    }
-    // Check the symbol to determine if this is a structural type we should extract
-    const symbol = resolvedType.getSymbol();
-    if (!symbol) {
-        return false;
-    }
-    const declarations = symbol.getDeclarations();
-    if (!declarations || declarations.length === 0) {
-        return false;
-    }
-    // Check if ANY declaration is from a library file (node_modules or lib.*.d.ts)
-    for (const decl of declarations) {
-        const sourceFile = decl.getSourceFile();
-        const fileName = sourceFile.fileName;
-        // Skip library types
-        if (fileName.includes("node_modules") ||
-            fileName.includes("lib.") ||
-            sourceFile.isDeclarationFile) {
-            return false;
-        }
-    }
-    // Check the first declaration to determine type
-    const firstDecl = declarations[0];
-    if (!firstDecl) {
-        return false;
-    }
-    // Only extract for interfaces and type aliases
-    if (ts.isInterfaceDeclaration(firstDecl)) {
-        return true;
-    }
-    if (ts.isTypeAliasDeclaration(firstDecl)) {
-        // Only extract if the alias resolves to an object-like type
-        // (has properties, not a primitive/union/etc)
-        const properties = resolvedType.getProperties();
-        return properties !== undefined && properties.length > 0;
-    }
-    // TypeLiteral: When a type alias resolves to an object type like `type Config = { x: number }`,
-    // TypeScript's getTypeAtLocation returns the underlying object type, whose declaration is TypeLiteral.
-    // We need to extract structural members in this case too.
-    if (ts.isTypeLiteralNode(firstDecl)) {
-        const properties = resolvedType.getProperties();
-        return properties !== undefined && properties.length > 0;
-    }
-    // Don't extract for classes, enums, etc.
-    return false;
-};
-/**
- * Extract structural members from a resolved type.
- *
- * Used to populate structuralMembers on referenceType for interfaces and type aliases.
- * This enables TSN5110 validation for object literal properties against expected types.
- *
- * Safety guards:
- * - Only extracts for interfaces/type-aliases (not classes, enums, lib types)
- * - Uses cache to prevent infinite recursion on recursive types
- * - Skips unsupported keys instead of bailing entirely
- * - Returns undefined for union/intersection (conservative)
- * - Returns undefined for index signatures (can't fully represent)
- *
- * @param resolvedType - The resolved TypeScript type
- * @param node - The enclosing node for type-to-node conversion
- * @param checker - The TypeScript type checker
- * @param convertType - Function to convert nested types
- * @returns Structural members or undefined if extraction fails/skipped
- */
-const extractStructuralMembers = (resolvedType, node, checker, convertType) => {
-    // Check cache first (handles recursion)
-    const cached = structuralMembersCache.get(resolvedType);
-    if (cached === "in-progress") {
-        // Recursive reference - return undefined to break cycle
-        return undefined;
-    }
-    if (cached !== undefined) {
-        return cached === null ? undefined : cached;
-    }
-    // Gate: only extract for structural types we own
-    if (!shouldExtractStructuralMembers(resolvedType, checker)) {
-        structuralMembersCache.set(resolvedType, null);
-        return undefined;
-    }
-    // Mark as in-progress before recursing.
-    // IMPORTANT: Use try/finally to ensure cache is always settled.
-    // If typeToTypeNode() or convertType() throws, we must not leave
-    // "in-progress" in the cache (would cause future lookups to fail).
-    structuralMembersCache.set(resolvedType, "in-progress");
-    try {
-        // Get properties
-        const properties = resolvedType.getProperties();
-        if (!properties || properties.length === 0) {
-            structuralMembersCache.set(resolvedType, null);
-            return undefined;
-        }
-        // Check for index signatures - can't fully represent these structurally
-        const stringIndexType = checker.getIndexInfoOfType(resolvedType, ts.IndexKind.String);
-        const numberIndexType = checker.getIndexInfoOfType(resolvedType, ts.IndexKind.Number);
-        if (stringIndexType || numberIndexType) {
-            structuralMembersCache.set(resolvedType, null);
-            return undefined;
-        }
-        // Extract members
-        const members = [];
-        for (const prop of properties) {
-            const propName = prop.getName();
-            // Skip non-string keys (symbols, computed) - don't bail entirely
-            if (propName.startsWith("__@") || propName.startsWith("[")) {
-                continue; // Skip this property, keep extracting others
-            }
-            const propType = checker.getTypeOfSymbolAtLocation(prop, node);
-            const declarations = prop.getDeclarations();
-            // Check optional/readonly
-            const isOptional = (prop.flags & ts.SymbolFlags.Optional) !== 0;
-            const isReadonly = declarations?.some((decl) => {
-                if (ts.isPropertySignature(decl) || ts.isPropertyDeclaration(decl)) {
-                    return (decl.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword) ?? false);
-                }
-                return false;
-            }) ?? false;
-            // Check if it's a method
-            const isMethod = declarations?.some((decl) => ts.isMethodSignature(decl) || ts.isMethodDeclaration(decl)) ?? false;
-            // IMPORTANT: Check for CLR primitive type aliases BEFORE calling typeToTypeNode.
-            // TypeScript eagerly resolves type aliases like `int` to their underlying type `number`
-            // when converting to TypeNode. We need to preserve the alias identity for CLR primitives
-            // so that TSN5110 correctly validates `int` properties accept `int` values.
-            //
-            // The propType.aliasSymbol approach doesn't work because getTypeOfSymbolAtLocation
-            // returns the resolved type without alias info. Instead, we look at the property
-            // declaration's type node directly to see the original type reference.
-            //
-            // Only preserve alias identity when:
-            // 1. The type reference name is a known CLR primitive (e.g., "int")
-            // 2. The type reference resolves to @tsonic/core (not a random user alias)
-            const propDecl = declarations?.[0];
-            if (propDecl &&
-                (ts.isPropertySignature(propDecl) || ts.isPropertyDeclaration(propDecl))) {
-                const declTypeNode = propDecl.type;
-                // Check if the declared type is a type reference to a CLR primitive
-                if (declTypeNode && ts.isTypeReferenceNode(declTypeNode)) {
-                    const typeName = ts.isIdentifier(declTypeNode.typeName)
-                        ? declTypeNode.typeName.text
-                        : undefined;
-                    if (typeName && CLR_PRIMITIVE_TYPE_SET.has(typeName)) {
-                        // Resolve the type reference to check it comes from @tsonic/core
-                        // For type aliases like `int`, we need to get the symbol from the type name identifier
-                        // and follow any aliases (imports) to the original declaration
-                        const typeNameNode = declTypeNode.typeName;
-                        const typeSymbolRaw = ts.isIdentifier(typeNameNode)
-                            ? checker.getSymbolAtLocation(typeNameNode)
-                            : undefined;
-                        // Follow alias chain to get the original symbol (handles re-exports/imports)
-                        const typeSymbol = typeSymbolRaw
-                            ? checker.getAliasedSymbol(typeSymbolRaw)
-                            : undefined;
-                        const refDecl = typeSymbol?.declarations?.[0];
-                        const refSourceFile = refDecl?.getSourceFile();
-                        if (refSourceFile?.fileName.includes("@tsonic/core") ||
-                            refSourceFile?.fileName.includes("@tsonic/types")) {
-                            // Directly emit the CLR primitive type, bypassing typeToTypeNode
-                            const propSig = {
-                                kind: "propertySignature",
-                                name: propName,
-                                type: getClrPrimitiveType(typeName),
-                                isOptional,
-                                isReadonly,
-                            };
-                            members.push(propSig);
-                            continue;
-                        }
-                    }
-                }
-            }
-            const typeNodeFlags = ts.NodeBuilderFlags.NoTruncation;
-            const propTypeNode = checker.typeToTypeNode(propType, node, typeNodeFlags);
-            if (isMethod && propTypeNode && ts.isFunctionTypeNode(propTypeNode)) {
-                // Method signature
-                const methSig = {
-                    kind: "methodSignature",
-                    name: propName,
-                    parameters: propTypeNode.parameters.map((param, index) => ({
-                        kind: "parameter",
-                        pattern: {
-                            kind: "identifierPattern",
-                            name: ts.isIdentifier(param.name)
-                                ? param.name.text
-                                : `arg${index}`,
-                        },
-                        type: param.type ? convertType(param.type, checker) : undefined,
-                        isOptional: !!param.questionToken,
-                        isRest: !!param.dotDotDotToken,
-                        passing: "value",
-                    })),
-                    returnType: propTypeNode.type
-                        ? convertType(propTypeNode.type, checker)
-                        : undefined,
-                };
-                members.push(methSig);
-            }
-            else {
-                // Property signature
-                const propSig = {
-                    kind: "propertySignature",
-                    name: propName,
-                    type: propTypeNode
-                        ? convertType(propTypeNode, checker)
-                        : { kind: "anyType" },
-                    isOptional,
-                    isReadonly,
-                };
-                members.push(propSig);
-            }
-        }
-        const result = members.length > 0 ? members : undefined;
-        structuralMembersCache.set(resolvedType, result ?? null);
-        return result;
-    }
-    catch {
-        // On any error, settle cache to null (not extractable)
-        structuralMembersCache.set(resolvedType, null);
-        return undefined;
-    }
-};
-/**
- * Convert TypeScript type reference to IR type
- * Handles both primitive type names and user-defined types
- */
-export const convertTypeReference = (node, checker, convertType) => {
-    const typeName = ts.isIdentifier(node.typeName)
-        ? node.typeName.text
-        : node.typeName.getText();
-    // Check for primitive type names
-    if (isPrimitiveTypeName(typeName)) {
-        return getPrimitiveType(typeName);
-    }
-    // Check for CLR primitive type names (e.g., int from @tsonic/core)
-    // These are compiler-known types that map to distinct primitives, not referenceType
-    if (isClrPrimitiveTypeName(typeName)) {
-        return getClrPrimitiveType(typeName);
-    }
-    // Check for Array<T> utility type → convert to arrayType with explicit origin
-    // This ensures Array<T> and T[] are treated identically
-    const firstTypeArg = node.typeArguments?.[0];
-    if (typeName === "Array" && firstTypeArg) {
-        return {
-            kind: "arrayType",
-            elementType: convertType(firstTypeArg, checker),
-            origin: "explicit",
-        };
-    }
-    // Check for expandable conditional utility types (NonNullable, Exclude, Extract)
-    // These are expanded at compile time by delegating to TypeScript's type checker
-    if (isExpandableConditionalUtilityType(typeName) &&
-        node.typeArguments?.length) {
-        const expanded = expandConditionalUtilityType(node, typeName, checker, convertType);
-        if (expanded)
-            return expanded;
-        // Fall through to referenceType if can't expand (e.g., type parameter)
-    }
-    // Check for Record<K, V> utility type
-    // First try to expand to IrObjectType for finite literal keys
-    // Falls back to IrDictionaryType ONLY for string/number keys (not type parameters)
-    const typeArgsForRecord = node.typeArguments;
-    const keyTypeNode = typeArgsForRecord?.[0];
-    const valueTypeNode = typeArgsForRecord?.[1];
-    if (typeName === "Record" && keyTypeNode && valueTypeNode) {
-        // Try to expand to IrObjectType for finite literal keys
-        const expandedRecord = expandRecordType(node, checker, convertType);
-        if (expandedRecord)
-            return expandedRecord;
-        // Only create dictionary if K is exactly 'string' or 'number'
-        // Type parameters should fall through to referenceType
-        //
-        // NOTE: We check SyntaxKind FIRST because getTypeAtLocation fails on synthesized nodes
-        // (from typeToTypeNode). For synthesized nodes like NumberKeyword, getTypeAtLocation
-        // returns `any` instead of the correct type. Checking SyntaxKind handles both cases.
-        const isStringKey = keyTypeNode.kind === ts.SyntaxKind.StringKeyword ||
-            !!(checker.getTypeAtLocation(keyTypeNode).flags & ts.TypeFlags.String);
-        const isNumberKey = keyTypeNode.kind === ts.SyntaxKind.NumberKeyword ||
-            !!(checker.getTypeAtLocation(keyTypeNode).flags & ts.TypeFlags.Number);
-        if (isStringKey || isNumberKey) {
-            const keyType = convertType(keyTypeNode, checker);
-            const valueType = convertType(valueTypeNode, checker);
-            return {
-                kind: "dictionaryType",
-                keyType,
-                valueType,
-            };
-        }
-        // Type parameter or other complex key type - fall through to referenceType
-    }
-    // Check for expandable utility types (Partial, Required, Readonly, Pick, Omit)
-    // These are expanded to IrObjectType at compile time for concrete types
-    if (isExpandableUtilityType(typeName) && node.typeArguments?.length) {
-        const expanded = expandUtilityType(node, typeName, checker, convertType);
-        if (expanded)
-            return expanded;
-        // Fall through to referenceType if can't expand (e.g., type parameter)
-    }
-    // Handle parameter passing modifiers: out<T>, ref<T>, inref<T>
-    // These are type aliases that should NOT be resolved - we preserve them
-    // so the emitter can detect `as out<T>` casts and emit the correct C# prefix.
-    if ((typeName === "out" || typeName === "ref" || typeName === "inref") &&
-        node.typeArguments &&
-        node.typeArguments.length === 1) {
-        // Safe: we checked length === 1 above
-        const innerTypeArg = node.typeArguments[0];
-        if (!innerTypeArg) {
-            return { kind: "anyType" };
-        }
-        return {
-            kind: "referenceType",
-            name: typeName,
-            typeArguments: [convertType(innerTypeArg, checker)],
-        };
-    }
-    // Check if this is a type parameter reference (e.g., T in Container<T>)
-    // Use the type checker to determine if the reference resolves to a type parameter
-    const type = checker.getTypeAtLocation(node);
-    if (type.flags & ts.TypeFlags.TypeParameter) {
-        return { kind: "typeParameterType", name: typeName };
-    }
-    // Extract structural members for interfaces and type aliases.
-    // This enables TSN5110 validation for object literal properties.
-    const structuralMembers = extractStructuralMembers(type, node, checker, convertType);
-    // Reference type (user-defined or library)
-    return {
-        kind: "referenceType",
-        name: typeName,
-        typeArguments: node.typeArguments?.map((t) => convertType(t, checker)),
-        structuralMembers,
-    };
-};
-//# sourceMappingURL=references.js.map

package/dist/ir/type-converter/references.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"references.js","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kCAAkC,EAClC,4BAA4B,EAC5B,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,sBAAsB,GAAG,IAAI,OAAO,EAGvC,CAAC;AAEJ;;;;;;;;;;;;;GAaG;AACH,MAAM,8BAA8B,GAAG,CACrC,YAAqB,EACrB,QAAwB,EACf,EAAE;IACX,oCAAoC;IACpC,IAAI,YAAY,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QACpD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+DAA+D;IAC/D,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,sDAAsD;IACtD,IAAI,YAAY,CAAC,cAAc,EAAE,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+EAA+E;IAC/E,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,EAAE,CAAC;IACxC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IAC9C,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+EAA+E;IAC/E,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;QAErC,qBAAqB;QACrB,IACE,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;YACjC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YACzB,UAAU,CAAC,iBAAiB,EAC5B,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,+CAA+C;IAC/C,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,4DAA4D;QAC5D,8CAA8C;QAC9C,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC;QAChD,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,gGAAgG;IAChG,uGAAuG;IACvG,0DAA0D;IAC1D,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC;QAChD,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,yCAAyC;IACzC,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,wBAAwB,GAAG,CAC/B,YAAqB,EACrB,IAAa,EACb,OAAuB,EACvB,WAAmE,EACzB,EAAE;IAC5C,wCAAwC;IACxC,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,wDAAwD;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9C,CAAC;IAED,iDAAiD;IACjD,IAAI,CAAC,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3D,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wCAAwC;IACxC,gEAAgE;IAChE,iEAAiE;IACjE,mEAAmE;IACnE,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;IAExD,IAAI,CAAC;QACH,iBAAiB;QACjB,MAAM,UAAU,GAAG,YAAY,CAAC,aAAa,EAAE,CAAC;QAChD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAC/C,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,wEAAwE;QACxE,MAAM,eAAe,GAAG,OAAO,CAAC,kBAAkB,CAChD,YAAY,EACZ,EAAE,CAAC,SAAS,CAAC,MAAM,CACpB,CAAC;QACF,MAAM,eAAe,GAAG,OAAO,CAAC,kBAAkB,CAChD,YAAY,EACZ,EAAE,CAAC,SAAS,CAAC,MAAM,CACpB,CAAC;QACF,IAAI,eAAe,IAAI,eAAe,EAAE,CAAC;YACvC,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YAC/C,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,kBAAkB;QAClB,MAAM,OAAO,GAAwB,EAAE,CAAC;QAExC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAEhC,iEAAiE;YACjE,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3D,SAAS,CAAC,6CAA6C;YACzD,CAAC;YAED,MAAM,QAAQ,GAAG,OAAO,CAAC,yBAAyB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC;YAE5C,0BAA0B;YAC1B,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChE,MAAM,UAAU,GACd,YAAY,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC1B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnE,OAAO,CACL,IAAI,CAAC,SAAS,EAAE,IAAI,CAClB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD,IAAI,KAAK,CACX,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,IAAI,KAAK,CAAC;YAEd,yBAAyB;YACzB,MAAM,QAAQ,GACZ,YAAY,EAAE,IAAI,CAChB,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CACrE,IAAI,KAAK,CAAC;YAEb,iFAAiF;YACjF,wFAAwF;YACxF,yFAAyF;YACzF,4EAA4E;YAC5E,EAAE;YACF,mFAAmF;YACnF,iFAAiF;YACjF,uEAAuE;YACvE,EAAE;YACF,qCAAqC;YACrC,oEAAoE;YACpE,2EAA2E;YAC3E,MAAM,QAAQ,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;YACnC,IACE,QAAQ;gBACR,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,EACxE,CAAC;gBACD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;gBACnC,oEAAoE;gBACpE,IAAI,YAAY,IAAI,EAAE,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,CAAC;oBACzD,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC;wBACrD,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI;wBAC5B,CAAC,CAAC,SAAS,CAAC;oBACd,IAAI,QAAQ,IAAI,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACrD,iEAAiE;wBACjE,uFAAuF;wBACvF,+DAA+D;wBAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC;wBAC3C,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC;4BACjD,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,YAAY,CAAC;4BAC3C,CAAC,CAAC,SAAS,CAAC;wBACd,6EAA6E;wBAC7E,MAAM,UAAU,GAAG,aAAa;4BAC9B,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC;4BACzC,CAAC,CAAC,SAAS,CAAC;wBACd,MAAM,OAAO,GAAG,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;wBAC9C,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,EAAE,CAAC;wBAC/C,IACE,aAAa,EAAE,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;4BAChD,aAAa,EAAE,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,EACjD,CAAC;4BACD,iEAAiE;4BACjE,MAAM,OAAO,GAAwB;gCACnC,IAAI,EAAE,mBAAmB;gCACzB,IAAI,EAAE,QAAQ;gCACd,IAAI,EAAE,mBAAmB,CAAC,QAAiB,CAAC;gCAC5C,UAAU;gCACV,UAAU;6BACX,CAAC;4BACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;4BACtB,SAAS;wBACX,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,MAAM,aAAa,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,CAAC;YACvD,MAAM,YAAY,GAAG,OAAO,CAAC,cAAc,CACzC,QAAQ,EACR,IAAI,EACJ,aAAa,CACd,CAAC;YAEF,IAAI,QAAQ,IAAI,YAAY,IAAI,EAAE,CAAC,kBAAkB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACpE,mBAAmB;gBACnB,MAAM,OAAO,GAAsB;oBACjC,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;wBACzD,IAAI,EAAE,WAAoB;wBAC1B,OAAO,EAAE;4BACP,IAAI,EAAE,mBAA4B;4BAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;gCAC/B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;gCACjB,CAAC,CAAC,MAAM,KAAK,EAAE;yBAClB;wBACD,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;wBAC/D,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;wBACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;wBAC9B,OAAO,EAAE,OAAgB;qBAC1B,CAAC,CAAC;oBACH,UAAU,EAAE,YAAY,CAAC,IAAI;wBAC3B,CAAC,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC;wBACzC,CAAC,CAAC,SAAS;iBACd,CAAC;gBACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,qBAAqB;gBACrB,MAAM,OAAO,GAAwB;oBACnC,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,YAAY;wBAChB,CAAC,CAAC,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC;wBACpC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;oBACvB,UAAU;oBACV,UAAU;iBACX,CAAC;gBACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;QACzD,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,uDAAuD;QACvD,sBAAsB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;QACpB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IAE5B,iCAAiC;IACjC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,mEAAmE;IACnE,oFAAoF;IACpF,IAAI,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,8EAA8E;IAC9E,wDAAwD;IACxD,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,OAAO,IAAI,YAAY,EAAE,CAAC;QACzC,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC;YAC/C,MAAM,EAAE,UAAU;SACnB,CAAC;IACJ,CAAC;IAED,iFAAiF;IACjF,gFAAgF;IAChF,IACE,kCAAkC,CAAC,QAAQ,CAAC;QAC5C,IAAI,CAAC,aAAa,EAAE,MAAM,EAC1B,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,uEAAuE;IACzE,CAAC;IAED,sCAAsC;IACtC,8DAA8D;IAC9D,mFAAmF;IACnF,MAAM,iBAAiB,GAAG,IAAI,CAAC,aAAa,CAAC;IAC7C,MAAM,WAAW,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,QAAQ,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;QAC1D,wDAAwD;QACxD,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACpE,IAAI,cAAc;YAAE,OAAO,cAAc,CAAC;QAE1C,8DAA8D;QAC9D,uDAAuD;QACvD,EAAE;QACF,uFAAuF;QACvF,qFAAqF;QACrF,qFAAqF;QACrF,MAAM,WAAW,GACf,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAChD,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACzE,MAAM,WAAW,GACf,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAChD,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAEzE,IAAI,WAAW,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAClD,MAAM,SAAS,GAAG,WAAW,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;YAEtD,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,OAAO;gBACP,SAAS;aACU,CAAC;QACxB,CAAC;QACD,2EAA2E;IAC7E,CAAC;IAED,+EAA+E;IAC/E,wEAAwE;IACxE,IAAI,uBAAuB,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACzE,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,uEAAuE;IACzE,CAAC;IAED,+DAA+D;IAC/D,wEAAwE;IACxE,8EAA8E;IAC9E,IACE,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,OAAO,CAAC;QAClE,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,sCAAsC;QACtC,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,CAAC,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;SACpD,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,kFAAkF;IAClF,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACvD,CAAC;IAED,8DAA8D;IAC9D,iEAAiE;IACjE,MAAM,iBAAiB,GAAG,wBAAwB,CAChD,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,WAAW,CACZ,CAAC;IAEF,2CAA2C;IAC3C,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACtE,iBAAiB;KAClB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/unions-intersections.d.ts

@@ -1,14 +0,0 @@
-/**
- * Union and intersection type conversion
- */
-import * as ts from "typescript";
-import { IrType } from "../types.js";
-/**
- * Convert TypeScript union type to IR union type
- */
-export declare const convertUnionType: (node: ts.UnionTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
-/**
- * Convert TypeScript intersection type to IR intersection type
- */
-export declare const convertIntersectionType: (node: ts.IntersectionTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
-//# sourceMappingURL=unions-intersections.d.ts.map

package/dist/ir/type-converter/unions-intersections.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unions-intersections.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/unions-intersections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAKF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAKF,CAAC"}

package/dist/ir/type-converter/unions-intersections.js

@@ -1,22 +0,0 @@
-/**
- * Union and intersection type conversion
- */
-/**
- * Convert TypeScript union type to IR union type
- */
-export const convertUnionType = (node, checker, convertType) => {
-    return {
-        kind: "unionType",
-        types: node.types.map((t) => convertType(t, checker)),
-    };
-};
-/**
- * Convert TypeScript intersection type to IR intersection type
- */
-export const convertIntersectionType = (node, checker, convertType) => {
-    return {
-        kind: "intersectionType",
-        types: node.types.map((t) => convertType(t, checker)),
-    };
-};
-//# sourceMappingURL=unions-intersections.js.map

package/dist/ir/type-converter/unions-intersections.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"unions-intersections.js","sourceRoot":"","sources":["../../../src/ir/type-converter/unions-intersections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAsB,EACtB,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA6B,EAC7B,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/utility-types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"utility-types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/utility-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,YAAY,EAIb,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,eAAO,MAAM,wBAAwB,aAMnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,MAAM,KAAG,OACnB,CAAC;AAErC;;;GAGG;AACH,eAAO,MAAM,oCAAoC,aAO/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,kCAAkC,GAAI,MAAM,MAAM,KAAG,OAClB,CAAC;AAkJjD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,YAAY,GAAG,IAuIjB,CAAC;AA4BF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAAM,GAAG,IA6DX,CAAC;AAwHF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,YAAY,GAAG,IAgDjB,CAAC"}