@tsonic/frontend 0.0.74 → 0.0.75

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

@@ -0,0 +1,172 @@
+/**
+ * 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 { TSONIC_TO_NUMERIC_KIND } from "./types.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 const getNumericKindFromTypeNode = (typeNode) => {
+    // Handle type reference nodes (e.g., `int`, `byte`, `Int32`)
+    if (ts.isTypeReferenceNode(typeNode)) {
+        const typeName = typeNode.typeName;
+        if (ts.isIdentifier(typeName)) {
+            const name = typeName.text;
+            // Look up the type alias name in our mapping
+            const kind = TSONIC_TO_NUMERIC_KIND.get(name);
+            if (kind !== undefined) {
+                return kind;
+            }
+        }
+    }
+    return undefined;
+};
+export const inferThisType = (node) => {
+    let current = node;
+    while (current) {
+        if (ts.isClassDeclaration(current) || ts.isClassExpression(current)) {
+            const className = current.name?.text;
+            if (!className)
+                return undefined;
+            const typeArguments = current.typeParameters?.map((tp) => ({ kind: "typeParameterType", name: tp.name.text })) ?? [];
+            return {
+                kind: "referenceType",
+                name: className,
+                ...(typeArguments.length > 0 ? { typeArguments } : {}),
+            };
+        }
+        current = current.parent;
+    }
+    return undefined;
+};
+const entityNameToText = (entityName) => ts.isIdentifier(entityName)
+    ? entityName.text
+    : `${entityNameToText(entityName.left)}.${entityName.right.text}`;
+const getEnclosingGeneratorNextTypeNode = (node) => {
+    let current = node.parent;
+    while (current) {
+        if (ts.isFunctionDeclaration(current) ||
+            ts.isFunctionExpression(current) ||
+            ts.isMethodDeclaration(current)) {
+            if (!current.asteriskToken) {
+                current = current.parent;
+                continue;
+            }
+            const returnType = current.type;
+            if (!returnType || !ts.isTypeReferenceNode(returnType)) {
+                return undefined;
+            }
+            const generatorName = entityNameToText(returnType.typeName);
+            const lastSegment = generatorName.split(".").pop() ?? generatorName;
+            if (lastSegment !== "Generator" && lastSegment !== "AsyncGenerator") {
+                return undefined;
+            }
+            return returnType.typeArguments?.[2];
+        }
+        current = current.parent;
+    }
+    return undefined;
+};
+export const inferYieldReceivedType = (node, ctx) => {
+    const nextTypeNode = getEnclosingGeneratorNextTypeNode(node);
+    if (!nextTypeNode) {
+        return undefined;
+    }
+    return ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(nextTypeNode));
+};
+export const unwrapParens = (node) => {
+    let current = node;
+    while (ts.isParenthesizedExpression(current)) {
+        current = current.expression;
+    }
+    return current;
+};
+export const isExplicitUnknownTypeNode = (node) => !!node && node.kind === ts.SyntaxKind.UnknownKeyword;
+export const hasExplicitUnknownStorageInitializer = (node) => {
+    if (!node)
+        return false;
+    const current = unwrapParens(node);
+    if (ts.isAsExpression(current) || ts.isTypeAssertionExpression(current)) {
+        return isExplicitUnknownTypeNode(current.type);
+    }
+    if (ts.isSatisfiesExpression(current)) {
+        return isExplicitUnknownTypeNode(current.type);
+    }
+    return false;
+};
+const isPureNullishType = (type) => {
+    if (!type)
+        return false;
+    if (type.kind === "primitiveType") {
+        return type.name === "null" || type.name === "undefined";
+    }
+    if (type.kind !== "unionType") {
+        return false;
+    }
+    return (type.types.length > 0 &&
+        type.types.every((member) => isPureNullishType(member)));
+};
+export const shouldPreserveExplicitStorageType = (ctx, declId, fromDecl, fromEnv) => {
+    if (!fromDecl || !fromEnv || !declId) {
+        return false;
+    }
+    const declInfo = ctx.binding
+        ._getHandleRegistry()
+        .getDecl(declId);
+    if (!declInfo?.typeNode) {
+        return false;
+    }
+    return isPureNullishType(fromEnv) && !isPureNullishType(fromDecl);
+};
+export const getIdentifierStorageType = (ctx, declId, fromDecl, fromEnv) => {
+    if (shouldPreserveExplicitStorageType(ctx, declId, fromDecl, fromEnv)) {
+        return fromDecl;
+    }
+    if (fromEnv) {
+        return fromEnv;
+    }
+    if (!fromDecl)
+        return fromEnv;
+    if (!declId)
+        return fromEnv ?? fromDecl;
+    const declInfo = ctx.binding
+        ._getHandleRegistry()
+        .getDecl(declId);
+    if (!declInfo)
+        return fromEnv ?? fromDecl;
+    if (declInfo.typeNode)
+        return fromDecl;
+    const declNode = declInfo.declNode;
+    if (declNode) {
+        if (ts.isVariableDeclaration(declNode) ||
+            ts.isParameter(declNode) ||
+            ts.isBindingElement(declNode)) {
+            if (hasExplicitUnknownStorageInitializer(declNode.initializer)) {
+                return fromDecl;
+            }
+        }
+    }
+    return fromEnv ?? fromDecl;
+};
+export const stripNullish = (type) => {
+    if (!type)
+        return undefined;
+    if (type.kind !== "unionType")
+        return type;
+    const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "null" || t.name === "undefined")));
+    if (nonNullish.length === 0)
+        return undefined;
+    if (nonNullish.length === 1)
+        return nonNullish[0];
+    return { kind: "unionType", types: nonNullish };
+};
+//# sourceMappingURL=expression-converter-helpers.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expression-converter-helpers.js","sourceRoot":"","sources":["../../src/ir/expression-converter-helpers.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAGpD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,QAAqB,EACI,EAAE;IAC3B,6DAA6D;IAC7D,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACnC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;YAC3B,6CAA6C;YAC7C,MAAM,IAAI,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAa,EAAsB,EAAE;IACjE,IAAI,OAAO,GAAwB,IAAI,CAAC;IAExC,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;YACrC,IAAI,CAAC,SAAS;gBAAE,OAAO,SAAS,CAAC;YAEjC,MAAM,aAAa,GACjB,OAAO,CAAC,cAAc,EAAE,GAAG,CACzB,CAAC,EAAE,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CACpE,IAAI,EAAE,CAAC;YAEV,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC;QACJ,CAAC;QAED,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,UAAyB,EAAU,EAAE,CAC7D,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;IACzB,CAAC,CAAC,UAAU,CAAC,IAAI;IACjB,CAAC,CAAC,GAAG,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;AAEtE,MAAM,iCAAiC,GAAG,CACxC,IAAa,EACY,EAAE;IAC3B,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,CAAC;IAE/C,OAAO,OAAO,EAAE,CAAC;QACf,IACE,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAC/B,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;gBAC3B,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;gBACzB,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;YAChC,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvD,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,aAAa,GAAG,gBAAgB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC5D,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,aAAa,CAAC;YACpE,IAAI,WAAW,KAAK,WAAW,IAAI,WAAW,KAAK,gBAAgB,EAAE,CAAC;gBACpE,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,OAAO,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QAED,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAwB,EACxB,GAAmB,EACC,EAAE;IACtB,MAAM,YAAY,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,GAAG,CAAC,UAAU,CAAC,cAAc,CAClC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAC5C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAmB,EAAiB,EAAE;IACjE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA6B,EACpB,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;AAEnE,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,IAA+B,EACtB,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACxE,OAAO,yBAAyB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,OAAO,yBAAyB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC9D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;IAC3D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CACxD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,GAAmB,EACnB,MAAkE,EAClE,QAA4B,EAC5B,OAA2B,EAClB,EAAE;IACX,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAI,GAAG,CAAC,OAA2B;SAC9C,kBAAkB,EAAE;SACpB,OAAO,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,GAAmB,EACnB,MAAkE,EAClE,QAA4B,EAC5B,OAA2B,EACP,EAAE;IACtB,IAAI,iCAAiC,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QACtE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAC;IAC9B,IAAI,CAAC,MAAM;QAAE,OAAO,OAAO,IAAI,QAAQ,CAAC;IAExC,MAAM,QAAQ,GAAI,GAAG,CAAC,OAA2B;SAC9C,kBAAkB,EAAE;SACpB,OAAO,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,CAAC,QAAQ;QAAE,OAAO,OAAO,IAAI,QAAQ,CAAC;IAC1C,IAAI,QAAQ,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAEvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAA+B,CAAC;IAC1D,IAAI,QAAQ,EAAE,CAAC;QACb,IACE,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC;YAClC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC;YACxB,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAC7B,CAAC;YACD,IAAI,oCAAoC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/D,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,IAAI,QAAQ,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAwB,EAAsB,EAAE;IAC3E,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC,CAAC"}

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

@@ -1,19 +1,9 @@
 /**
- * Expression converter - TypeScript AST to IR expressions
- * Main dispatcher - delegates to specialized modules
- */
-import * as ts from "typescript";
-import { IrExpression, IrType } from "./types.js";
-import type { ProgramContext } from "./program-context.js";
-/**
- * Main expression conversion dispatcher
- * Converts TypeScript expression nodes to IR expressions
+ * Expression converter - TypeScript AST to IR expressions (facade)
  *
- * @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.
+ * Sub-modules:
+ * - expression-converter-helpers.ts  : numeric kind extraction, this-type, utilities
+ * - expression-converter-dispatch.ts : main dispatcher
  */
