@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/expression-converter-dispatch.js

@@ -0,0 +1,550 @@
+/**
+ * Expression converter — Main dispatcher
+ *
+ * Converts TypeScript expression nodes to IR expressions by delegating
+ * to specialized converter modules.
+ */
+import * as ts from "typescript";
+import { existsSync, readFileSync } from "node:fs";
+import { basename, dirname, join } from "node:path";
+// Import expression converters from specialized modules
+import { convertLiteral, convertRegularExpressionLiteral, } from "./converters/expressions/literals.js";
+import { convertArrayLiteral, convertObjectLiteral, } from "./converters/expressions/collections.js";
+import { convertMemberExpression } from "./converters/expressions/access.js";
+import { convertCallExpression, convertNewExpression, } from "./converters/expressions/calls.js";
+import { convertBinaryExpression, convertUnaryExpression, convertUpdateExpression, } from "./converters/expressions/operators.js";
+import { convertFunctionExpression, convertArrowFunction, } from "./converters/expressions/functions.js";
+import { convertConditionalExpression, convertTemplateLiteral, } from "./converters/expressions/other.js";
+import { convertImportMetaObject, isImportMetaMetaProperty, } from "./converters/expressions/import-meta.js";
+import { getSourceSpan } from "./converters/expressions/helpers.js";
+import { shouldWrapExpressionWithAssertion } from "./converters/assertion-wrapping.js";
+import { getNumericKindFromTypeNode, inferThisType, inferYieldReceivedType, getIdentifierStorageType, shouldPreserveExplicitStorageType, stripNullish, } from "./expression-converter-helpers.js";
+import { resolveAmbientGlobalSourceOwner } from "./converters/expressions/ambient-global-source-owner.js";
+const isImportLikeDeclaration = (decl) => ts.isImportClause(decl) ||
+    ts.isImportSpecifier(decl) ||
+    ts.isNamespaceImport(decl) ||
+    ts.isImportEqualsDeclaration(decl);
+const isDeclarationModuleGlobal = (decl) => {
+    for (let current = decl.parent; current; current = current.parent) {
+        if (ts.isModuleDeclaration(current) &&
+            ts.isIdentifier(current.name) &&
+            current.name.text === "global") {
+            return true;
+        }
+    }
+    return false;
+};
+const isAmbientGlobalDeclaration = (decl) => {
+    const sourceFile = decl.getSourceFile();
+    if (isDeclarationModuleGlobal(decl)) {
+        return true;
+    }
+    return ((sourceFile.isDeclarationFile && !ts.isExternalModule(sourceFile)) ||
+        (ts.getCombinedModifierFlags(decl) & ts.ModifierFlags.Ambient) !== 0);
+};
+const isMemberAccessReceiverExpression = (node) => {
+    let current = node;
+    while (ts.isParenthesizedExpression(current.parent)) {
+        current = current.parent;
+    }
+    const parent = current.parent;
+    return ((ts.isPropertyAccessExpression(parent) ||
+        ts.isElementAccessExpression(parent)) &&
+        parent.expression === current);
+};
+const resolveReferencedIdentifierSymbol = (checker, node) => {
+    const symbol = checker.getSymbolAtLocation(node);
+    if (!symbol) {
+        return undefined;
+    }
+    if (symbol.flags & ts.SymbolFlags.Alias) {
+        return checker.getAliasedSymbol(symbol);
+    }
+    return symbol;
+};
+const findNearestBindingsJson = (filePath) => {
+    let dir = dirname(filePath);
+    for (let i = 0; i < 12; i += 1) {
+        const candidate = join(dir, "bindings.json");
+        if (existsSync(candidate)) {
+            return candidate;
+        }
+        const parent = dirname(dir);
+        if (parent === dir) {
+            return undefined;
+        }
+        dir = parent;
+    }
+    return undefined;
+};
+const findOwningBindingsJson = (filePath) => {
+    const nearest = findNearestBindingsJson(filePath);
+    if (nearest) {
+        return nearest;
+    }
+    const namespaceKey = (() => {
+        if (filePath.endsWith(".d.ts")) {
+            return basename(filePath).slice(0, -".d.ts".length);
+        }
+        if (filePath.endsWith(".ts")) {
+            return basename(filePath).slice(0, -".ts".length);
+        }
+        if (filePath.endsWith(".js")) {
+            return basename(filePath).slice(0, -".js".length);
+        }
+        return undefined;
+    })();
+    if (!namespaceKey) {
+        return undefined;
+    }
+    const sibling = join(dirname(filePath), namespaceKey, "bindings.json");
+    return existsSync(sibling) ? sibling : undefined;
+};
+const readNamespaceFromBindingsJson = (bindingsPath) => {
+    try {
+        const raw = readFileSync(bindingsPath, "utf-8");
+        const parsed = JSON.parse(raw);
+        return parsed &&
+            typeof parsed === "object" &&
+            typeof parsed.namespace === "string"
+            ? parsed.namespace
+            : undefined;
+    }
+    catch {
+        return undefined;
+    }
+};
+const resolveImportedIdentifierClrType = (declId, declarations, ctx) => {
+    const importSpecifier = declarations.find(ts.isImportSpecifier);
+    if (!importSpecifier) {
+        return undefined;
+    }
+    const exportName = importSpecifier.propertyName?.text ?? importSpecifier.name.text;
+    const declPath = ctx.binding.getSourceFilePathOfDecl(declId);
+    if (!declPath) {
+        return undefined;
+    }
+    const bindingsPath = findOwningBindingsJson(declPath);
+    if (!bindingsPath) {
+        return undefined;
+    }
+    const namespace = readNamespaceFromBindingsJson(bindingsPath);
+    if (!namespace) {
+        return undefined;
+    }
+    const namespaceBinding = ctx.bindings.getNamespace(namespace);
+    if (!namespaceBinding) {
+        return undefined;
+    }
+    const matchesExportName = (type) => {
+        if (type.alias === exportName) {
+            return true;
+        }
+        const arityAlias = type.alias.match(/^(.+)_(\d+)$/);
+        if (arityAlias?.[1] === exportName) {
+            return true;
+        }
+        const simpleClrName = type.name.split(".").pop() ?? type.name;
+        return simpleClrName.replace(/`\d+$/, "") === exportName;
+    };
+    return namespaceBinding.types.find(matchesExportName)?.name;
+};
+/**
+ * Main expression conversion dispatcher
+ * Converts TypeScript expression nodes to IR expressions
+ *
+ * @param node - The TypeScript expression node to convert
+ * @param ctx - The ProgramContext for symbol resolution and type system access
+ * @param expectedType - Expected type from context (e.g., LHS annotation, parameter type).
+ *                       Pass `undefined` explicitly when no contextual type exists.
+ *                       Used for deterministic typing of literals and arrays.
+ */
+export const convertExpression = (node, ctx, expectedType) => {
+    // DETERMINISTIC TYPING: No top-level getInferredType() call.
+    // Each expression type derives its inferredType from the appropriate source.
+    if (ts.isStringLiteral(node) || ts.isNumericLiteral(node)) {
+        return convertLiteral(node, ctx);
+    }
+    if (ts.isRegularExpressionLiteral(node)) {
+        return convertRegularExpressionLiteral(node, ctx);
+    }
+    if (node.kind === ts.SyntaxKind.TrueKeyword ||
+        node.kind === ts.SyntaxKind.FalseKeyword) {
+        // Boolean literals have deterministic type
+        return {
+            kind: "literal",
+            value: node.kind === ts.SyntaxKind.TrueKeyword,
+            raw: node.getText(),
+            inferredType: { kind: "primitiveType", name: "boolean" },
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (node.kind === ts.SyntaxKind.NullKeyword) {
+        // Null literal is deterministically null. Context may later adapt it, but
+        // the literal itself must not erase nullish information here.
+        return {
+            kind: "literal",
+            value: null,
+            raw: "null",
+            inferredType: { kind: "primitiveType", name: "null" },
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (node.kind === ts.SyntaxKind.UndefinedKeyword) {
+        // Undefined literal - type is void
+        return {
+            kind: "literal",
+            value: undefined,
+            raw: "undefined",
+            inferredType: { kind: "voidType" },
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (ts.isVoidExpression(node)) {
+        // `void expr` evaluates `expr` and yields `undefined` (void type).
+        // Do NOT drop the operand: `void foo()` must still call foo().
+        return {
+            kind: "unary",
+            operator: "void",
+            expression: convertExpression(node.expression, ctx, undefined),
+            inferredType: { kind: "voidType" },
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (ts.isIdentifier(node)) {
+        if (node.text === "undefined") {
+            return {
+                kind: "identifier",
+                name: node.text,
+                inferredType: { kind: "primitiveType", name: "undefined" },
+                sourceSpan: getSourceSpan(node),
+            };
+        }
+        const declId = ctx.binding.resolveIdentifier(node);
+        const referencedSymbol = resolveReferencedIdentifierSymbol(ctx.checker, node);
+        const contextualGenericFunctionType = (() => {
+            if (!expectedType ||
+                !referencedSymbol ||
+                !ctx.genericFunctionValueSymbols.has(referencedSymbol)) {
+                return undefined;
+            }
+            const expectedCallableType = expectedType.kind === "functionType"
+                ? expectedType
+                : ctx.typeSystem.delegateToFunctionType(expectedType);
+            if (!expectedCallableType ||
+                ctx.typeSystem.containsTypeParameter(expectedCallableType)) {
+                return undefined;
+            }
+            return expectedCallableType;
+        })();
+        // DETERMINISTIC: Prefer lexical flow type (narrowing / lambda params), then decl type.
+        const fromEnv = declId ? ctx.typeEnv?.get(declId.id) : undefined;
+        const fromDecl = declId
+            ? ctx.typeSystem.typeOfValueRead(declId)
+            : undefined;
+        const identifierStorageType = getIdentifierStorageType(ctx, declId, fromDecl, fromEnv);
+        const effectiveIdentifierType = contextualGenericFunctionType ?? identifierStorageType;
+        // Check if this identifier is an aliased import (e.g., import { String as ClrString })
+        // ALICE'S SPEC: Use TypeSystem.getFQNameOfDecl() to get the original name
+        let originalName;
+        if (declId) {
+            const fqName = ctx.typeSystem.getFQNameOfDecl(declId);
+            // If the fqName differs from the identifier text, it's an aliased import
+            if (fqName && fqName !== node.text) {
+                originalName = fqName;
+            }
+        }
+        const symbolDeclarations = ctx.checker.getSymbolAtLocation(node)?.getDeclarations() ?? [];
+        const hasImportLikeDeclaration = symbolDeclarations.some(isImportLikeDeclaration);
+        const isAmbientGlobal = symbolDeclarations.length > 0 &&
+            !hasImportLikeDeclaration &&
+            symbolDeclarations.every(isAmbientGlobalDeclaration);
+        const importResolvedClrType = declId && hasImportLikeDeclaration
+            ? resolveImportedIdentifierClrType(declId, symbolDeclarations, ctx)
+            : undefined;
+        const suppressSyntheticFlowAssertion = isMemberAccessReceiverExpression(node);
+        const preserveExplicitStorageType = shouldPreserveExplicitStorageType(ctx, declId, fromDecl, fromEnv);
+        // Check if this identifier is bound to a CLR type (e.g., console, Math, etc.)
+        const clrBinding = ctx.bindings.getExactBindingByKind(node.text, "global");
+        if (clrBinding &&
+            clrBinding.kind === "global" &&
+            (!declId || isAmbientGlobal)) {
+            const baseIdentifier = {
+                kind: "identifier",
+                name: node.text,
+                inferredType: effectiveIdentifierType,
+                sourceSpan: getSourceSpan(node),
+                resolvedClrType: clrBinding.type,
+                resolvedAssembly: clrBinding.assembly,
+                csharpName: clrBinding.csharpName, // Optional C# name from binding
+                originalName,
+                declId,
+            };
+            if (!suppressSyntheticFlowAssertion &&
+                !preserveExplicitStorageType &&
+                shouldWrapExpressionWithAssertion(ctx, fromDecl, fromEnv) &&
+                fromEnv) {
+                return {
+                    kind: "typeAssertion",
+                    expression: baseIdentifier,
+                    targetType: fromEnv,
+                    inferredType: fromEnv,
+                    sourceSpan: getSourceSpan(node),
+                };
+            }
+            return baseIdentifier;
+        }
+        const ambientSourceOwner = !clrBinding && isAmbientGlobal
+            ? resolveAmbientGlobalSourceOwner(symbolDeclarations, ctx)
+            : undefined;
+        const baseIdentifier = {
+            kind: "identifier",
+            name: node.text,
+            inferredType: effectiveIdentifierType,
+            sourceSpan: getSourceSpan(node),
+            resolvedClrType: importResolvedClrType ?? ambientSourceOwner,
+            originalName,
+            declId,
+        };
+        if (!suppressSyntheticFlowAssertion &&
+            !preserveExplicitStorageType &&
+            shouldWrapExpressionWithAssertion(ctx, fromDecl, fromEnv) &&
+            fromEnv) {
+            return {
+                kind: "typeAssertion",
+                expression: baseIdentifier,
+                targetType: fromEnv,
+                inferredType: fromEnv,
+                sourceSpan: getSourceSpan(node),
+            };
+        }
+        return baseIdentifier;
+    }
+    if (isImportMetaMetaProperty(node)) {
+        return convertImportMetaObject(node, ctx);
+    }
+    if (ts.isArrayLiteralExpression(node)) {
+        return convertArrayLiteral(node, ctx, expectedType);
+    }
+    if (ts.isObjectLiteralExpression(node)) {
+        return convertObjectLiteral(node, ctx, expectedType);
+    }
+    if (ts.isPropertyAccessExpression(node) ||
+        ts.isElementAccessExpression(node)) {
+        return convertMemberExpression(node, ctx);
+    }
+    if (ts.isCallExpression(node)) {
+        return convertCallExpression(node, ctx, expectedType);
+    }
+    if (ts.isNewExpression(node)) {
+        return convertNewExpression(node, ctx, expectedType);
+    }
+    if (ts.isBinaryExpression(node)) {
+        return convertBinaryExpression(node, ctx, expectedType);
+    }
+    if (ts.isPrefixUnaryExpression(node)) {
+        return convertUnaryExpression(node, ctx);
+    }
+    if (ts.isPostfixUnaryExpression(node)) {
+        return convertUpdateExpression(node, ctx);
+    }
+    if (ts.isTypeOfExpression(node)) {
+        // typeof always returns string
+        return {
+            kind: "unary",
+            operator: "typeof",
+            expression: convertExpression(node.expression, ctx, undefined),
+            inferredType: { kind: "primitiveType", name: "string" },
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (ts.isVoidExpression(node)) {
+        // void always returns undefined (void type)
+        return {
+            kind: "unary",
+            operator: "void",
+            expression: convertExpression(node.expression, ctx, undefined),
+            inferredType: { kind: "voidType" },
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (ts.isDeleteExpression(node)) {
+        // delete always returns boolean
+        return {
+            kind: "unary",
+            operator: "delete",
+            expression: convertExpression(node.expression, ctx, undefined),
+            inferredType: { kind: "primitiveType", name: "boolean" },
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (ts.isConditionalExpression(node)) {
+        return convertConditionalExpression(node, ctx, expectedType);
+    }
+    if (ts.isFunctionExpression(node)) {
+        // DETERMINISTIC: Pass expectedType for parameter type inference
+        return convertFunctionExpression(node, ctx, expectedType);
+    }
+    if (ts.isArrowFunction(node)) {
+        // DETERMINISTIC: Pass expectedType for parameter type inference
+        return convertArrowFunction(node, ctx, expectedType);
+    }
+    if (ts.isTemplateExpression(node) ||
+        ts.isNoSubstitutionTemplateLiteral(node)) {
+        return convertTemplateLiteral(node, ctx);
+    }
+    if (ts.isSpreadElement(node)) {
+        // Spread inherits type from expression (the array being spread)
+        const spreadExpr = convertExpression(node.expression, ctx, undefined);
+        return {
+            kind: "spread",
+            expression: spreadExpr,
+            inferredType: spreadExpr.inferredType,
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (node.kind === ts.SyntaxKind.ThisKeyword) {
+        // Deterministic `this` typing:
+        // 1. object-literal synthetic receiver (when converting method/accessor bodies)
+        // 2. enclosing class declaration
+        return {
+            kind: "this",
+            inferredType: ctx.objectLiteralThisType ?? inferThisType(node),
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (ts.isAwaitExpression(node)) {
+        const awaitedExpr = convertExpression(node.expression, ctx, undefined);
+        const awaitedType = awaitedExpr.inferredType
+            ? ctx.typeSystem.expandUtility("Awaited", [awaitedExpr.inferredType])
+            : undefined;
+        return {
+            kind: "await",
+            expression: awaitedExpr,
+            inferredType: awaitedType,
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (ts.isYieldExpression(node)) {
+        return {
+            kind: "yield",
+            expression: node.expression
+                ? convertExpression(node.expression, ctx, undefined)
+                : undefined,
+            delegate: !!node.asteriskToken,
+            inferredType: inferYieldReceivedType(node, ctx),
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    if (ts.isParenthesizedExpression(node)) {
+        return convertExpression(node.expression, ctx, expectedType);
+    }
+    if (ts.isNonNullExpression(node)) {
+        // `expr!` has no runtime semantics but DOES narrow the type (T | null → T).
+        // Preserve the inner expression, but strip null/undefined from its inferredType.
+        const inner = convertExpression(node.expression, ctx, expectedType);
+        const narrowed = stripNullish(inner.inferredType);
+        return narrowed ? { ...inner, inferredType: narrowed } : inner;
+    }
+    if (ts.isAsExpression(node) || ts.isTypeAssertionExpression(node)) {
+        // Get the asserted type
+        // PHASE 4 (Alice's spec): Use captureTypeSyntax + typeFromSyntax
+        const assertedTypeNode = node.type;
+        const assertedType = ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(assertedTypeNode));
+        // Check if this is a numeric narrowing (e.g., `as int`, `as byte`)
+        const numericKind = getNumericKindFromTypeNode(assertedTypeNode);
+        if (numericKind !== undefined) {
+            // Convert the inner expression with no expected type so we preserve its natural classification.
+            const innerExpr = convertExpression(node.expression, ctx, undefined);
+            const sourceNeedsRuntimeCast = innerExpr.inferredType === undefined ||
+                innerExpr.inferredType.kind === "unknownType" ||
+                innerExpr.inferredType.kind === "anyType";
+            // If the source type is unknown/any (or unresolved), we cannot prove a
+            // compile-time numeric narrowing. Preserve explicit user intent as a
+            // runtime cast (`(int)x`) via a regular typeAssertion.
+            if (sourceNeedsRuntimeCast) {
+                return {
+                    kind: "typeAssertion",
+                    expression: innerExpr,
+                    targetType: assertedType,
+                    inferredType: assertedType,
+                    sourceSpan: getSourceSpan(node),
+                };
+            }
+            // Determine the inferredType based on the targetKind
+            // INVARIANT: "Int32" → primitiveType(name="int")
+            // Other numeric kinds remain as referenceType (handled by assertedType)
+            const inferredType = numericKind === "Int32"
+                ? { kind: "primitiveType", name: "int" }
+                : assertedType;
+            // Create a numeric narrowing expression that preserves the inner expression
+            const narrowingExpr = {
+                kind: "numericNarrowing",
+                expression: innerExpr,
+                targetKind: numericKind,
+                inferredType,
+                sourceSpan: getSourceSpan(node),
+            };
+            return narrowingExpr;
+        }
+        // Check if this is `as number` or `as double` - explicit widening intent
+        // This creates a numericNarrowing with targetKind: "Double" to distinguish
+        // from a plain literal (which also has inferredType: number but no assertion)
+        if (assertedType.kind === "primitiveType" &&
+            assertedType.name === "number") {
+            // Convert the inner expression with no expected type so we preserve its natural classification.
+            const innerExpr = convertExpression(node.expression, ctx, undefined);
+            // Check if the inner expression is numeric (literal or already classified)
+            const isNumericInner = (innerExpr.kind === "literal" && typeof innerExpr.value === "number") ||
+                innerExpr.kind === "numericNarrowing";
+            if (isNumericInner) {
+                const narrowingExpr = {
+                    kind: "numericNarrowing",
+                    expression: innerExpr,
+                    targetKind: "Double",
+                    inferredType: assertedType,
+                    sourceSpan: getSourceSpan(node),
+                };
+                return narrowingExpr;
+            }
+        }
+        // Check if this is a type erasure (unknown/any) - NOT a runtime cast
+        // `x as unknown` or `x as any` just tells TS to forget the type
+        if (assertedType.kind === "unknownType" ||
+            assertedType.kind === "anyType") {
+            // Preserve contextual typing from the outer position.
+            return convertExpression(node.expression, ctx, expectedType);
+        }
+        // Check if this is a parameter modifier type (out<T>, ref<T>, in<T>)
+        // These are not real type casts - they're parameter passing annotations
+        const isParameterModifierType = assertedType.kind === "referenceType" &&
+            (assertedType.name === "out" ||
+                assertedType.name === "ref" ||
+                assertedType.name === "in" ||
+                assertedType.name === "inref");
+        if (isParameterModifierType) {
+            // Preserve contextual typing from the outer position.
+            // The parameter modifier itself is handled in call lowering / argument emission.
+            return convertExpression(node.expression, ctx, expectedType);
+        }
+        // Convert the inner expression contextually, using the asserted type as the target.
+        // This prevents `({ ... } as T)` from becoming an anonymous object cast to T (invalid in C#).
+        const innerExpr = convertExpression(node.expression, ctx, assertedType);
+        // Non-numeric assertion - create type assertion node for C# cast
+        return {
+            kind: "typeAssertion",
+            expression: innerExpr,
+            targetType: assertedType,
+            inferredType: assertedType,
+            sourceSpan: getSourceSpan(node),
+        };
+    }
+    // Fallback - treat as identifier with unknown type
+    return {
+        kind: "identifier",
+        name: node.getText(),
+        inferredType: undefined,
+        sourceSpan: getSourceSpan(node),
+    };
+};
+//# sourceMappingURL=expression-converter-dispatch.js.map

package/dist/ir/expression-converter-dispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-converter-dispatch.js","sourceRoot":"","sources":["../../src/ir/expression-converter-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AASpD,wDAAwD;AACxD,OAAO,EACL,cAAc,EACd,+BAA+B,GAChC,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EACL,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,iCAAiC,EAAE,MAAM,oCAAoC,CAAC;AACvF,OAAO,EACL,0BAA0B,EAC1B,aAAa,EACb,sBAAsB,EACtB,wBAAwB,EACxB,iCAAiC,EACjC,YAAY,GACb,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,+BAA+B,EAAE,MAAM,yDAAyD,CAAC;AAG1G,MAAM,uBAAuB,GAAG,CAAC,IAAoB,EAAW,EAAE,CAChE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;IACvB,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;IAC1B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;IAC1B,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC;AAErC,MAAM,yBAAyB,GAAG,CAAC,IAAoB,EAAW,EAAE;IAClE,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,EACP,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;QACD,IACE,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAC/B,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAC9B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,IAAoB,EAAW,EAAE;IACnE,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,IAAI,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,CAAC,UAAU,CAAC,iBAAiB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAClE,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CACrE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CAAC,IAAmB,EAAW,EAAE;IACxE,IAAI,OAAO,GAAY,IAAI,CAAC;IAE5B,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACpD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAC9B,OAAO,CACL,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACpC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,UAAU,KAAK,OAAO,CAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,OAAuB,EACvB,IAAmB,EACI,EAAE;IACzB,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,QAAgB,EAAsB,EAAE;IACvE,IAAI,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QAC7C,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,QAAgB,EAAsB,EAAE;IACtE,MAAM,OAAO,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE;QACzB,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,eAAe,CAAC,CAAC;IACvE,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,YAAoB,EACA,EAAE;IACtB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;QAC1C,OAAO,MAAM;YACX,OAAO,MAAM,KAAK,QAAQ;YAC1B,OAAQ,MAA2C,CAAC,SAAS,KAAK,QAAQ;YAC1E,CAAC,CAAE,MAAyC,CAAC,SAAS;YACtD,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,MAAc,EACd,YAAuC,EACvC,GAAmB,EACC,EAAE;IACtB,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IAChE,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,eAAe,CAAC,YAAY,EAAE,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;IAClE,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,6BAA6B,CAAC,YAAY,CAAC,CAAC;IAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAC9D,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,CAAC,IAAiB,EAAW,EAAE;QACvD,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACpD,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;QAC9D,OAAO,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC;IAC3D,CAAC,CAAC;IAEF,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAmB,EACnB,GAAmB,EACnB,YAAgC,EAClB,EAAE;IAChB,6DAA6D;IAC7D,6EAA6E;IAE7E,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,+BAA+B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACpD,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACxC,CAAC;QACD,2CAA2C;QAC3C,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC9C,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE;YACnB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;YACxD,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,0EAA0E;QAC1E,8DAA8D;QAC9D,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,IAAI;YACX,GAAG,EAAE,MAAM;YACX,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;YACrD,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACjD,mCAAmC;QACnC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,WAAW;YAChB,YAAY,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,mEAAmE;QACnE,+DAA+D;QAC/D,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;YAC9D,YAAY,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;gBAC1D,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;aAChC,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,gBAAgB,GAAG,iCAAiC,CACxD,GAAG,CAAC,OAAO,EACX,IAAI,CACL,CAAC;QACF,MAAM,6BAA6B,GAAG,CAAC,GAAG,EAAE;YAC1C,IACE,CAAC,YAAY;gBACb,CAAC,gBAAgB;gBACjB,CAAC,GAAG,CAAC,2BAA2B,CAAC,GAAG,CAAC,gBAAgB,CAAC,EACtD,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,oBAAoB,GACxB,YAAY,CAAC,IAAI,KAAK,cAAc;gBAClC,CAAC,CAAC,YAAY;gBACd,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,sBAAsB,CAAC,YAAY,CAAC,CAAC;YAE1D,IACE,CAAC,oBAAoB;gBACrB,GAAG,CAAC,UAAU,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,EAC1D,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,OAAO,oBAAoB,CAAC;QAC9B,CAAC,CAAC,EAAE,CAAC;QAEL,uFAAuF;QACvF,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjE,MAAM,QAAQ,GAAG,MAAM;YACrB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC;YACxC,CAAC,CAAC,SAAS,CAAC;QAEd,MAAM,qBAAqB,GAAG,wBAAwB,CACpD,GAAG,EACH,MAAM,EACN,QAAQ,EACR,OAAO,CACR,CAAC;QACF,MAAM,uBAAuB,GAC3B,6BAA6B,IAAI,qBAAqB,CAAC;QAEzD,uFAAuF;QACvF,0EAA0E;QAC1E,IAAI,YAAgC,CAAC;QACrC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YACtD,yEAAyE;YACzE,IAAI,MAAM,IAAI,MAAM,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;gBACnC,YAAY,GAAG,MAAM,CAAC;YACxB,CAAC;QACH,CAAC;QAED,MAAM,kBAAkB,GACtB,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;QACjE,MAAM,wBAAwB,GAAG,kBAAkB,CAAC,IAAI,CACtD,uBAAuB,CACxB,CAAC;QACF,MAAM,eAAe,GACnB,kBAAkB,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,wBAAwB;YACzB,kBAAkB,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACvD,MAAM,qBAAqB,GACzB,MAAM,IAAI,wBAAwB;YAChC,CAAC,CAAC,gCAAgC,CAAC,MAAM,EAAE,kBAAkB,EAAE,GAAG,CAAC;YACnE,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,8BAA8B,GAClC,gCAAgC,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,2BAA2B,GAAG,iCAAiC,CACnE,GAAG,EACH,MAAM,EACN,QAAQ,EACR,OAAO,CACR,CAAC;QAEF,8EAA8E;QAC9E,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC3E,IACE,UAAU;YACV,UAAU,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,MAAM,IAAI,eAAe,CAAC,EAC5B,CAAC;YACD,MAAM,cAAc,GAAiB;gBACnC,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,YAAY,EAAE,uBAAuB;gBACrC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;gBAC/B,eAAe,EAAE,UAAU,CAAC,IAAI;gBAChC,gBAAgB,EAAE,UAAU,CAAC,QAAQ;gBACrC,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,gCAAgC;gBACnE,YAAY;gBACZ,MAAM;aACP,CAAC;YACF,IACE,CAAC,8BAA8B;gBAC/B,CAAC,2BAA2B;gBAC5B,iCAAiC,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC;gBACzD,OAAO,EACP,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,OAAO;oBACnB,YAAY,EAAE,OAAO;oBACrB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;iBAChC,CAAC;YACJ,CAAC;YACD,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,MAAM,kBAAkB,GACtB,CAAC,UAAU,IAAI,eAAe;YAC5B,CAAC,CAAC,+BAA+B,CAAC,kBAAkB,EAAE,GAAG,CAAC;YAC1D,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,cAAc,GAAiB;YACnC,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,YAAY,EAAE,uBAAuB;YACrC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;YAC/B,eAAe,EAAE,qBAAqB,IAAI,kBAAkB;YAC5D,YAAY;YACZ,MAAM;SACP,CAAC;QACF,IACE,CAAC,8BAA8B;YAC/B,CAAC,2BAA2B;YAC5B,iCAAiC,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC;YACzD,OAAO,EACP,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,OAAO;gBACnB,YAAY,EAAE,OAAO;gBACrB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;aAChC,CAAC;QACJ,CAAC;QACD,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,IAAI,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,oBAAoB,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IACvD,CAAC;IACD,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAClC,CAAC;QACD,OAAO,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,oBAAoB,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,+BAA+B;QAC/B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;YAC9D,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvD,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,4CAA4C;QAC5C,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;YAC9D,YAAY,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;YAClC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,gCAAgC;QAChC,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;YAC9D,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;YACxD,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,4BAA4B,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,gEAAgE;QAChE,OAAO,yBAAyB,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,gEAAgE;QAChE,OAAO,oBAAoB,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IACvD,CAAC;IACD,IACE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,EACxC,CAAC;QACD,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,gEAAgE;QAChE,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACtE,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,UAAU;YACtB,YAAY,EAAE,UAAU,CAAC,YAAY;YACrC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,+BAA+B;QAC/B,gFAAgF;QAChF,iCAAiC;QACjC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,YAAY,EAAE,GAAG,CAAC,qBAAqB,IAAI,aAAa,CAAC,IAAI,CAAC;YAC9D,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACvE,MAAM,WAAW,GAAG,WAAW,CAAC,YAAY;YAC1C,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;YACrE,CAAC,CAAC,SAAS,CAAC;QACd,OAAO;YACL,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,WAAW;YACvB,YAAY,EAAE,WAAW;YACzB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,IAAI,CAAC,UAAU;gBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;gBACpD,CAAC,CAAC,SAAS;YACb,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;YAC9B,YAAY,EAAE,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC;YAC/C,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,4EAA4E;QAC5E,iFAAiF;QACjF,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAClD,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACjE,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,wBAAwB;QACxB,iEAAiE;QACjE,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC;QACnC,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAChD,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAChD,CAAC;QAEF,mEAAmE;QACnE,MAAM,WAAW,GAAG,0BAA0B,CAAC,gBAAgB,CAAC,CAAC;QACjE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,gGAAgG;YAChG,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YAErE,MAAM,sBAAsB,GAC1B,SAAS,CAAC,YAAY,KAAK,SAAS;gBACpC,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,aAAa;gBAC7C,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,SAAS,CAAC;YAE5C,uEAAuE;YACvE,qEAAqE;YACrE,uDAAuD;YACvD,IAAI,sBAAsB,EAAE,CAAC;gBAC3B,OAAO;oBACL,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,YAAY;oBACxB,YAAY,EAAE,YAAY;oBAC1B,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;iBAChC,CAAC;YACJ,CAAC;YAED,qDAAqD;YACrD,iDAAiD;YACjD,wEAAwE;YACxE,MAAM,YAAY,GAChB,WAAW,KAAK,OAAO;gBACrB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;gBAC1D,CAAC,CAAC,YAAY,CAAC;YAEnB,4EAA4E;YAC5E,MAAM,aAAa,GAAiC;gBAClD,IAAI,EAAE,kBAAkB;gBACxB,UAAU,EAAE,SAAS;gBACrB,UAAU,EAAE,WAAW;gBACvB,YAAY;gBACZ,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;aAChC,CAAC;YACF,OAAO,aAAa,CAAC;QACvB,CAAC;QAED,yEAAyE;QACzE,2EAA2E;QAC3E,8EAA8E;QAC9E,IACE,YAAY,CAAC,IAAI,KAAK,eAAe;YACrC,YAAY,CAAC,IAAI,KAAK,QAAQ,EAC9B,CAAC;YACD,gGAAgG;YAChG,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YAErE,2EAA2E;YAC3E,MAAM,cAAc,GAClB,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC;gBACrE,SAAS,CAAC,IAAI,KAAK,kBAAkB,CAAC;YAExC,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,aAAa,GAAiC;oBAClD,IAAI,EAAE,kBAAkB;oBACxB,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,QAAQ;oBACpB,YAAY,EAAE,YAAY;oBAC1B,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;iBAChC,CAAC;gBACF,OAAO,aAAa,CAAC;YACvB,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,gEAAgE;QAChE,IACE,YAAY,CAAC,IAAI,KAAK,aAAa;YACnC,YAAY,CAAC,IAAI,KAAK,SAAS,EAC/B,CAAC;YACD,sDAAsD;YACtD,OAAO,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QAC/D,CAAC;QAED,qEAAqE;QACrE,wEAAwE;QACxE,MAAM,uBAAuB,GAC3B,YAAY,CAAC,IAAI,KAAK,eAAe;YACrC,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;gBAC1B,YAAY,CAAC,IAAI,KAAK,KAAK;gBAC3B,YAAY,CAAC,IAAI,KAAK,IAAI;gBAC1B,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAEnC,IAAI,uBAAuB,EAAE,CAAC;YAC5B,sDAAsD;YACtD,iFAAiF;YACjF,OAAO,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QAC/D,CAAC;QAED,oFAAoF;QACpF,8FAA8F;QAC9F,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QAExE,iEAAiE;QACjE,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE,SAAS;YACrB,UAAU,EAAE,YAAY;YACxB,YAAY,EAAE,YAAY;YAC1B,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;SAChC,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE;QACpB,YAAY,EAAE,SAAS;QACvB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/expression-converter-helpers.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Expression converter helpers — numeric kind extraction, this-type inference,
+ * parenthesis unwrapping, unknown-type checking, identifier storage type resolution,
+ * and nullish stripping.
+ */
+import * as ts from "typescript";
+import type { IrType, NumericKind } from "./types.js";
+import type { ProgramContext } from "./program-context.js";
+/**
+ * Extract the NumericKind from a type node if it references a known numeric alias.
+ *
+ * Examples:
+ * - `int` → "Int32"
+ * - `byte` → "Byte"
+ * - `long` → "Int64"
+ * - `string` → undefined (not numeric)
+ */
+export declare const getNumericKindFromTypeNode: (typeNode: ts.TypeNode) => NumericKind | undefined;
+export declare const inferThisType: (node: ts.Node) => IrType | undefined;
+export declare const inferYieldReceivedType: (node: ts.YieldExpression, ctx: ProgramContext) => IrType | undefined;
+export declare const unwrapParens: (node: ts.Expression) => ts.Expression;
+export declare const isExplicitUnknownTypeNode: (node: ts.TypeNode | undefined) => boolean;
+export declare const hasExplicitUnknownStorageInitializer: (node: ts.Expression | undefined) => boolean;
+export declare const shouldPreserveExplicitStorageType: (ctx: ProgramContext, declId: ReturnType<ProgramContext["binding"]["resolveIdentifier"]>, fromDecl: IrType | undefined, fromEnv: IrType | undefined) => boolean;
+export declare const getIdentifierStorageType: (ctx: ProgramContext, declId: ReturnType<ProgramContext["binding"]["resolveIdentifier"]>, fromDecl: IrType | undefined, fromEnv: IrType | undefined) => IrType | undefined;
+export declare const stripNullish: (type: IrType | undefined) => IrType | undefined;
+//# sourceMappingURL=expression-converter-helpers.d.ts.map

package/dist/ir/expression-converter-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-converter-helpers.d.ts","sourceRoot":"","sources":["../../src/ir/expression-converter-helpers.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,GACrC,UAAU,EAAE,CAAC,QAAQ,KACpB,WAAW,GAAG,SAehB,CAAC;AAEF,eAAO,MAAM,aAAa,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,MAAM,GAAG,SAwBtD,CAAC;AA2CF,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,eAAe,EACxB,KAAK,cAAc,KAClB,MAAM,GAAG,SASX,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,EAAE,CAAC,UAMrD,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,MAAM,EAAE,CAAC,QAAQ,GAAG,SAAS,KAC5B,OAA+D,CAAC;AAEnE,eAAO,MAAM,oCAAoC,GAC/C,MAAM,EAAE,CAAC,UAAU,GAAG,SAAS,KAC9B,OAaF,CAAC;AAgBF,eAAO,MAAM,iCAAiC,GAC5C,KAAK,cAAc,EACnB,QAAQ,UAAU,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAClE,UAAU,MAAM,GAAG,SAAS,EAC5B,SAAS,MAAM,GAAG,SAAS,KAC1B,OAaF,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,KAAK,cAAc,EACnB,QAAQ,UAAU,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAClE,UAAU,MAAM,GAAG,SAAS,EAC5B,SAAS,MAAM,GAAG,SAAS,KAC1B,MAAM,GAAG,SA8BX,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,MAAM,GAAG,SAahE,CAAC"}