@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/operators/binary-dispatch.js

@@ -0,0 +1,449 @@
+/**
+ * Binary operator expression emitter — main dispatch function.
+ *
+ * Extracted from binary-emitter.ts — contains the emitBinary entry point
+ * that handles comparison, nullish, arithmetic, and standard binary operators.
+ * The `in` and `instanceof` special cases are delegated to binary-special-ops.ts.
+ *
+ * NEW NUMERIC SPEC:
+ * - Literals use raw lexeme (no contextual widening)
+ * - Integer casts only from IrCastExpression (not inferred from expectedType)
+ * - Binary ops: int op int = int, double op anything = double (C# semantics)
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { resolveTypeAlias, stripNullish, isDefinitelyValueType, } from "../../core/semantic/type-resolution.js";
+import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
+import { isCharTyped, isCharType, isStringTyped, getSingleCharLiteral, isNullishLiteral, getDictionaryComputedAccess, } from "./helpers.js";
+import { charLiteral, decimalIntegerLiteral, identifierExpression, identifierType, nullLiteral, } from "../../core/format/backend-ast/builders.js";
+import { getTransparentComparisonTarget, resolveComparisonOperandType, isNumericOperandType, chooseComparisonExpectedType, buildNullishComparisonContext, } from "./binary-helpers.js";
+import { emitInOperator, emitInstanceof, emitTypeofComparison, } from "./binary-special-ops.js";
+import { emitRuntimeUnionLiteralComparison } from "./binary-runtime-union-comparison.js";
+import { isBroadObjectSlotType } from "../../core/semantic/js-value-types.js";
+import { referenceTypeHasClrIdentity } from "../../core/semantic/clr-type-identity.js";
+const BITWISE_OPERATORS = new Set(["&", "|", "^", "<<", ">>", ">>>"]);
+const JS_BITWISE_NUMBERISH_CLR_NAMES = new Set([
+    "System.Int32",
+    "global::System.Int32",
+    "System.Double",
+    "global::System.Double",
+]);
+const isJsBitwiseNumberishType = (type, context) => {
+    if (!type)
+        return false;
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    return ((resolved.kind === "primitiveType" &&
+        (resolved.name === "number" || resolved.name === "int")) ||
+        (resolved.kind === "literalType" && typeof resolved.value === "number") ||
+        (resolved.kind === "referenceType" &&
+            (resolved.name === "int" ||
+                resolved.name === "double" ||
+                referenceTypeHasClrIdentity(resolved, JS_BITWISE_NUMBERISH_CLR_NAMES))));
+};
+const maybeCastBitwiseOperandToInt = (ast, type, context) => isJsBitwiseNumberishType(type, context)
+    ? {
+        kind: "castExpression",
+        type: { kind: "predefinedType", keyword: "int" },
+        expression: ast,
+    }
+    : ast;
+/**
+ * Emit a binary operator expression as CSharpExpressionAst
+ *
+ * NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
+ * Literals use their raw lexeme - C# will naturally handle int + int = int,
+ * int + double = double, etc.
+ *
+ * Explicit casts come from IrCastExpression nodes (generated by type-checker
+ * when user intent allows int -> double coercion).
+ *
+ * STRING INDEXER FIX: In C#, string[int] returns char, not string.
+ * When comparing a string indexer result with a single-character string literal,
+ * we emit the string as a char literal to avoid CS0019 (char == string).
+ *
+ * @param expr - The binary expression
+ * @param context - Emitter context
+ * @param _expectedType - Currently unused
+ */
+export const emitBinary = (expr, context, _expectedType) => {
+    // Map JavaScript operators to C# operators
+    const operatorMap = {
+        "===": "==",
+        "!==": "!=",
+        "==": "==", // Loose equality - needs special handling
+        "!=": "!=", // Loose inequality - needs special handling
+        instanceof: "is",
+        in: "/* in */", // Needs special handling
+    };
+    const op = operatorMap[expr.operator] ?? expr.operator;
+    // Handle `"prop" in x` (union narrowing / dictionary membership)
+    if (expr.operator === "in") {
+        return emitInOperator(expr, context);
+    }
+    // Handle instanceof operator specially
+    if (expr.operator === "instanceof") {
+        return emitInstanceof(expr, context);
+    }
+    const typeofComparison = emitTypeofComparison(expr, context);
+    if (typeofComparison) {
+        return typeofComparison;
+    }
+    const runtimeUnionLiteralComparison = emitRuntimeUnionLiteralComparison(expr, context);
+    if (runtimeUnionLiteralComparison) {
+        return runtimeUnionLiteralComparison;
+    }
+    // CHAR VS STRING COMPARISON FIX:
+    // In C#, string[int] returns char, but in TypeScript it returns string.
+    // When comparing a char-typed expression with a single-character string literal,
+    // emit the string as a char literal to avoid CS0019 (char == string).
+    const isComparisonOp = op === "==" ||
+        op === "!=" ||
+        op === "<" ||
+        op === ">" ||
+        op === "<=" ||
+        op === ">=";
+    if (isComparisonOp) {
+        const charExpectedType = {
+            kind: "primitiveType",
+            name: "char",
+        };
+        const leftIsChar = isCharTyped(expr.left) ||
+            isCharType(resolveComparisonOperandType(expr.left, context));
+        const rightIsChar = isCharTyped(expr.right) ||
+            isCharType(resolveComparisonOperandType(expr.right, context));
+        const leftSingleChar = getSingleCharLiteral(expr.left);
+        const rightSingleChar = getSingleCharLiteral(expr.right);
+        // Case 1: left is char-typed, right is single-char literal -> emit right as char
+        if (leftIsChar && rightSingleChar !== undefined) {
+            const [leftAst, leftContext] = emitExpressionAst(expr.left, context, charExpectedType);
+            const charLiteralAst = charLiteral(rightSingleChar);
+            return [
+                {
+                    kind: "binaryExpression",
+                    operatorToken: op,
+                    left: leftAst,
+                    right: charLiteralAst,
+                },
+                leftContext,
+            ];
+        }
+        // Case 2: right is char-typed, left is single-char literal -> emit left as char
+        if (rightIsChar && leftSingleChar !== undefined) {
+            const [rightAst, rightContext] = emitExpressionAst(expr.right, context, charExpectedType);
+            const charLiteralAst = charLiteral(leftSingleChar);
+            return [
+                {
+                    kind: "binaryExpression",
+                    operatorToken: op,
+                    left: charLiteralAst,
+                    right: rightAst,
+                },
+                rightContext,
+            ];
+        }
+    }
+    // C# does not support relational operators directly on strings.
+    // TypeScript's lexicographic ordering maps to ordinal string comparison.
+    if (isComparisonOp &&
+        (op === "<" || op === ">" || op === "<=" || op === ">=") &&
+        isStringTyped(expr.left) &&
+        isStringTyped(expr.right)) {
+        const [leftAst, leftContext] = emitExpressionAst(expr.left, context);
+        const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext);
+        const compareAst = {
+            kind: "invocationExpression",
+            expression: {
+                ...identifierExpression("global::System.String.CompareOrdinal"),
+            },
+            arguments: [leftAst, rightAst],
+        };
+        return [
+            {
+                kind: "binaryExpression",
+                operatorToken: op,
+                left: compareAst,
+                right: decimalIntegerLiteral(0),
+            },
+            rightContext,
+        ];
+    }
+    // NULLISH COMPARISONS:
+    //
+    // Prefer `== null` / `!= null` for normal reference/nullable types so the result
+    // is expression-tree friendly (EF Core query providers do not support pattern matching).
+    //
+    // For unconstrained generics (T), `== null` is not always valid, so we instead cast
+    // to `object` to force reference-equality semantics and avoid operator overloads:
+    //   ((object)x) == null
+    //
+    // TypeScript:  x === undefined  ->  C#: x == null
+    // TypeScript:  x !== undefined  ->  C#: x != null
+    // TypeScript:  x === null       ->  C#: x == null
+    // TypeScript:  x !== null       ->  C#: x != null
+    const leftIsNullish = isNullishLiteral(expr.left);
+    const rightIsNullish = isNullishLiteral(expr.right);
+    const isNullishComparison = isComparisonOp &&
+        (op === "==" || op === "!=") &&
+        (leftIsNullish || rightIsNullish);
+    if (isNullishComparison) {
+        // One side is null/undefined literal, emit the other side as a C# null check.
+        // Suppress only direct nullable unwrapping for the comparison target
+        // (e.g. `id.Value == null` should stay `id == null`) while preserving
+        // unrelated narrowing such as renamed union members.
+        const nonNullishExpr = leftIsNullish ? expr.right : expr.left;
+        const nonNullishTarget = getTransparentComparisonTarget(nonNullishExpr);
+        const nullishExpr = leftIsNullish ? expr.left : expr.right;
+        const isUndefinedLiteral = (nullishExpr.kind === "literal" && nullishExpr.value === undefined) ||
+            (nullishExpr.kind === "identifier" && nullishExpr.name === "undefined");
+        // JS dictionary-style access (`dict[key]`) with undefined comparison should
+        // model key existence, not CLR value-type nullability.
+        //
+        //   dict[key] === undefined  -> !dict.ContainsKey(key)
+        //   dict[key] !== undefined  ->  dict.ContainsKey(key)
+        const dictionaryTarget = isUndefinedLiteral
+            ? getDictionaryComputedAccess(nonNullishTarget, context)
+            : undefined;
+        if (dictionaryTarget) {
+            const nonNullishContext = buildNullishComparisonContext(dictionaryTarget, context);
+            const [dictAst, dictContext] = emitExpressionAst(dictionaryTarget.object, nonNullishContext);
+            const [keyAst, keyContext] = emitExpressionAst(dictionaryTarget.property, dictContext);
+            const containsAst = {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: {
+                        kind: "parenthesizedExpression",
+                        expression: dictAst,
+                    },
+                    memberName: "ContainsKey",
+                },
+                arguments: [keyAst],
+            };
+            const resultAst = op === "=="
+                ? {
+                    kind: "prefixUnaryExpression",
+                    operatorToken: "!",
+                    operand: containsAst,
+                }
+                : containsAst;
+            return [resultAst, keyContext];
+        }
+        const nonNullishContext = buildNullishComparisonContext(nonNullishTarget, context);
+        const [nonNullishAst, resultContext] = emitExpressionAst(nonNullishTarget, nonNullishContext);
+        const inferred = resolveComparisonOperandType(nonNullishExpr, resultContext);
+        const base = inferred ? stripNullish(inferred) : undefined;
+        const sourceBase = nonNullishTarget.inferredType
+            ? stripNullish(nonNullishTarget.inferredType)
+            : undefined;
+        const activeNarrowedBinding = (() => {
+            const targetKey = nonNullishTarget.kind === "identifier"
+                ? nonNullishTarget.name
+                : undefined;
+            return targetKey
+                ? resultContext.narrowedBindings?.get(targetKey)
+                : undefined;
+        })();
+        const narrowedSourceBase = activeNarrowedBinding?.sourceType
+            ? stripNullish(activeNarrowedBinding.sourceType)
+            : undefined;
+        const emissionType = resolveEffectiveExpressionType(nonNullishTarget, nonNullishContext) ??
+            nonNullishTarget.inferredType;
+        const emissionBase = emissionType ? stripNullish(emissionType) : undefined;
+        const runtimeUnionCarrierType = emissionBase !== undefined &&
+            willCarryAsRuntimeUnion(emissionBase, resultContext)
+            ? emissionBase
+            : narrowedSourceBase !== undefined &&
+                willCarryAsRuntimeUnion(narrowedSourceBase, resultContext)
+                ? narrowedSourceBase
+                : sourceBase !== undefined &&
+                    willCarryAsRuntimeUnion(sourceBase, resultContext)
+                    ? sourceBase
+                    : undefined;
+        const runtimeCarrierAst = activeNarrowedBinding?.kind === "expr" &&
+            activeNarrowedBinding.carrierExprAst !== undefined
+            ? activeNarrowedBinding.carrierExprAst
+            : nonNullishAst;
+        const bareTypeParamName = (() => {
+            if (!base)
+                return undefined;
+            if (base.kind === "typeParameterType")
+                return base.name;
+            if (base.kind === "referenceType" &&
+                (resultContext.typeParameters?.has(base.name) ?? false) &&
+                (!base.typeArguments || base.typeArguments.length === 0)) {
+                return base.name;
+            }
+            return undefined;
+        })();
+        const isDefiniteNonUnionValueType = inferred !== undefined &&
+            inferred.kind !== "unionType" &&
+            isDefinitelyValueType(inferred);
+        const typeParamConstraint = bareTypeParamName !== undefined
+            ? (resultContext.typeParamConstraints?.get(bareTypeParamName) ??
+                "unconstrained")
+            : undefined;
+        const needsObjectCastForTypeParam = bareTypeParamName !== undefined &&
+            (typeParamConstraint === "unconstrained" ||
+                typeParamConstraint === "struct");
+        const needsObjectCastForValueType = isDefiniteNonUnionValueType;
+        const needsObjectCastForRuntimeUnion = runtimeUnionCarrierType !== undefined;
+        const nullLiteralAst = nullLiteral();
+        const nullOp = op === "==" ? "==" : "!=";
+        if (needsObjectCastForTypeParam ||
+            needsObjectCastForValueType ||
+            needsObjectCastForRuntimeUnion) {
+            // ((global::System.Object)(expr)) == null
+            const castExpr = {
+                kind: "castExpression",
+                type: identifierType("global::System.Object"),
+                expression: {
+                    kind: "parenthesizedExpression",
+                    expression: needsObjectCastForRuntimeUnion
+                        ? runtimeCarrierAst
+                        : nonNullishAst,
+                },
+            };
+            return [
+                {
+                    kind: "binaryExpression",
+                    operatorToken: nullOp,
+                    left: {
+                        kind: "parenthesizedExpression",
+                        expression: castExpr,
+                    },
+                    right: nullLiteralAst,
+                },
+                resultContext,
+            ];
+        }
+        return [
+            {
+                kind: "binaryExpression",
+                operatorToken: nullOp,
+                left: nonNullishAst,
+                right: nullLiteralAst,
+            },
+            resultContext,
+        ];
+    }
+    const leftResolvedType = resolveComparisonOperandType(expr.left, context);
+    const rightResolvedType = resolveComparisonOperandType(expr.right, context);
+    const leftComparisonTarget = getTransparentComparisonTarget(expr.left);
+    const rightComparisonTarget = getTransparentComparisonTarget(expr.right);
+    const leftSemanticType = resolveEffectiveExpressionType(leftComparisonTarget, context) ??
+        leftComparisonTarget.inferredType;
+    const rightSemanticType = resolveEffectiveExpressionType(rightComparisonTarget, context) ??
+        rightComparisonTarget.inferredType;
+    const leftResolved = leftResolvedType
+        ? resolveTypeAlias(stripNullish(leftResolvedType), context)
+        : undefined;
+    const rightResolved = rightResolvedType
+        ? resolveTypeAlias(stripNullish(rightResolvedType), context)
+        : undefined;
+    const needsRuntimeEquality = (op === "==" || op === "!=") &&
+        (leftResolved?.kind === "unknownType" ||
+            rightResolved?.kind === "unknownType" ||
+            isBroadObjectSlotType(leftResolvedType, context) ||
+            isBroadObjectSlotType(rightResolvedType, context) ||
+            isBroadObjectSlotType(leftSemanticType, context) ||
+            isBroadObjectSlotType(rightSemanticType, context));
+    if (needsRuntimeEquality) {
+        const [leftAst, leftContext] = emitExpressionAst(expr.left, context);
+        const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext);
+        const equalsAst = {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: {
+                    ...identifierExpression("global::System.Object"),
+                },
+                memberName: "Equals",
+            },
+            arguments: [leftAst, rightAst],
+        };
+        if (op === "==") {
+            return [equalsAst, rightContext];
+        }
+        return [
+            {
+                kind: "prefixUnaryExpression",
+                operatorToken: "!",
+                operand: equalsAst,
+            },
+            rightContext,
+        ];
+    }
+    if (BITWISE_OPERATORS.has(op)) {
+        const [leftAst, leftContext] = emitExpressionAst(expr.left, context);
+        const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext);
+        return [
+            {
+                kind: "binaryExpression",
+                operatorToken: op,
+                left: maybeCastBitwiseOperandToInt(leftAst, leftResolvedType, context),
+                right: maybeCastBitwiseOperandToInt(rightAst, rightResolvedType, rightContext),
+            },
+            rightContext,
+        ];
+    }
+    const isArithmeticOp = op === "+" || op === "-" || op === "*" || op === "/" || op === "%";
+    const shouldContextuallyTypeComparisonOperand = (operand) => getTransparentComparisonTarget(operand).kind === "literal";
+    const resolveArithmeticOperandExpectedType = (operand, operandType, counterpartType) => {
+        if (operand.kind === "numericNarrowing" &&
+            isNumericOperandType(stripNullish(operand.inferredType)) &&
+            isNumericOperandType(counterpartType ? stripNullish(counterpartType) : undefined)) {
+            return operand.inferredType;
+        }
+        if (operand.kind === "typeAssertion" &&
+            isNumericOperandType(stripNullish(operand.targetType)) &&
+            isNumericOperandType(counterpartType ? stripNullish(counterpartType) : undefined)) {
+            return operand.targetType;
+        }
+        const strippedOperandType = operandType
+            ? stripNullish(operandType)
+            : undefined;
+        return strippedOperandType &&
+            isNumericOperandType(strippedOperandType) &&
+            isNumericOperandType(counterpartType ? stripNullish(counterpartType) : undefined)
+            ? strippedOperandType
+            : undefined;
+    };
+    // Standard emission path
+    // Emit operands without contextual type propagation
+    // Literals will emit using their raw lexeme (42 vs 42.0)
+    // Parenthesization is handled by the printer's precedence system
+    const leftExpectedType = isComparisonOp
+        ? shouldContextuallyTypeComparisonOperand(expr.left)
+            ? chooseComparisonExpectedType(leftResolvedType, rightResolvedType, context)
+            : undefined
+        : isArithmeticOp &&
+            expr.left.kind === "conditional" &&
+            isNumericOperandType(rightResolvedType)
+            ? rightResolvedType
+            : isArithmeticOp
+                ? resolveArithmeticOperandExpectedType(expr.left, leftResolvedType, rightResolvedType)
+                : undefined;
+    const [leftAst, leftContext] = emitExpressionAst(expr.left, context, leftExpectedType);
+    const rightExpectedType = isComparisonOp
+        ? shouldContextuallyTypeComparisonOperand(expr.right)
+            ? chooseComparisonExpectedType(rightResolvedType, leftResolvedType, context)
+            : undefined
+        : isArithmeticOp &&
+            expr.right.kind === "conditional" &&
+            isNumericOperandType(leftResolvedType)
+            ? leftResolvedType
+            : isArithmeticOp
+                ? resolveArithmeticOperandExpectedType(expr.right, rightResolvedType, leftResolvedType)
+                : undefined;
+    const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext, rightExpectedType);
+    return [
+        {
+            kind: "binaryExpression",
+            operatorToken: op,
+            left: leftAst,
+            right: rightAst,
+        },
+        rightContext,
+    ];
+};
+//# sourceMappingURL=binary-dispatch.js.map