-export declare const convertExpression: (node: ts.Expression, ctx: ProgramContext, expectedType: IrType | undefined) => IrExpression;
+export { convertExpression } from "./expression-converter-dispatch.js";
 //# sourceMappingURL=expression-converter.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"expression-converter.d.ts","sourceRoot":"","sources":["../../src/ir/expression-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,YAAY,EAEZ,MAAM,EAGP,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAwG3D;;;;;;;;;GASG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,EACnB,cAAc,MAAM,GAAG,SAAS,KAC/B,YAgXF,CAAC"}
+{"version":3,"file":"expression-converter.d.ts","sourceRoot":"","sources":["../../src/ir/expression-converter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC"}

package/dist/ir/expression-converter.js

@@ -1,414 +1,9 @@
 /**
- * Expression converter - TypeScript AST to IR expressions
- * Main dispatcher - delegates to specialized modules
- */
-import * as ts from "typescript";
-import { TSONIC_TO_NUMERIC_KIND, } from "./types.js";
-// 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";
-/**
- * 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)
- */
-const getNumericKindFromTypeNode = (typeNode) => {
-    // Handle type reference nodes (e.g., `int`, `byte`, `Int32`)
-    if (ts.isTypeReferenceNode(typeNode)) {
-        const typeName = typeNode.typeName;
-        if (ts.isIdentifier(typeName)) {
-            const name = typeName.text;
-            // Look up the type alias name in our mapping
-            const kind = TSONIC_TO_NUMERIC_KIND.get(name);
-            if (kind !== undefined) {
-                return kind;
-            }
-        }
-    }
-    return undefined;
-};
-const inferThisType = (node) => {
-    let current = node;
-    while (current) {
-        if (ts.isClassDeclaration(current) || ts.isClassExpression(current)) {
-            const className = current.name?.text;
-            if (!className)
-                return undefined;
-            const typeArguments = current.typeParameters?.map((tp) => ({ kind: "typeParameterType", name: tp.name.text })) ?? [];
-            return {
-                kind: "referenceType",
-                name: className,
-                ...(typeArguments.length > 0 ? { typeArguments } : {}),
-            };
-        }
-        current = current.parent;
-    }
-    return undefined;
-};
-const stripNullish = (type) => {
-    if (!type)
-        return undefined;
-    if (type.kind !== "unionType")
-        return type;
-    const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
-        (t.name === "null" || t.name === "undefined")));
-    if (nonNullish.length === 0)
-        return undefined;
-    if (nonNullish.length === 1)
-        return nonNullish[0];
-    return { kind: "unionType", types: nonNullish };
-};
-/**
- * Main expression conversion dispatcher
- * Converts TypeScript expression nodes to IR expressions
+ * Expression converter - TypeScript AST to IR expressions (facade)
  *
- * @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.
+ * Sub-modules:
+ * - expression-converter-helpers.ts  : numeric kind extraction, this-type, utilities
+ * - expression-converter-dispatch.ts : main dispatcher
  */
