@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/internal/universe/clr-type-parser.js

@@ -6,476 +6,9 @@
  *
  * Also includes helpers for converting tsbindgen .d.ts TypeNode AST nodes
  * to IrType and computing signature keys for deterministic overload matching.
- */
-import * as ts from "typescript";
-// ═══════════════════════════════════════════════════════════════════════════
-// CLR TYPE STRING PARSING
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Parse a CLR type string from normalized signature into IrType.
  *
- * Examples:
- * - "System.String" → { kind: "primitiveType", name: "string" }
- * - "System.Int32" → { kind: "primitiveType", name: "int" }
- * - "System.Double" → { kind: "primitiveType", name: "number" }
- * - "System.Boolean" → { kind: "primitiveType", name: "boolean" }
- * - "System.Char" → { kind: "primitiveType", name: "char" }
- * - "System.Void" → { kind: "voidType" }
- * - "System.Object" → { kind: "referenceType", name: "object" }
- * - "T" → { kind: "typeParameterType", name: "T" }
- * - "System.Collections.Generic.List`1[[T]]" → array type or reference
- * - "T[]" → { kind: "arrayType", elementType: ... }
- */
-export const parseClrTypeString = (clrType) => {
-    // Handle void
-    if (clrType === "System.Void" || clrType === "void") {
-        return { kind: "voidType" };
-    }
-    // Handle primitive mappings
-    const primitiveMap = {
-        "System.String": { kind: "primitiveType", name: "string" },
-        string: { kind: "primitiveType", name: "string" },
-        "System.Int32": { kind: "primitiveType", name: "int" },
-        int: { kind: "primitiveType", name: "int" },
-        // Distinct CLR numeric aliases from @tsonic/core
-        "System.SByte": { kind: "referenceType", name: "sbyte" },
-        sbyte: { kind: "referenceType", name: "sbyte" },
-        "System.Byte": { kind: "referenceType", name: "byte" },
-        byte: { kind: "referenceType", name: "byte" },
-        "System.Int16": { kind: "referenceType", name: "short" },
-        short: { kind: "referenceType", name: "short" },
-        "System.UInt16": { kind: "referenceType", name: "ushort" },
-        ushort: { kind: "referenceType", name: "ushort" },
-        "System.UInt32": { kind: "referenceType", name: "uint" },
-        uint: { kind: "referenceType", name: "uint" },
-        "System.Int64": { kind: "referenceType", name: "long" },
-        long: { kind: "referenceType", name: "long" },
-        "System.UInt64": { kind: "referenceType", name: "ulong" },
-        ulong: { kind: "referenceType", name: "ulong" },
-        "System.IntPtr": { kind: "referenceType", name: "nint" },
-        nint: { kind: "referenceType", name: "nint" },
-        "System.UIntPtr": { kind: "referenceType", name: "nuint" },
-        nuint: { kind: "referenceType", name: "nuint" },
-        "System.Int128": { kind: "referenceType", name: "int128" },
-        int128: { kind: "referenceType", name: "int128" },
-        "System.UInt128": { kind: "referenceType", name: "uint128" },
-        uint128: { kind: "referenceType", name: "uint128" },
-        "System.Double": { kind: "primitiveType", name: "number" },
-        double: { kind: "primitiveType", name: "number" },
-        "System.Single": { kind: "referenceType", name: "float" },
-        float: { kind: "referenceType", name: "float" },
-        "System.Half": { kind: "referenceType", name: "half" },
-        half: { kind: "referenceType", name: "half" },
-        "System.Decimal": { kind: "referenceType", name: "decimal" },
-        decimal: { kind: "referenceType", name: "decimal" },
-        "System.Boolean": { kind: "primitiveType", name: "boolean" },
-        bool: { kind: "primitiveType", name: "boolean" },
-        "System.Char": { kind: "primitiveType", name: "char" },
-        char: { kind: "primitiveType", name: "char" },
-        // System.Object is the CLR "top" reference type. Treat it as C# `object`,
-        // not TypeScript `any` (airplane-grade: no implicit "any" in IR).
-        "System.Object": { kind: "referenceType", name: "object" },
-        object: { kind: "referenceType", name: "object" },
-    };
-    const primitive = primitiveMap[clrType];
-    if (primitive)
-        return primitive;
-    // Handle array types: T[] or System.Array`1[[T]]
-    if (clrType.endsWith("[]")) {
-        const elementType = clrType.slice(0, -2);
-        return {
-            kind: "arrayType",
-            elementType: parseClrTypeString(elementType),
-        };
-    }
-    // Handle pointer types (convert to ref semantics - just use the base type)
-    if (clrType.endsWith("*")) {
-        return parseClrTypeString(clrType.slice(0, -1));
-    }
-    // Handle nullable: Nullable<T> or T?
-    if (clrType.startsWith("System.Nullable`1")) {
-        // Extract inner type
-        const innerMatch = clrType.match(/System\.Nullable`1\[\[([^\]]+)\]\]/);
-        if (innerMatch && innerMatch[1]) {
-            const innerType = parseClrTypeString(innerMatch[1]);
-            return {
-                kind: "unionType",
-                types: [innerType, { kind: "primitiveType", name: "undefined" }],
-            };
-        }
-    }
-    // Handle type parameters (single uppercase letter or common patterns)
-    if (/^T\d*$/.test(clrType) || /^T[A-Z][a-zA-Z]*$/.test(clrType)) {
-        return { kind: "typeParameterType", name: clrType };
-    }
-    // Handle tsbindgen-style generic instantiations using underscore arity:
-    //   KeyValuePair_2[[TKey,TValue]]
-    // This format is used in bindings.json for inheritance type arguments.
-    const underscoreInstantiationMatch = clrType.match(/^(.+?)_(\d+)\[\[(.+)\]\]$/);
-    if (underscoreInstantiationMatch &&
-        underscoreInstantiationMatch[1] &&
-        underscoreInstantiationMatch[2] &&
-        underscoreInstantiationMatch[3]) {
-        const baseName = underscoreInstantiationMatch[1];
-        const arity = parseInt(underscoreInstantiationMatch[2], 10);
-        const typeArgsStr = underscoreInstantiationMatch[3];
-        // NOTE: CLR type strings inside normalized signatures often use assembly-qualified
-        // type arguments (commas for AssemblyName/Version/Culture/PublicKeyToken).
-        // Those commas are not type-argument separators. Only parse `[[...]]` payloads
-        // that follow our deterministic tsbindgen encoding for bindings.json heritage
-        // (no assembly identity segments).
-        //
-        // If we mis-parse assembly-qualified args, we break signatureKey matching which
-        // hydrates optional/rest flags from tsbindgen .d.ts (airplane-grade determinism).
-        const looksAssemblyQualified = /\bVersion=|\bCulture=|\bPublicKeyToken=/.test(typeArgsStr);
-        const args = looksAssemblyQualified ? [] : splitTypeArguments(typeArgsStr);
-        // Airplane-grade safety: only attach parsed typeArguments when we can prove
-        // the arity matches. Otherwise, preserve only the generic *definition* arity
-        // and keep the raw CLR string for later resolution.
-        const typeArguments = !looksAssemblyQualified && args.length === arity
-            ? args.map((arg) => parseClrTypeString(arg.trim()))
-            : undefined;
-        return {
-            kind: "referenceType",
-            name: `${baseName}_${arity}`,
-            typeArguments,
-            resolvedClrType: clrType,
-        };
-    }
-    // Handle generic types: Name`N[[TypeArgs]]
-    const genericMatch = clrType.match(/^(.+)`(\d+)(?:\[\[(.+)\]\])?$/);
-    if (genericMatch && genericMatch[1] && genericMatch[2]) {
-        const baseName = genericMatch[1];
-        const arity = parseInt(genericMatch[2], 10);
-        const typeArgsStr = genericMatch[3]; // May be undefined
-        // Extract type arguments if present
-        const typeArguments = [];
-        if (typeArgsStr) {
-            // Parse comma-separated type args (this is simplified, may need proper parsing)
-            const args = splitTypeArguments(typeArgsStr);
-            for (const arg of args) {
-                typeArguments.push(parseClrTypeString(arg.trim()));
-            }
-        }
-        else {
-            // Generate placeholder type parameters
-            for (let i = 0; i < arity; i++) {
-                typeArguments.push({
-                    kind: "typeParameterType",
-                    name: i === 0 ? "T" : `T${i + 1}`,
-                });
-            }
-        }
-        return {
-            kind: "referenceType",
-            name: baseName,
-            typeArguments: typeArguments.length > 0 ? typeArguments : undefined,
-            resolvedClrType: clrType,
-        };
-    }
-    // Default: treat as reference type
-    return {
-        kind: "referenceType",
-        name: clrType,
-        resolvedClrType: clrType,
-    };
-};
-/**
- * Split type arguments handling nested brackets.
+ * FACADE: re-exports from clr-type-string-parsing and dts-type-node-conversion.
  */
-export const splitTypeArguments = (str) => {
-    const result = [];
-    let depth = 0;
-    let current = "";
-    for (const char of str) {
-        if (char === "[") {
-            depth++;
-            current += char;
-        }
-        else if (char === "]") {
-            depth--;
-            current += char;
-        }
-        else if (char === "," && depth === 0) {
-            result.push(current.trim());
-            current = "";
-        }
-        else {
-            current += char;
-        }
-    }
-    if (current.trim()) {
-        result.push(current.trim());
-    }
-    return result;
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// TSBINDGEN .D.TS TYPE NODE CONVERSION
-// ═══════════════════════════════════════════════════════════════════════════
-export const INSTANCE_SUFFIX = "$instance";
-export const VIEWS_PREFIX = "__";
-export const VIEWS_SUFFIX = "$views";
-export const stripTsBindgenInstanceSuffix = (name) => {
-    return name.endsWith(INSTANCE_SUFFIX)
-        ? name.slice(0, -INSTANCE_SUFFIX.length)
-        : name;
-};
-export const stripTsBindgenViewsWrapper = (name) => {
-    if (!name.startsWith(VIEWS_PREFIX))
-        return undefined;
-    if (!name.endsWith(VIEWS_SUFFIX))
-        return undefined;
-    return name.slice(VIEWS_PREFIX.length, -VIEWS_SUFFIX.length);
-};
-export const getRightmostQualifiedNameText = (name) => {
-    if (ts.isIdentifier(name))
-        return name.text;
-    return getRightmostQualifiedNameText(name.right);
-};
-export const getRightmostPropertyAccessText = (expr) => {
-    if (ts.isIdentifier(expr))
-        return expr.text;
-    if (ts.isPropertyAccessExpression(expr))
-        return expr.name.text;
-    if (ts.isCallExpression(expr))
-        return getRightmostPropertyAccessText(expr.expression);
-    if (ts.isParenthesizedExpression(expr))
-        return getRightmostPropertyAccessText(expr.expression);
-    return undefined;
-};
-const isSymbolTypeNode = (node) => node.kind === ts.SyntaxKind.SymbolKeyword ||
-    (ts.isTypeReferenceNode(node) &&
-        ts.isIdentifier(node.typeName) &&
-        node.typeName.text === "symbol");
-const classifyRecordKeyTypeNode = (keyTypeNode) => {
-    const nodes = ts.isUnionTypeNode(keyTypeNode)
-        ? keyTypeNode.types
-        : [keyTypeNode];
-    let sawString = false;
-    let sawNumber = false;
-    let sawSymbol = false;
-    for (const node of nodes) {
-        if (node.kind === ts.SyntaxKind.StringKeyword) {
-            sawString = true;
-            continue;
-        }
-        if (node.kind === ts.SyntaxKind.NumberKeyword) {
-            sawNumber = true;
-            continue;
-        }
-        if (isSymbolTypeNode(node)) {
-            sawSymbol = true;
-            continue;
-        }
-        if (ts.isLiteralTypeNode(node)) {
-            if (ts.isStringLiteral(node.literal)) {
-                sawString = true;
-                continue;
-            }
-            if (ts.isNumericLiteral(node.literal)) {
-                sawNumber = true;
-                continue;
-            }
-        }
-        return undefined;
-    }
-    const distinctKinds = (sawString ? 1 : 0) + (sawNumber ? 1 : 0) + (sawSymbol ? 1 : 0);
-    if (distinctKinds === 0)
-        return undefined;
-    if (distinctKinds > 1 || sawSymbol) {
-        return { kind: "referenceType", name: "object" };
-    }
-    if (sawNumber) {
-        return { kind: "primitiveType", name: "number" };
-    }
-    return { kind: "primitiveType", name: "string" };
-};
-export const dtsTypeNodeToIrType = (node, inScopeTypeParams, tsNameToTypeId) => {
-    // Parenthesized type
-    if (ts.isParenthesizedTypeNode(node)) {
-        return dtsTypeNodeToIrType(node.type, inScopeTypeParams, tsNameToTypeId);
-    }
-    // Type references (including type parameters)
-    if (ts.isTypeReferenceNode(node)) {
-        const rawName = getRightmostQualifiedNameText(node.typeName);
-        const baseName = stripTsBindgenInstanceSuffix(rawName);
-        // Utility: Record<K, V> should lower to dictionaryType in CLR bindings paths too.
-        // Without this, contextual object literals against imported CLR interfaces can carry
-        // unresolved `referenceType("Record")` and fail IR soundness.
-        if (baseName === "Record" && node.typeArguments?.length === 2) {
-            const keyTypeNode = node.typeArguments[0];
-            const valueTypeNode = node.typeArguments[1];
-            if (keyTypeNode && valueTypeNode) {
-                const keyType = classifyRecordKeyTypeNode(keyTypeNode);
-                if (keyType) {
-                    return {
-                        kind: "dictionaryType",
-                        keyType,
-                        valueType: dtsTypeNodeToIrType(valueTypeNode, inScopeTypeParams, tsNameToTypeId),
-                    };
-                }
-            }
-        }
-        // tsbindgen imports CLR numeric aliases from @tsonic/core as type references.
-        // For IR purposes, `int` is a distinct primitive type (not referenceType).
-        if (baseName === "int" && !node.typeArguments?.length) {
-            return { kind: "primitiveType", name: "int" };
-        }
-        // Type parameter reference: `T` (no type args) where T is in scope
-        if (inScopeTypeParams.has(baseName) && !node.typeArguments?.length) {
-            return { kind: "typeParameterType", name: baseName };
-        }
-        const typeArguments = node.typeArguments?.map((a) => dtsTypeNodeToIrType(a, inScopeTypeParams, tsNameToTypeId));
-        const resolvedName = typeArguments && typeArguments.length > 0
-            ? (() => {
-                const arityName = `${baseName}_${typeArguments.length}`;
-                return tsNameToTypeId.has(arityName) ? arityName : baseName;
-            })()
-            : baseName;
-        return {
-            kind: "referenceType",
-            name: resolvedName,
-            typeArguments: typeArguments && typeArguments.length > 0 ? typeArguments : undefined,
-        };
-    }
-    // Array types
-    if (ts.isArrayTypeNode(node)) {
-        return {
-            kind: "arrayType",
-            elementType: dtsTypeNodeToIrType(node.elementType, inScopeTypeParams, tsNameToTypeId),
-        };
-    }
-    // Union / intersection
-    if (ts.isUnionTypeNode(node)) {
-        return {
-            kind: "unionType",
-            types: node.types.map((t) => dtsTypeNodeToIrType(t, inScopeTypeParams, tsNameToTypeId)),
-        };
-    }
-    if (ts.isIntersectionTypeNode(node)) {
-        return {
-            kind: "intersectionType",
-            types: node.types.map((t) => dtsTypeNodeToIrType(t, inScopeTypeParams, tsNameToTypeId)),
-        };
-    }
-    // Literal types
-    if (ts.isLiteralTypeNode(node)) {
-        const lit = node.literal;
-        if (ts.isStringLiteral(lit))
-            return { kind: "literalType", value: lit.text };
-        if (ts.isNumericLiteral(lit))
-            return { kind: "literalType", value: Number(lit.text) };
-        if (lit.kind === ts.SyntaxKind.TrueKeyword)
-            return { kind: "literalType", value: true };
-        if (lit.kind === ts.SyntaxKind.FalseKeyword)
-            return { kind: "literalType", value: false };
-    }
-    // Keywords
-    switch (node.kind) {
-        case ts.SyntaxKind.StringKeyword:
-            return { kind: "primitiveType", name: "string" };
-        case ts.SyntaxKind.NumberKeyword:
-            return { kind: "primitiveType", name: "number" };
-        case ts.SyntaxKind.BooleanKeyword:
-            return { kind: "primitiveType", name: "boolean" };
-        case ts.SyntaxKind.SymbolKeyword:
-            return { kind: "referenceType", name: "object" };
-        case ts.SyntaxKind.VoidKeyword:
-            return { kind: "voidType" };
-        case ts.SyntaxKind.AnyKeyword:
-            return { kind: "anyType" };
-        case ts.SyntaxKind.UnknownKeyword:
-            return { kind: "unknownType" };
-        case ts.SyntaxKind.NeverKeyword:
-            return { kind: "neverType" };
-        case ts.SyntaxKind.NullKeyword:
-            return { kind: "primitiveType", name: "null" };
-        case ts.SyntaxKind.UndefinedKeyword:
-            return { kind: "primitiveType", name: "undefined" };
-        default:
-            return { kind: "unknownType" };
-    }
-};
-export const irTypeToSignatureKey = (type) => {
-    switch (type.kind) {
-        case "primitiveType":
-            return `p:${type.name}`;
-        case "literalType":
-            return `lit:${JSON.stringify(type.value)}`;
-        case "voidType":
-            return "void";
-        case "neverType":
-            return "never";
-        case "unknownType":
-            return "unknown";
-        case "anyType":
-            return "any";
-        case "typeParameterType":
-            // Canonicalize all type parameters to a stable placeholder so tsbindgen's
-            // `TContext` matches metadata's `T0`/`T` deterministically.
-            return "T";
-        case "arrayType":
-            return `${irTypeToSignatureKey(type.elementType)}[]`;
-        case "tupleType":
-            return `[${type.elementTypes
-                .map((t) => (t ? irTypeToSignatureKey(t) : "unknown"))
-                .join(",")}]`;
-        case "unionType": {
-            const parts = type.types
-                .map((t) => (t ? irTypeToSignatureKey(t) : "unknown"))
-                .sort();
-            return `(${parts.join("|")})`;
-        }
-        case "intersectionType": {
-            const parts = type.types
-                .map((t) => (t ? irTypeToSignatureKey(t) : "unknown"))
-                .sort();
-            return `(${parts.join("&")})`;
-        }
-        case "dictionaryType":
-            return `{[${irTypeToSignatureKey(type.keyType)}]:${irTypeToSignatureKey(type.valueType)}}`;
-        case "functionType": {
-            const params = type.parameters
-                .map((p) => (p.type ? irTypeToSignatureKey(p.type) : "unknown"))
-                .join(",");
-            return `fn(${params})->${irTypeToSignatureKey(type.returnType)}`;
-        }
-        case "objectType":
-            return "object";
-        case "referenceType": {
-            const raw = type.resolvedClrType ?? type.name;
-            const withoutArgs = raw.includes("[[")
-                ? (raw.split("[[")[0] ?? raw)
-                : raw;
-            const lastSep = Math.max(withoutArgs.lastIndexOf("."), withoutArgs.lastIndexOf("+"));
-            let simple = lastSep >= 0 ? withoutArgs.slice(lastSep + 1) : withoutArgs;
-            // Canonicalize CLR backtick arity: `Action`1` -> `Action_1`.
-            const backtickMatch = simple.match(/`(\d+)$/);
-            if (backtickMatch && backtickMatch[1]) {
-                simple = `${simple.slice(0, -backtickMatch[0].length)}_${backtickMatch[1]}`;
-            }
-            const underscoreMatch = simple.match(/_(\d+)$/);
-            const arity = underscoreMatch && underscoreMatch[1]
-                ? Number(underscoreMatch[1])
-                : undefined;
-            const argCount = type.typeArguments?.length ?? arity ?? 0;
-            // Signature matching is used only to hydrate optional/rest flags from tsbindgen .d.ts
-            // into CLR metadata signatures. To keep matching robust across:
-            // - CLR names vs TS names
-            // - generic instantiation encodings (Action_1[[...]] vs Action_1<T>)
-            // we intentionally ignore concrete type argument *identities* and retain only arity.
-            if (argCount <= 0)
-                return simple;
-            return `${simple}<${Array.from({ length: argCount }, () => "*").join(",")}>`;
-        }
-        default:
-            return "unknown";
-    }
-};
-export const makeMethodSignatureKey = (args) => {
-    const params = args.parameters
-        .map((p) => `${p.isRest ? "..." : ""}${irTypeToSignatureKey(p.type)}`)
-        .join(",");
-    return `${args.isStatic ? "static" : "instance"}|${args.name}|${args.typeParamCount}|(${params})->${irTypeToSignatureKey(args.returnType)}`;
-};
+export { parseClrTypeString, splitTypeArguments, } from "./clr-type-string-parsing.js";
+export { INSTANCE_SUFFIX, VIEWS_PREFIX, VIEWS_SUFFIX, stripTsBindgenInstanceSuffix, stripTsBindgenViewsWrapper, getRightmostQualifiedNameText, getRightmostPropertyAccessText, dtsTypeNodeToIrType, irTypeToSignatureKey, makeMethodOverloadKey, } from "./dts-type-node-conversion.js";
 //# sourceMappingURL=clr-type-parser.js.map

package/dist/ir/type-system/internal/universe/clr-type-parser.js.map

@@ -1 +1 @@
-{"version":3,"file":"clr-type-parser.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-type-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAU,EAAE;IAC5D,cAAc;IACd,IAAI,OAAO,KAAK,aAAa,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9B,CAAC;IAED,4BAA4B;IAC5B,MAAM,YAAY,GAA2B;QAC3C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjD,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;QACtD,GAAG,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;QAC3C,iDAAiD;QACjD,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QACxD,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,aAAa,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACtD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QACxD,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjD,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACxD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,cAAc,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACvD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QACzD,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACxD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC1D,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjD,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5D,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QACnD,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACjD,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QACzD,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,aAAa,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACtD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5D,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QACnD,gBAAgB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QAC5D,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;QAChD,aAAa,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QACtD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7C,0EAA0E;QAC1E,kEAAkE;QAClE,eAAe,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;KAClD,CAAC;IAEF,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhC,iDAAiD;IACjD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,kBAAkB,CAAC,WAAW,CAAC;SAC7C,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,qCAAqC;IACrC,IAAI,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC5C,qBAAqB;QACrB,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACvE,IAAI,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACtD,CAAC;IAED,wEAAwE;IACxE,kCAAkC;IAClC,uEAAuE;IACvE,MAAM,4BAA4B,GAAG,OAAO,CAAC,KAAK,CAChD,2BAA2B,CAC5B,CAAC;IACF,IACE,4BAA4B;QAC5B,4BAA4B,CAAC,CAAC,CAAC;QAC/B,4BAA4B,CAAC,CAAC,CAAC;QAC/B,4BAA4B,CAAC,CAAC,CAAC,EAC/B,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5D,MAAM,WAAW,GAAG,4BAA4B,CAAC,CAAC,CAAC,CAAC;QAEpD,mFAAmF;QACnF,2EAA2E;QAC3E,+EAA+E;QAC/E,8EAA8E;QAC9E,mCAAmC;QACnC,EAAE;QACF,gFAAgF;QAChF,kFAAkF;QAClF,MAAM,sBAAsB,GAC1B,yCAAyC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE9D,MAAM,IAAI,GAAG,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC;QAE3E,4EAA4E;QAC5E,6EAA6E;QAC7E,oDAAoD;QACpD,MAAM,aAAa,GACjB,CAAC,sBAAsB,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK;YAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QAEhB,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,GAAG,QAAQ,IAAI,KAAK,EAAE;YAC5B,aAAa;YACb,eAAe,EAAE,OAAO;SACzB,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACpE,IAAI,YAAY,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;QAExD,oCAAoC;QACpC,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,IAAI,WAAW,EAAE,CAAC;YAChB,gFAAgF;YAChF,MAAM,IAAI,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;YAC7C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,uCAAuC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/B,aAAa,CAAC,IAAI,CAAC;oBACjB,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;iBAClC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;YACnE,eAAe,EAAE,OAAO;SACzB,CAAC;IACJ,CAAC;IAED,mCAAmC;IACnC,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,OAAO;QACb,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,GAAW,EAAY,EAAE;IAC1D,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,EAAE,CAAC;IAEjB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,EAAE,CAAC;YACR,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5B,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC;AAC3C,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,CAAC;AACjC,MAAM,CAAC,MAAM,YAAY,GAAG,QAAQ,CAAC;AAErC,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,IAAY,EAAU,EAAE;IACnE,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;QACnC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;QACxC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAY,EACQ,EAAE;IACtB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,IAAmB,EAAU,EAAE;IAC3E,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,OAAO,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAmB,EACC,EAAE;IACtB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/D,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC3B,OAAO,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QACpC,OAAO,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAiB,EAAW,EAAE,CACtD,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;IACzC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC3B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;AAErC,MAAM,yBAAyB,GAAG,CAChC,WAAwB,EACJ,EAAE;IACtB,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAC3C,CAAC,CAAC,WAAW,CAAC,KAAK;QACnB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAElB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YAC9C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YAC9C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACrC,SAAS,GAAG,IAAI,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtC,SAAS,GAAG,IAAI,CAAC;gBACjB,SAAS;YACX,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GACjB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,aAAa,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE1C,IAAI,aAAa,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAiB,EACjB,iBAAsC,EACtC,cAA2C,EACnC,EAAE;IACV,qBAAqB;IACrB,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAAC;IAC3E,CAAC;IAED,8CAA8C;IAC9C,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QAEvD,kFAAkF;QAClF,qFAAqF;QACrF,8DAA8D;QAC9D,IAAI,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9D,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC5C,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC;gBACvD,IAAI,OAAO,EAAE,CAAC;oBACZ,OAAO;wBACL,IAAI,EAAE,gBAAgB;wBACtB,OAAO;wBACP,SAAS,EAAE,mBAAmB,CAC5B,aAAa,EACb,iBAAiB,EACjB,cAAc,CACf;qBACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,8EAA8E;QAC9E,2EAA2E;QAC3E,IAAI,QAAQ,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAChD,CAAC;QAED,mEAAmE;QACnE,IAAI,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;YACnE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACvD,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClD,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAC1D,CAAC;QAEF,MAAM,YAAY,GAChB,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;YACvC,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,SAAS,GAAG,GAAG,QAAQ,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC;gBACxD,OAAO,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC9D,CAAC,CAAC,EAAE;YACN,CAAC,CAAC,QAAQ,CAAC;QAEf,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,aAAa,EACX,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;SACxE,CAAC;IACJ,CAAC;IAED,cAAc;IACd,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,mBAAmB,CAC9B,IAAI,CAAC,WAAW,EAChB,iBAAiB,EACjB,cAAc,CACf;SACF,CAAC;IACJ,CAAC;IAED,uBAAuB;IACvB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1B,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAC1D;SACF,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1B,mBAAmB,CAAC,CAAC,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAC1D;SACF,CAAC;IACJ,CAAC;IAED,gBAAgB;IAChB,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAC1B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACxC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YACzC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACjD,CAAC;IAED,WAAW;IACX,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC7B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD;YACE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACnC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,aAAa;YAChB,OAAO,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC;QACjB,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,mBAAmB;YACtB,0EAA0E;YAC1E,4DAA4D;YAC5D,OAAO,GAAG,CAAC;QACb,KAAK,WAAW;YACd,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QACvD,KAAK,WAAW;YACd,OAAO,IAAI,IAAI,CAAC,YAAY;iBACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;iBACrD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAClB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;iBACrD,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAChC,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;iBACrD,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAChC,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,KAAK,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;QAC7F,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU;iBAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;iBAC/D,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,MAAM,MAAM,MAAM,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnE,CAAC;QACD,KAAK,YAAY;YACf,OAAO,QAAQ,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,CAAC;YAC9C,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACpC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;gBAC7B,CAAC,CAAC,GAAG,CAAC;YACR,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,EAC5B,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAC7B,CAAC;YACF,IAAI,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;YAEzE,6DAA6D;YAC7D,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC9C,IAAI,aAAa,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9E,CAAC;YAED,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,KAAK,GACT,eAAe,IAAI,eAAe,CAAC,CAAC,CAAC;gBACnC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC5B,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,KAAK,IAAI,CAAC,CAAC;YAE1D,sFAAsF;YACtF,gEAAgE;YAChE,0BAA0B;YAC1B,qEAAqE;YACrE,qFAAqF;YACrF,IAAI,QAAQ,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC;YACjC,OAAO,GAAG,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC/E,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAStC,EAAU,EAAE;IACX,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;SACrE,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,IAC1D,IAAI,CAAC,cACP,KAAK,MAAM,MAAM,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;AAC3D,CAAC,CAAC"}
+{"version":3,"file":"clr-type-parser.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-type-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,6BAA6B,EAC7B,8BAA8B,EAC9B,mBAAmB,EACnB,oBAAoB,EACpB,qBAAqB,GACtB,MAAM,+BAA+B,CAAC"}

package/dist/ir/type-system/internal/universe/clr-type-parser.test.js

@@ -20,7 +20,7 @@ describe("clr-type-parser d.ts utility typing", () => {
         expect(result).to.deep.equal({
             kind: "dictionaryType",
             keyType: { kind: "primitiveType", name: "string" },
-            valueType: { kind: "unknownType" },
+            valueType: { kind: "unknownType", explicit: true },
         });
     });
     it("converts Record<number, string> to dictionaryType", () => {
@@ -38,7 +38,7 @@ describe("clr-type-parser d.ts utility typing", () => {
         expect(result).to.deep.equal({
             kind: "dictionaryType",
             keyType: { kind: "referenceType", name: "object" },
-            valueType: { kind: "unknownType" },
+            valueType: { kind: "unknownType", explicit: true },
         });
     });
     it("falls back to referenceType for unsupported Record key types", () => {
@@ -51,5 +51,16 @@ describe("clr-type-parser d.ts utility typing", () => {
         expect(result.name).to.equal("Record");
         expect(result.typeArguments?.length).to.equal(2);
     });
+    it("converts null literal type nodes inside unions", () => {
+        const typeNode = parseAliasTypeNode(`type X = string | null;`, "X");
+        const result = dtsTypeNodeToIrType(typeNode, inScopeTypeParams, tsNameToTypeId);
+        expect(result).to.deep.equal({
+            kind: "unionType",
+            types: [
+                { kind: "primitiveType", name: "string" },
+                { kind: "primitiveType", name: "null" },
+            ],
+        });
+    });
 });
 //# sourceMappingURL=clr-type-parser.test.js.map

package/dist/ir/type-system/internal/universe/clr-type-parser.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"clr-type-parser.test.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-type-parser.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,MAAM,kBAAkB,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAe,EAAE;IAC5E,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5B,WAAW,EACX,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACpE,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,eAAe,SAAS,aAAa,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAE,CAAC;IAEjC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,QAAQ,GAAG,kBAAkB,CACjC,mCAAmC,EACnC,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;SACnC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,QAAQ,GAAG,kBAAkB,CACjC,kCAAkC,EAClC,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,QAAQ,GAAG,kBAAkB,CACjC,4CAA4C,EAC5C,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;SACnC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,QAAQ,GAAG,kBAAkB,CACjC,+CAA+C,EAC/C,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"clr-type-parser.test.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-type-parser.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,MAAM,kBAAkB,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAe,EAAE;IAC5E,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5B,WAAW,EACX,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACpE,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,eAAe,SAAS,aAAa,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAE,CAAC;IAEjC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,QAAQ,GAAG,kBAAkB,CACjC,mCAAmC,EACnC,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;SACnD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,QAAQ,GAAG,kBAAkB,CACjC,kCAAkC,EAClC,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,QAAQ,GAAG,kBAAkB,CACjC,4CAA4C,EAC5C,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;SACnD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,QAAQ,GAAG,kBAAkB,CACjC,+CAA+C,EAC/C,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;aACxC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/type-system/internal/universe/clr-type-string-parsing.d.ts

@@ -0,0 +1,28 @@
+/**
+ * CLR Type String Parsing
+ *
+ * Pure functions for parsing CLR type strings (from normalized signatures
+ * and bindings.json) into IrType nodes.
+ */
+import type { IrType } from "../../../types/index.js";
+/**
+ * Parse a CLR type string from normalized signature into IrType.
+ *
+ * Examples:
+ * - "System.String" → { kind: "primitiveType", name: "string" }
+ * - "System.Int32" → { kind: "primitiveType", name: "int" }
+ * - "System.Double" → { kind: "primitiveType", name: "number" }
+ * - "System.Boolean" → { kind: "primitiveType", name: "boolean" }
+ * - "System.Char" → { kind: "primitiveType", name: "char" }
+ * - "System.Void" → { kind: "voidType" }
+ * - "System.Object" → { kind: "referenceType", name: "object" }
+ * - "T" → { kind: "typeParameterType", name: "T" }
+ * - "System.Collections.Generic.List`1[[T]]" → array type or reference
+ * - "T[]" → { kind: "arrayType", elementType: ... }
+ */
+export declare const parseClrTypeString: (clrType: string) => IrType;
+/**
+ * Split type arguments handling nested brackets.
+ */
+export declare const splitTypeArguments: (str: string) => string[];
+//# sourceMappingURL=clr-type-string-parsing.d.ts.map

package/dist/ir/type-system/internal/universe/clr-type-string-parsing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clr-type-string-parsing.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-type-string-parsing.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAMtD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,kBAAkB,GAAI,SAAS,MAAM,KAAG,MA4KpD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,KAAK,MAAM,KAAG,MAAM,EAyBtD,CAAC"}