package/dist/expressions/operators/binary-dispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binary-dispatch.js","sourceRoot":"","sources":["../../../src/expressions/operators/binary-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,GACtB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EACL,WAAW,EACX,UAAU,EACV,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,2BAA2B,GAC5B,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,WAAW,EACX,qBAAqB,EACrB,oBAAoB,EACpB,cAAc,EACd,WAAW,GACZ,MAAM,2CAA2C,CAAC;AAEnD,OAAO,EACL,8BAA8B,EAC9B,4BAA4B,EAC5B,oBAAoB,EACpB,4BAA4B,EAC5B,6BAA6B,GAC9B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,cAAc,EACd,cAAc,EACd,oBAAoB,GACrB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AACzF,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AAEvF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACtE,MAAM,8BAA8B,GAAG,IAAI,GAAG,CAAC;IAC7C,cAAc;IACd,sBAAsB;IACtB,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,CAC/B,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,CACL,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;QAChC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QAC1D,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC;QACvE,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;YAChC,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK;gBACtB,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC1B,2BAA2B,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAC,CAAC,CAC5E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,GAAwB,EACxB,IAAwB,EACxB,OAAuB,EACF,EAAE,CACvB,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC;IACrC,CAAC,CAAC;QACE,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE;QAChD,UAAU,EAAE,GAAG;KAChB;IACH,CAAC,CAAC,GAAG,CAAC;AAEV;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACvB,aAAsB,EACiB,EAAE;IACzC,2CAA2C;IAC3C,MAAM,WAAW,GAA2B;QAC1C,KAAK,EAAE,IAAI;QACX,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,IAAI,EAAE,0CAA0C;QACtD,IAAI,EAAE,IAAI,EAAE,4CAA4C;QACxD,UAAU,EAAE,IAAI;QAChB,EAAE,EAAE,UAAU,EAAE,yBAAyB;KAC1C,CAAC;IAEF,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC;IAEvD,iEAAiE;IACjE,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,uCAAuC;IACvC,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QACnC,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,6BAA6B,GAAG,iCAAiC,CACrE,IAAI,EACJ,OAAO,CACR,CAAC;IACF,IAAI,6BAA6B,EAAE,CAAC;QAClC,OAAO,6BAA6B,CAAC;IACvC,CAAC;IAED,iCAAiC;IACjC,wEAAwE;IACxE,iFAAiF;IACjF,sEAAsE;IACtE,MAAM,cAAc,GAClB,EAAE,KAAK,IAAI;QACX,EAAE,KAAK,IAAI;QACX,EAAE,KAAK,GAAG;QACV,EAAE,KAAK,GAAG;QACV,EAAE,KAAK,IAAI;QACX,EAAE,KAAK,IAAI,CAAC;IAEd,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,gBAAgB,GAAW;YAC/B,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,MAAM;SACb,CAAC;QACF,MAAM,UAAU,GACd,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,UAAU,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/D,MAAM,WAAW,GACf,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;YACvB,UAAU,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAChE,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEzD,iFAAiF;QACjF,IAAI,UAAU,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC9C,IAAI,CAAC,IAAI,EACT,OAAO,EACP,gBAAgB,CACjB,CAAC;YACF,MAAM,cAAc,GAAG,WAAW,CAAC,eAAe,CAAC,CAAC;YACpD,OAAO;gBACL;oBACE,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,EAAE;oBACjB,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,cAAc;iBACtB;gBACD,WAAW;aACZ,CAAC;QACJ,CAAC;QAED,gFAAgF;QAChF,IAAI,WAAW,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,IAAI,CAAC,KAAK,EACV,OAAO,EACP,gBAAgB,CACjB,CAAC;YACF,MAAM,cAAc,GAAG,WAAW,CAAC,cAAc,CAAC,CAAC;YACnD,OAAO;gBACL;oBACE,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,EAAE;oBACjB,IAAI,EAAE,cAAc;oBACpB,KAAK,EAAE,QAAQ;iBAChB;gBACD,YAAY;aACb,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,yEAAyE;IACzE,IACE,cAAc;QACd,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;QACxD,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EACzB,CAAC;QACD,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5E,MAAM,UAAU,GAAwB;YACtC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,GAAG,oBAAoB,CAAC,sCAAsC,CAAC;aAChE;YACD,SAAS,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;SAC/B,CAAC;QACF,OAAO;YACL;gBACE,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,EAAE;gBACjB,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,qBAAqB,CAAC,CAAC,CAAC;aAChC;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,uBAAuB;IACvB,EAAE;IACF,iFAAiF;IACjF,yFAAyF;IACzF,EAAE;IACF,oFAAoF;IACpF,kFAAkF;IAClF,wBAAwB;IACxB,EAAE;IACF,kDAAkD;IAClD,kDAAkD;IAClD,kDAAkD;IAClD,kDAAkD;IAClD,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,mBAAmB,GACvB,cAAc;QACd,CAAC,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;QAC5B,CAAC,aAAa,IAAI,cAAc,CAAC,CAAC;IAEpC,IAAI,mBAAmB,EAAE,CAAC;QACxB,8EAA8E;QAC9E,qEAAqE;QACrE,sEAAsE;QACtE,qDAAqD;QACrD,MAAM,cAAc,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9D,MAAM,gBAAgB,GAAG,8BAA8B,CAAC,cAAc,CAAC,CAAC;QACxE,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAE3D,MAAM,kBAAkB,GACtB,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,CAAC;YACnE,CAAC,WAAW,CAAC,IAAI,KAAK,YAAY,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QAE1E,4EAA4E;QAC5E,uDAAuD;QACvD,EAAE;QACF,uDAAuD;QACvD,uDAAuD;QACvD,MAAM,gBAAgB,GAAG,kBAAkB;YACzC,CAAC,CAAC,2BAA2B,CAAC,gBAAgB,EAAE,OAAO,CAAC;YACxD,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,gBAAgB,EAAE,CAAC;YACrB,MAAM,iBAAiB,GAAG,6BAA6B,CACrD,gBAAgB,EAChB,OAAO,CACR,CAAC;YACF,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC9C,gBAAgB,CAAC,MAAM,EACvB,iBAAiB,CAClB,CAAC;YACF,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC5C,gBAAgB,CAAC,QAAQ,EACzB,WAAW,CACZ,CAAC;YACF,MAAM,WAAW,GAAwB;gBACvC,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE;wBACV,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,OAAO;qBACpB;oBACD,UAAU,EAAE,aAAa;iBAC1B;gBACD,SAAS,EAAE,CAAC,MAAM,CAAC;aACpB,CAAC;YACF,MAAM,SAAS,GACb,EAAE,KAAK,IAAI;gBACT,CAAC,CAAC;oBACE,IAAI,EAAE,uBAAuB;oBAC7B,aAAa,EAAE,GAAG;oBAClB,OAAO,EAAE,WAAW;iBACrB;gBACH,CAAC,CAAC,WAAW,CAAC;YAClB,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC;QAED,MAAM,iBAAiB,GAAG,6BAA6B,CACrD,gBAAgB,EAChB,OAAO,CACR,CAAC;QACF,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,GAAG,iBAAiB,CACtD,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;QAEF,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,cAAc,EACd,aAAa,CACd,CAAC;QACF,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3D,MAAM,UAAU,GAAG,gBAAgB,CAAC,YAAY;YAC9C,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,YAAY,CAAC;YAC7C,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,qBAAqB,GAAG,CAAC,GAAG,EAAE;YAClC,MAAM,SAAS,GACb,gBAAgB,CAAC,IAAI,KAAK,YAAY;gBACpC,CAAC,CAAC,gBAAgB,CAAC,IAAI;gBACvB,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO,SAAS;gBACd,CAAC,CAAC,aAAa,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;gBAChD,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC,CAAC,EAAE,CAAC;QACL,MAAM,kBAAkB,GAAG,qBAAqB,EAAE,UAAU;YAC1D,CAAC,CAAC,YAAY,CAAC,qBAAqB,CAAC,UAAU,CAAC;YAChD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,YAAY,GAChB,8BAA8B,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;YACnE,gBAAgB,CAAC,YAAY,CAAC;QAChC,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,uBAAuB,GAC3B,YAAY,KAAK,SAAS;YAC1B,uBAAuB,CAAC,YAAY,EAAE,aAAa,CAAC;YAClD,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,kBAAkB,KAAK,SAAS;gBAC9B,uBAAuB,CAAC,kBAAkB,EAAE,aAAa,CAAC;gBAC5D,CAAC,CAAC,kBAAkB;gBACpB,CAAC,CAAC,UAAU,KAAK,SAAS;oBACtB,uBAAuB,CAAC,UAAU,EAAE,aAAa,CAAC;oBACpD,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,SAAS,CAAC;QACpB,MAAM,iBAAiB,GACrB,qBAAqB,EAAE,IAAI,KAAK,MAAM;YACtC,qBAAqB,CAAC,cAAc,KAAK,SAAS;YAChD,CAAC,CAAC,qBAAqB,CAAC,cAAc;YACtC,CAAC,CAAC,aAAa,CAAC;QACpB,MAAM,iBAAiB,GAAG,CAAC,GAAG,EAAE;YAC9B,IAAI,CAAC,IAAI;gBAAE,OAAO,SAAS,CAAC;YAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;YACxD,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;gBAC7B,CAAC,aAAa,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;gBACvD,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,EACxD,CAAC;gBACD,OAAO,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC;QAEL,MAAM,2BAA2B,GAC/B,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,IAAI,KAAK,WAAW;YAC7B,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAElC,MAAM,mBAAmB,GACvB,iBAAiB,KAAK,SAAS;YAC7B,CAAC,CAAC,CAAC,aAAa,CAAC,oBAAoB,EAAE,GAAG,CAAC,iBAAiB,CAAC;gBAC3D,eAAe,CAAC;YAClB,CAAC,CAAC,SAAS,CAAC;QAEhB,MAAM,2BAA2B,GAC/B,iBAAiB,KAAK,SAAS;YAC/B,CAAC,mBAAmB,KAAK,eAAe;gBACtC,mBAAmB,KAAK,QAAQ,CAAC,CAAC;QACtC,MAAM,2BAA2B,GAAG,2BAA2B,CAAC;QAChE,MAAM,8BAA8B,GAClC,uBAAuB,KAAK,SAAS,CAAC;QAExC,MAAM,cAAc,GAAG,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAEzC,IACE,2BAA2B;YAC3B,2BAA2B;YAC3B,8BAA8B,EAC9B,CAAC;YACD,0CAA0C;YAC1C,MAAM,QAAQ,GAAwB;gBACpC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,cAAc,CAAC,uBAAuB,CAAC;gBAC7C,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,8BAA8B;wBACxC,CAAC,CAAC,iBAAiB;wBACnB,CAAC,CAAC,aAAa;iBAClB;aACF,CAAC;YACF,OAAO;gBACL;oBACE,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,MAAM;oBACrB,IAAI,EAAE;wBACJ,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,QAAQ;qBACrB;oBACD,KAAK,EAAE,cAAc;iBACtB;gBACD,aAAa;aACd,CAAC;QACJ,CAAC;QAED,OAAO;YACL;gBACE,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,MAAM;gBACrB,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,cAAc;aACtB;YACD,aAAa;SACd,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,4BAA4B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,MAAM,iBAAiB,GAAG,4BAA4B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,oBAAoB,GAAG,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,qBAAqB,GAAG,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,MAAM,gBAAgB,GACpB,8BAA8B,CAAC,oBAAoB,EAAE,OAAO,CAAC;QAC7D,oBAAoB,CAAC,YAAY,CAAC;IACpC,MAAM,iBAAiB,GACrB,8BAA8B,CAAC,qBAAqB,EAAE,OAAO,CAAC;QAC9D,qBAAqB,CAAC,YAAY,CAAC;IACrC,MAAM,YAAY,GAAG,gBAAgB;QACnC,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,aAAa,GAAG,iBAAiB;QACrC,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;QAC5D,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,oBAAoB,GACxB,CAAC,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;QAC5B,CAAC,YAAY,EAAE,IAAI,KAAK,aAAa;YACnC,aAAa,EAAE,IAAI,KAAK,aAAa;YACrC,qBAAqB,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAChD,qBAAqB,CAAC,iBAAiB,EAAE,OAAO,CAAC;YACjD,qBAAqB,CAAC,gBAAgB,EAAE,OAAO,CAAC;YAChD,qBAAqB,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,CAAC;IAEvD,IAAI,oBAAoB,EAAE,CAAC;QACzB,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC5E,MAAM,SAAS,GAAwB;YACrC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE;oBACV,GAAG,oBAAoB,CAAC,uBAAuB,CAAC;iBACjD;gBACD,UAAU,EAAE,QAAQ;aACrB;YACD,SAAS,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;SAC/B,CAAC;QACF,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACnC,CAAC;QACD,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,GAAG;gBAClB,OAAO,EAAE,SAAS;aACnB;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAE5E,OAAO;YACL;gBACE,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,EAAE;gBACjB,IAAI,EAAE,4BAA4B,CAAC,OAAO,EAAE,gBAAgB,EAAE,OAAO,CAAC;gBACtE,KAAK,EAAE,4BAA4B,CACjC,QAAQ,EACR,iBAAiB,EACjB,YAAY,CACb;aACF;YACD,YAAY;SACb,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAClB,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC;IACrE,MAAM,uCAAuC,GAAG,CAC9C,OAAqB,EACZ,EAAE,CAAC,8BAA8B,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;IACzE,MAAM,oCAAoC,GAAG,CAC3C,OAAqB,EACrB,WAA+B,EAC/B,eAAmC,EACf,EAAE;QACtB,IACE,OAAO,CAAC,IAAI,KAAK,kBAAkB;YACnC,oBAAoB,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YACxD,oBAAoB,CAClB,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAC5D,EACD,CAAC;YACD,OAAO,OAAO,CAAC,YAAY,CAAC;QAC9B,CAAC;QAED,IACE,OAAO,CAAC,IAAI,KAAK,eAAe;YAChC,oBAAoB,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACtD,oBAAoB,CAClB,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAC5D,EACD,CAAC;YACD,OAAO,OAAO,CAAC,UAAU,CAAC;QAC5B,CAAC;QAED,MAAM,mBAAmB,GAAG,WAAW;YACrC,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC;YAC3B,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,mBAAmB;YACxB,oBAAoB,CAAC,mBAAmB,CAAC;YACzC,oBAAoB,CAClB,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAC5D;YACD,CAAC,CAAC,mBAAmB;YACrB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC,CAAC;IACF,yBAAyB;IACzB,oDAAoD;IACpD,yDAAyD;IACzD,iEAAiE;IACjE,MAAM,gBAAgB,GAAG,cAAc;QACrC,CAAC,CAAC,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC;YAClD,CAAC,CAAC,4BAA4B,CAC1B,gBAAgB,EAChB,iBAAiB,EACjB,OAAO,CACR;YACH,CAAC,CAAC,SAAS;QACb,CAAC,CAAC,cAAc;YACZ,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;YAChC,oBAAoB,CAAC,iBAAiB,CAAC;YACzC,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,cAAc;gBACd,CAAC,CAAC,oCAAoC,CAClC,IAAI,CAAC,IAAI,EACT,gBAAgB,EAChB,iBAAiB,CAClB;gBACH,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC9C,IAAI,CAAC,IAAI,EACT,OAAO,EACP,gBAAgB,CACjB,CAAC;IACF,MAAM,iBAAiB,GAAG,cAAc;QACtC,CAAC,CAAC,uCAAuC,CAAC,IAAI,CAAC,KAAK,CAAC;YACnD,CAAC,CAAC,4BAA4B,CAC1B,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,CACR;YACH,CAAC,CAAC,SAAS;QACb,CAAC,CAAC,cAAc;YACZ,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;YACjC,oBAAoB,CAAC,gBAAgB,CAAC;YACxC,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,cAAc;gBACd,CAAC,CAAC,oCAAoC,CAClC,IAAI,CAAC,KAAK,EACV,iBAAiB,EACjB,gBAAgB,CACjB;gBACH,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,IAAI,CAAC,KAAK,EACV,WAAW,EACX,iBAAiB,CAClB,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,EAAE;YACjB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,QAAQ;SAChB;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators/binary-emitter.d.ts

