@tsonic/emitter 0.0.74 → 0.0.75

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

@@ -1,423 +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 { emitExpressionAst } from "../../expression-emitter.js";
-import { resolveTypeAlias, stripNullish, hasDeterministicPropertyMembership, isDefinitelyValueType, } from "../../core/semantic/type-resolution.js";
-import { isCharTyped, isStringTyped, getSingleCharLiteral, isNullishLiteral, } from "./helpers.js";
-import { booleanLiteral, charLiteral, decimalIntegerLiteral, identifierExpression, identifierType, nullLiteral, } from "../../core/format/backend-ast/builders.js";
-import { extractCalleeNameFromAst } from "../../core/format/backend-ast/utils.js";
-const getNarrowingTargetKey = (expr) => {
-    switch (expr.kind) {
-        case "identifier":
-            return expr.name;
-        case "memberAccess": {
-            if (expr.isComputed || typeof expr.property !== "string") {
-                return undefined;
-            }
-            const parentKey = getNarrowingTargetKey(expr.object);
-            return parentKey ? `${parentKey}.${expr.property}` : undefined;
-        }
-        default:
-            return undefined;
-    }
-};
-const buildNullishComparisonContext = (expr, context) => {
-    const targetKey = getNarrowingTargetKey(expr);
-    if (!targetKey)
-        return context;
-    const narrowed = context.narrowedBindings?.get(targetKey);
-    if (!narrowed || narrowed.kind !== "expr") {
-        return context;
-    }
-    const next = new Map(context.narrowedBindings);
-    next.delete(targetKey);
-    return {
-        ...context,
-        narrowedBindings: next,
-    };
-};
-/**
- * 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") {
-        // LHS must be a string literal for deterministic lowering.
-        if (expr.left.kind !== "literal" || typeof expr.left.value !== "string") {
-            throw new Error("ICE: Unsupported `in` operator form. Left-hand side must be a string literal.");
-        }
-        const rhsType = expr.right.inferredType;
-        if (!rhsType) {
-            throw new Error("ICE: `in` operator RHS missing inferredType.");
-        }
-        const [rhsAst, rhsCtx] = emitExpressionAst(expr.right, context);
-        const resolvedRhs = resolveTypeAlias(stripNullish(rhsType), rhsCtx);
-        // Union<T1..Tn>: `"error" in auth` → auth.IsN() (where member N has the prop)
-        if (resolvedRhs.kind === "unionType") {
-            const propName = expr.left.value;
-            const matchingMembers = [];
-            const unresolvedMembers = [];
-            for (let i = 0; i < resolvedRhs.types.length; i++) {
-                const member = resolvedRhs.types[i];
-                if (!member)
-                    continue;
-                const hasMember = hasDeterministicPropertyMembership(member, propName, rhsCtx);
-                if (hasMember === true) {
-                    matchingMembers.push(i + 1);
-                    continue;
-                }
-                if (hasMember === undefined) {
-                    unresolvedMembers.push(JSON.stringify(member));
-                }
-            }
-            if (unresolvedMembers.length > 0) {
-                throw new Error("ICE: Unable to deterministically resolve `in`-operator membership for one or more union members. " +
-                    `Property: '${propName}'. Members: ${unresolvedMembers.join(", ")}`);
-            }
-            if (matchingMembers.length === 0) {
-                return [booleanLiteral(false), rhsCtx];
-            }
-            // Build IsN() call ASTs and chain with ||
-            const checkAsts = matchingMembers.map((n) => ({
-                kind: "invocationExpression",
-                expression: {
-                    kind: "memberAccessExpression",
-                    expression: rhsAst,
-                    memberName: `Is${n}`,
-                },
-                arguments: [],
-            }));
-            const orChain = checkAsts.reduce((left, right) => ({
-                kind: "binaryExpression",
-                operatorToken: "||",
-                left,
-                right,
-            }));
-            // Wrap multi-member OR chains in parens so they compose correctly
-            // with surrounding operators (e.g., `(x.Is1() || x.Is2()) && ok`).
-            const result = checkAsts.length > 1
-                ? { kind: "parenthesizedExpression", expression: orChain }
-                : orChain;
-            return [result, rhsCtx];
-        }
-        // Dictionary<K,V>: `"k" in dict` → dict.ContainsKey("k")
-        if (resolvedRhs.kind === "dictionaryType") {
-            const keyType = stripNullish(resolvedRhs.keyType);
-            const isStringKey = (keyType.kind === "primitiveType" && keyType.name === "string") ||
-                (keyType.kind === "referenceType" && keyType.name === "string");
-            if (!isStringKey) {
-                throw new Error("ICE: Unsupported `in` operator on dictionary with non-string keys.");
-            }
-            const [keyAst, keyCtx] = emitExpressionAst(expr.left, rhsCtx);
-            const containsKeyAst = {
-                kind: "invocationExpression",
-                expression: {
-                    kind: "memberAccessExpression",
-                    expression: rhsAst,
-                    memberName: "ContainsKey",
-                },
-                arguments: [keyAst],
-            };
-            return [containsKeyAst, keyCtx];
-        }
-        const deterministicMembership = hasDeterministicPropertyMembership(rhsType, expr.left.value, rhsCtx);
-        if (deterministicMembership !== undefined) {
-            return [booleanLiteral(deterministicMembership), rhsCtx];
-        }
-        throw new Error("ICE: Unsupported `in` operator. Only union shape guards and Dictionary<string, T> membership are supported.");
-    }
-    // Handle instanceof operator specially
-    if (expr.operator === "instanceof") {
-        const [leftAst, leftContext] = emitExpressionAst(expr.left, context);
-        const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext);
-        // For `is`, convert expression to type name (extract from identifierExpression)
-        const rightText = extractCalleeNameFromAst(rightAst);
-        const isExpr = {
-            kind: "isExpression",
-            expression: leftAst,
-            pattern: {
-                kind: "typePattern",
-                type: identifierType(rightText),
-            },
-        };
-        return [isExpr, rightContext];
-    }
-    // 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 leftIsChar = isCharTyped(expr.left);
-        const rightIsChar = isCharTyped(expr.right);
-        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);
-            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);
-            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 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)
-        if (isUndefinedLiteral &&
-            nonNullishExpr.kind === "memberAccess" &&
-            nonNullishExpr.isComputed &&
-            typeof nonNullishExpr.property !== "string" &&
-            (nonNullishExpr.accessKind === "dictionary" ||
-                nonNullishExpr.object.inferredType?.kind === "dictionaryType")) {
-            const nonNullishContext = buildNullishComparisonContext(nonNullishExpr, context);
-            const [dictAst, dictContext] = emitExpressionAst(nonNullishExpr.object, nonNullishContext);
-            const [keyAst, keyContext] = emitExpressionAst(nonNullishExpr.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(nonNullishExpr, context);
-        const [nonNullishAst, resultContext] = emitExpressionAst(nonNullishExpr, nonNullishContext);
-        const inferred = nonNullishExpr.inferredType;
-        const base = inferred ? stripNullish(inferred) : undefined;
-        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 nullLiteralAst = nullLiteral();
-        const nullOp = op === "==" ? "==" : "!=";
-        if (needsObjectCastForTypeParam || needsObjectCastForValueType) {
-            // ((global::System.Object)(expr)) == null
-            const castExpr = {
-                kind: "castExpression",
-                type: identifierType("global::System.Object"),
-                expression: {
-                    kind: "parenthesizedExpression",
-                    expression: 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 leftResolved = expr.left.inferredType
-        ? resolveTypeAlias(stripNullish(expr.left.inferredType), context)
-        : undefined;
-    const rightResolved = expr.right.inferredType
-        ? resolveTypeAlias(stripNullish(expr.right.inferredType), context)
-        : undefined;
-    const needsRuntimeEquality = (op === "==" || op === "!=") &&
-        (leftResolved?.kind === "unknownType" ||
-            rightResolved?.kind === "unknownType" ||
-            (leftResolved?.kind === "referenceType" &&
-                leftResolved.name === "object") ||
-            (rightResolved?.kind === "referenceType" &&
-                rightResolved.name === "object"));
-    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,
-        ];
-    }
-    // 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 [leftAst, leftContext] = emitExpressionAst(expr.left, context);
-    const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext);
-    return [
-        {
-            kind: "binaryExpression",
-            operatorToken: op,
-            left: leftAst,
-            right: rightAst,
-        },
-        rightContext,
-    ];
-};
+export { emitBinary } from "./binary-dispatch.js";
 //# sourceMappingURL=binary-emitter.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"binary-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/binary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,kCAAkC,EAClC,qBAAqB,GACtB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,WAAW,EACX,aAAa,EACb,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,WAAW,EACX,qBAAqB,EACrB,oBAAoB,EACpB,cAAc,EACd,WAAW,GACZ,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAGlF,MAAM,qBAAqB,GAAG,CAAC,IAAkB,EAAsB,EAAE;IACvE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,IAAI,CAAC;QAEnB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACzD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrD,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACjE,CAAC;QAED;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAAkB,EAClB,OAAuB,EACP,EAAE;IAClB,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,SAAS;QAAE,OAAO,OAAO,CAAC;IAE/B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACvB,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB,EAAE,IAAI;KACvB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;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,2DAA2D;QAC3D,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACxE,MAAM,IAAI,KAAK,CACb,+EAA+E,CAChF,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;QACxC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAEhE,MAAM,WAAW,GAAG,gBAAgB,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;QAEpE,8EAA8E;QAC9E,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACjC,MAAM,eAAe,GAAa,EAAE,CAAC;YACrC,MAAM,iBAAiB,GAAa,EAAE,CAAC;YAEvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACpC,IAAI,CAAC,MAAM;oBAAE,SAAS;gBAEtB,MAAM,SAAS,GAAG,kCAAkC,CAClD,MAAM,EACN,QAAQ,EACR,MAAM,CACP,CAAC;gBACF,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACvB,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC5B,SAAS;gBACX,CAAC;gBACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;YAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CACb,mGAAmG;oBACjG,cAAc,QAAQ,eAAe,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACtE,CAAC;YACJ,CAAC;YAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;YACzC,CAAC;YAED,0CAA0C;YAC1C,MAAM,SAAS,GAA0B,eAAe,CAAC,GAAG,CAC1D,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC;gBAC3B,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,MAAM;oBAClB,UAAU,EAAE,KAAK,CAAC,EAAE;iBACrB;gBACD,SAAS,EAAE,EAAE;aACd,CAAC,CACH,CAAC;YAEF,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAC9B,CAAC,IAAI,EAAE,KAAK,EAAuB,EAAE,CAAC,CAAC;gBACrC,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI;gBACJ,KAAK;aACN,CAAC,CACH,CAAC;YAEF,kEAAkE;YAClE,mEAAmE;YACnE,MAAM,MAAM,GACV,SAAS,CAAC,MAAM,GAAG,CAAC;gBAClB,CAAC,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,OAAO,EAAE;gBAC1D,CAAC,CAAC,OAAO,CAAC;YAEd,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC1B,CAAC;QAED,yDAAyD;QACzD,IAAI,WAAW,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YAClD,MAAM,WAAW,GACf,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC;gBAC/D,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YAElE,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,MAAM,IAAI,KAAK,CACb,oEAAoE,CACrE,CAAC;YACJ,CAAC;YAED,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9D,MAAM,cAAc,GAAwB;gBAC1C,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,MAAM;oBAClB,UAAU,EAAE,aAAa;iBAC1B;gBACD,SAAS,EAAE,CAAC,MAAM,CAAC;aACpB,CAAC;YACF,OAAO,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC;QAED,MAAM,uBAAuB,GAAG,kCAAkC,CAChE,OAAO,EACP,IAAI,CAAC,IAAI,CAAC,KAAK,EACf,MAAM,CACP,CAAC;QACF,IAAI,uBAAuB,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO,CAAC,cAAc,CAAC,uBAAuB,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3D,CAAC;QAED,MAAM,IAAI,KAAK,CACb,6GAA6G,CAC9G,CAAC;IACJ,CAAC;IAED,uCAAuC;IACvC,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QACnC,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,gFAAgF;QAChF,MAAM,SAAS,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,MAAM,GAAwB;YAClC,IAAI,EAAE,cAAc;YACpB,UAAU,EAAE,OAAO;YACnB,OAAO,EAAE;gBACP,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC;aAChC;SACF,CAAC;QACF,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAChC,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,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEzD,gFAAgF;QAChF,IAAI,UAAU,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACrE,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,+EAA+E;QAC/E,IAAI,WAAW,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACxE,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,iDAAiD;IACjD,iDAAiD;IACjD,iDAAiD;IACjD,iDAAiD;IACjD,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,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,IACE,kBAAkB;YAClB,cAAc,CAAC,IAAI,KAAK,cAAc;YACtC,cAAc,CAAC,UAAU;YACzB,OAAO,cAAc,CAAC,QAAQ,KAAK,QAAQ;YAC3C,CAAC,cAAc,CAAC,UAAU,KAAK,YAAY;gBACzC,cAAc,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,gBAAgB,CAAC,EAChE,CAAC;YACD,MAAM,iBAAiB,GAAG,6BAA6B,CACrD,cAAc,EACd,OAAO,CACR,CAAC;YACF,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC9C,cAAc,CAAC,MAAM,EACrB,iBAAiB,CAClB,CAAC;YACF,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC5C,cAAc,CAAC,QAAQ,EACvB,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,cAAc,EACd,OAAO,CACR,CAAC;QACF,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,GAAG,iBAAiB,CACtD,cAAc,EACd,iBAAiB,CAClB,CAAC;QAEF,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC;QAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3D,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;QAEhE,MAAM,cAAc,GAAG,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAEzC,IAAI,2BAA2B,IAAI,2BAA2B,EAAE,CAAC;YAC/D,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,aAAa;iBAC1B;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,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY;QACzC,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;QACjE,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY;QAC3C,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;QAClE,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,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBACrC,YAAY,CAAC,IAAI,KAAK,QAAQ,CAAC;YACjC,CAAC,aAAa,EAAE,IAAI,KAAK,eAAe;gBACtC,aAAa,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC;IAExC,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,yBAAyB;IACzB,oDAAoD;IACpD,yDAAyD;IACzD,iEAAiE;IACjE,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE5E,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"}
+{"version":3,"file":"binary-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/binary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC"}

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

@@ -0,0 +1,17 @@
+/**
+ * Binary operator helper functions — narrowing targets, comparison type
+ * resolution, and nullish comparison context building.
+ *
+ * Extracted from binary-emitter.ts — contains the helper functions used
+ * by the main emitBinary dispatcher.
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+export declare const getNarrowingTargetKey: (expr: IrExpression) => string | undefined;
+export declare const getTransparentComparisonTarget: (expr: IrExpression) => IrExpression;
+export declare const resolveComparisonOperandType: (expr: IrExpression, context: EmitterContext) => IrType | undefined;
+export declare const isNumericOperandType: (type: IrType | undefined) => boolean;
+export declare const widenLiteralComparisonType: (type: IrType | undefined) => IrType | undefined;
+export declare const chooseComparisonExpectedType: (ownType: IrType | undefined, otherType: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const buildNullishComparisonContext: (expr: IrExpression, context: EmitterContext) => EmitterContext;
+//# sourceMappingURL=binary-helpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"binary-helpers.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/binary-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAWhD,eAAO,MAAM,qBAAqB,GAChC,MAAM,YAAY,KACjB,MAAM,GAAG,SAiBX,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,MAAM,YAAY,KACjB,YAC0E,CAAC;AAE9E,eAAO,MAAM,4BAA4B,GACvC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SASX,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAW/D,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SAeX,CAAC;AAYF,eAAO,MAAM,4BAA4B,GACvC,SAAS,MAAM,GAAG,SAAS,EAC3B,WAAW,MAAM,GAAG,SAAS,EAC7B,SAAS,cAAc,KACtB,MAAM,GAAG,SAkCX,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,cA0BF,CAAC"}

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

@@ -0,0 +1,119 @@
+/**
+ * Binary operator helper functions — narrowing targets, comparison type
+ * resolution, and nullish comparison context building.
+ *
+ * Extracted from binary-emitter.ts — contains the helper functions used
+ * by the main emitBinary dispatcher.
+ */
+import { stripNullish } from "../../core/semantic/type-resolution.js";
+import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { isIntegerType } from "../../core/semantic/index.js";
+import { unwrapTransparentExpression, unwrapTransparentNarrowingTarget, } from "../../core/semantic/transparent-expressions.js";
+import { isCharType } from "./helpers.js";
+export const getNarrowingTargetKey = (expr) => {
+    const target = unwrapTransparentExpression(expr);
+    switch (target.kind) {
+        case "identifier":
+            return target.name;
+        case "memberAccess": {
+            if (target.isComputed || typeof target.property !== "string") {
+                return undefined;
+            }
+            const parentKey = getNarrowingTargetKey(target.object);
+            return parentKey ? `${parentKey}.${target.property}` : undefined;
+        }
+        default:
+            return undefined;
+    }
+};
+export const getTransparentComparisonTarget = (expr) => unwrapTransparentNarrowingTarget(expr) ?? unwrapTransparentExpression(expr);
+export const resolveComparisonOperandType = (expr, context) => {
+    const target = getTransparentComparisonTarget(expr);
+    if (target.kind === "identifier") {
+        const storageType = context.localValueTypes?.get(target.name);
+        if (storageType) {
+            return storageType;
+        }
+    }
+    return resolveEffectiveExpressionType(target, context) ?? target.inferredType;
+};
+export const isNumericOperandType = (type) => {
+    if (!type) {
+        return false;
+    }
+    const widened = widenLiteralComparisonType(type);
+    if (widened?.kind === "primitiveType" && widened.name === "number") {
+        return true;
+    }
+    return isIntegerType(widened);
+};
+export const widenLiteralComparisonType = (type) => {
+    if (!type || type.kind !== "literalType") {
+        return type;
+    }
+    switch (typeof type.value) {
+        case "boolean":
+            return { kind: "primitiveType", name: "boolean" };
+        case "string":
+            return { kind: "primitiveType", name: "string" };
+        case "number":
+            return { kind: "primitiveType", name: "number" };
+        default:
+            return type;
+    }
+};
+const hasRuntimeUnionCarrier = (type, context) => {
+    if (!type) {
+        return false;
+    }
+    return willCarryAsRuntimeUnion(stripNullish(type), context);
+};
+export const chooseComparisonExpectedType = (ownType, otherType, context) => {
+    if (isCharType(ownType) &&
+        otherType?.kind === "literalType" &&
+        typeof otherType.value === "string" &&
+        otherType.value.length === 1) {
+        return undefined;
+    }
+    const widenedOtherType = widenLiteralComparisonType(otherType);
+    if (isCharType(ownType) &&
+        widenedOtherType?.kind === "primitiveType" &&
+        widenedOtherType.name === "string") {
+        return undefined;
+    }
+    const ownHasRuntimeUnionCarrier = hasRuntimeUnionCarrier(ownType, context);
+    const otherHasRuntimeUnionCarrier = hasRuntimeUnionCarrier(widenedOtherType, context);
+    if (!ownHasRuntimeUnionCarrier && otherHasRuntimeUnionCarrier) {
+        return undefined;
+    }
+    if (ownHasRuntimeUnionCarrier && !otherHasRuntimeUnionCarrier) {
+        return widenedOtherType;
+    }
+    return widenedOtherType;
+};
+export const buildNullishComparisonContext = (expr, context) => {
+    const targetKey = getNarrowingTargetKey(expr);
+    if (!targetKey)
+        return context;
+    const narrowed = context.narrowedBindings?.get(targetKey);
+    if (!narrowed || narrowed.kind !== "expr") {
+        return context;
+    }
+    const comparisonCarrierAst = narrowed.carrierExprAst ?? narrowed.storageExprAst ?? narrowed.exprAst;
+    const comparisonCarrierType = narrowed.sourceType ?? narrowed.storageType ?? narrowed.type;
+    const next = new Map(context.narrowedBindings);
+    next.set(targetKey, {
+        ...narrowed,
+        exprAst: comparisonCarrierAst,
+        storageExprAst: comparisonCarrierAst,
+        carrierExprAst: comparisonCarrierAst,
+        storageType: comparisonCarrierType,
+        type: comparisonCarrierType,
+    });
+    return {
+        ...context,
+        narrowedBindings: next,
+    };
+};
+//# sourceMappingURL=binary-helpers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"binary-helpers.js","sourceRoot":"","sources":["../../../src/expressions/operators/binary-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EACL,2BAA2B,EAC3B,gCAAgC,GACjC,MAAM,gDAAgD,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAkB,EACE,EAAE;IACtB,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACjD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,IAAI,CAAC;QAErB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,MAAM,CAAC,UAAU,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAC7D,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvD,OAAO,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,CAAC;QAED;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAkB,EACJ,EAAE,CAChB,gCAAgC,CAAC,IAAI,CAAC,IAAI,2BAA2B,CAAC,IAAI,CAAC,CAAC;AAE9E,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,MAAM,MAAM,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC;AAChF,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAwB,EAAW,EAAE;IACxE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,OAAO,EAAE,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAA2B,EAC3B,SAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,IACE,UAAU,CAAC,OAAO,CAAC;QACnB,SAAS,EAAE,IAAI,KAAK,aAAa;QACjC,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ;QACnC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAC5B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,SAAS,CAAC,CAAC;IAC/D,IACE,UAAU,CAAC,OAAO,CAAC;QACnB,gBAAgB,EAAE,IAAI,KAAK,eAAe;QAC1C,gBAAgB,CAAC,IAAI,KAAK,QAAQ,EAClC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,yBAAyB,GAAG,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,2BAA2B,GAAG,sBAAsB,CACxD,gBAAgB,EAChB,OAAO,CACR,CAAC;IAEF,IAAI,CAAC,yBAAyB,IAAI,2BAA2B,EAAE,CAAC;QAC9D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,yBAAyB,IAAI,CAAC,2BAA2B,EAAE,CAAC;QAC9D,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,OAAO,gBAAgB,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAkB,EAClB,OAAuB,EACP,EAAE;IAClB,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,SAAS;QAAE,OAAO,OAAO,CAAC;IAE/B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,oBAAoB,GACxB,QAAQ,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc,IAAI,QAAQ,CAAC,OAAO,CAAC;IACzE,MAAM,qBAAqB,GACzB,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,IAAI,CAAC;IAC/D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC/C,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE;QAClB,GAAG,QAAQ;QACX,OAAO,EAAE,oBAAoB;QAC7B,cAAc,EAAE,oBAAoB;QACpC,cAAc,EAAE,oBAAoB;QACpC,WAAW,EAAE,qBAAqB;QAClC,IAAI,EAAE,qBAAqB;KAC5B,CAAC,CAAC;IACH,OAAO;QACL,GAAG,OAAO;QACV,gBAAgB,EAAE,IAAI;KACvB,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators/binary-runtime-union-comparison.d.ts

@@ -0,0 +1,7 @@
+import { IrExpression } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const emitRuntimeUnionLiteralComparison: (expr: Extract<IrExpression, {
+    kind: "binary";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
+//# sourceMappingURL=binary-runtime-union-comparison.d.ts.map

package/dist/expressions/operators/binary-runtime-union-comparison.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binary-runtime-union-comparison.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/binary-runtime-union-comparison.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAe,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AASrD,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,wCAAwC,CAAC;AA+GhD,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAwH1C,CAAC"}