-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 - type is context-dependent, undefined for now
-        return {
-            kind: "literal",
-            value: null,
-            raw: "null",
-            inferredType: undefined,
-            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);
-        // DETERMINISTIC: Prefer lexical flow type (narrowing / lambda params), then decl type.
-        const fromEnv = declId ? ctx.typeEnv?.get(declId.id) : undefined;
-        const fromDecl = declId && !fromEnv
-            ? (() => {
-                const t = ctx.typeSystem.typeOfDecl(declId);
-                return t.kind === "unknownType" ? undefined : t;
-            })()
-            : undefined;
-        const identifierType = fromEnv ?? fromDecl;
-        // 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;
-            }
-        }
-        // Check if this identifier is bound to a CLR type (e.g., console, Math, etc.)
-        const clrBinding = ctx.bindings.getBinding(node.text);
-        if (clrBinding && clrBinding.kind === "global") {
-            return {
-                kind: "identifier",
-                name: node.text,
-                inferredType: identifierType,
-                sourceSpan: getSourceSpan(node),
-                resolvedClrType: clrBinding.type,
-                resolvedAssembly: clrBinding.assembly,
-                csharpName: clrBinding.csharpName, // Optional C# name from binding
-                originalName,
-                declId,
-            };
-        }
-        return {
-            kind: "identifier",
-            name: node.text,
-            inferredType: identifierType,
-            sourceSpan: getSourceSpan(node),
-            originalName,
-            declId,
-        };
-    }
-    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)) {
-        // yield type depends on generator context - undefined for now
-        return {
-            kind: "yield",
-            expression: node.expression
-                ? convertExpression(node.expression, ctx, undefined)
-                : undefined,
-            delegate: !!node.asteriskToken,
-            inferredType: undefined,
-            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),
-    };
-};
+export { convertExpression } from "./expression-converter-dispatch.js";
 //# sourceMappingURL=expression-converter.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"expression-converter.js","sourceRoot":"","sources":["../../src/ir/expression-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAKL,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAGpB,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;AAEpE;;;;;;;;GAQG;AACH,MAAM,0BAA0B,GAAG,CACjC,QAAqB,EACI,EAAE;IAC3B,6DAA6D;IAC7D,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACnC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;YAC3B,6CAA6C;YAC7C,MAAM,IAAI,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAa,EAAsB,EAAE;IAC1D,IAAI,OAAO,GAAwB,IAAI,CAAC;IAExC,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;YACrC,IAAI,CAAC,SAAS;gBAAE,OAAO,SAAS,CAAC;YAEjC,MAAM,aAAa,GACjB,OAAO,CAAC,cAAc,EAAE,GAAG,CACzB,CAAC,EAAE,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CACpE,IAAI,EAAE,CAAC;YAEV,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvD,CAAC;QACJ,CAAC;QAED,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,IAAwB,EAAsB,EAAE;IACpE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAClD,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,8DAA8D;QAC9D,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,IAAI;YACX,GAAG,EAAE,MAAM;YACX,YAAY,EAAE,SAAS;YACvB,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;QAEnD,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,GACZ,MAAM,IAAI,CAAC,OAAO;YAChB,CAAC,CAAC,CAAC,GAAG,EAAE;gBACJ,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC5C,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,EAAE;YACN,CAAC,CAAC,SAAS,CAAC;QAEhB,MAAM,cAAc,GAAG,OAAO,IAAI,QAAQ,CAAC;QAE3C,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,8EAA8E;QAC9E,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,YAAY,EAAE,cAAc;gBAC5B,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;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,YAAY,EAAE,cAAc;YAC5B,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC;YAC/B,YAAY;YACZ,MAAM;SACP,CAAC;IACJ,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,8DAA8D;QAC9D,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,SAAS;YACvB,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"}
+{"version":3,"file":"expression-converter.js","sourceRoot":"","sources":["../../src/ir/expression-converter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC"}