@@ -1,33 +1,10 @@
 /**
- * Binary operator expression emitter
+ * Binary operator expression emitter — facade re-export.
  *
- * NEW NUMERIC SPEC:
- * - Literals use raw lexeme (no contextual widening)
- * - Integer casts only from IrCastExpression (not inferred from expectedType)
- * - Binary ops: int op int = int, double op anything = double (C# semantics)
+ * Implementations live in:
+ *   - binary-dispatch.ts
+ *   - binary-helpers.ts
+ *   - binary-special-ops.ts
  */
-import { IrExpression, IrType } from "@tsonic/frontend";
-import { EmitterContext } from "../../types.js";
-import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
-/**
- * Emit a binary operator expression as CSharpExpressionAst
- *
- * NEW NUMERIC SPEC: No contextual type propagation for numeric literals.
- * Literals use their raw lexeme - C# will naturally handle int + int = int,
- * int + double = double, etc.
- *
- * Explicit casts come from IrCastExpression nodes (generated by type-checker
- * when user intent allows int → double coercion).
- *
- * STRING INDEXER FIX: In C#, string[int] returns char, not string.
- * When comparing a string indexer result with a single-character string literal,
- * we emit the string as a char literal to avoid CS0019 (char == string).
- *
- * @param expr - The binary expression
- * @param context - Emitter context
- * @param _expectedType - Currently unused
- */
-export declare const emitBinary: (expr: Extract<IrExpression, {
-    kind: "binary";
-}>, context: EmitterContext, _expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
+export { emitBinary } from "./binary-dispatch.js";
 //# sourceMappingURL=binary-emitter.d.ts.map

package/dist/expressions/operators/binary-emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"binary-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/binary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAgBhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAwClF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,EACvB,gBAAgB,MAAM,KACrB,CAAC,mBAAmB,EAAE,cAAc,CAkdtC,CAAC"}
+{"version":3,"file":"binary-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/binary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC"}