@tsonic/frontend 0.0.1 → 0.0.2

package/dist/ir/converters/expressions/calls.js

@@ -0,0 +1,104 @@
+/**
+ * Call and new expression converters
+ */
+import * as ts from "typescript";
+import { getInferredType, extractTypeArguments, checkIfRequiresSpecialization, } from "./helpers.js";
+import { convertExpression } from "../../expression-converter.js";
+/**
+ * Extract argument passing modes from resolved signature
+ * Returns array aligned with arguments, indicating ref/out/in/value for each
+ */
+const extractArgumentPassing = (node, checker) => {
+    try {
+        const signature = checker.getResolvedSignature(node);
+        if (!signature || !signature.declaration) {
+            return undefined;
+        }
+        const decl = signature.declaration;
+        let parameters = [];
+        // Extract parameters from declaration
+        if (ts.isFunctionDeclaration(decl) ||
+            ts.isMethodDeclaration(decl) ||
+            ts.isConstructorDeclaration(decl) ||
+            ts.isArrowFunction(decl) ||
+            ts.isFunctionExpression(decl)) {
+            parameters = decl.parameters;
+        }
+        if (parameters.length === 0) {
+            return undefined;
+        }
+        // Build passing mode for each parameter
+        const passingModes = [];
+        for (const param of parameters) {
+            let passing = "value";
+            // Check if parameter type is ref<T>, out<T>, or in<T>
+            if (param.type &&
+                ts.isTypeReferenceNode(param.type) &&
+                ts.isIdentifier(param.type.typeName)) {
+                const typeName = param.type.typeName.text;
+                if ((typeName === "ref" || typeName === "out" || typeName === "in") &&
+                    param.type.typeArguments &&
+                    param.type.typeArguments.length > 0) {
+                    passing = typeName === "in" ? "in" : typeName;
+                }
+            }
+            passingModes.push(passing);
+        }
+        return passingModes;
+    }
+    catch {
+        return undefined;
+    }
+};
+/**
+ * Convert call expression
+ */
+export const convertCallExpression = (node, checker) => {
+    // Extract type arguments from the call signature
+    const typeArguments = extractTypeArguments(node, checker);
+    const requiresSpecialization = checkIfRequiresSpecialization(node, checker);
+    const argumentPassing = extractArgumentPassing(node, checker);
+    return {
+        kind: "call",
+        callee: convertExpression(node.expression, checker),
+        arguments: node.arguments.map((arg) => {
+            if (ts.isSpreadElement(arg)) {
+                return {
+                    kind: "spread",
+                    expression: convertExpression(arg.expression, checker),
+                };
+            }
+            return convertExpression(arg, checker);
+        }),
+        isOptional: node.questionDotToken !== undefined,
+        inferredType: getInferredType(node, checker),
+        typeArguments,
+        requiresSpecialization,
+        argumentPassing,
+    };
+};
+/**
+ * Convert new expression
+ */
+export const convertNewExpression = (node, checker) => {
+    // Extract type arguments from the constructor signature
+    const typeArguments = extractTypeArguments(node, checker);
+    const requiresSpecialization = checkIfRequiresSpecialization(node, checker);
+    return {
+        kind: "new",
+        callee: convertExpression(node.expression, checker),
+        arguments: node.arguments?.map((arg) => {
+            if (ts.isSpreadElement(arg)) {
+                return {
+                    kind: "spread",
+                    expression: convertExpression(arg.expression, checker),
+                };
+            }
+            return convertExpression(arg, checker);
+        }) ?? [],
+        inferredType: getInferredType(node, checker),
+        typeArguments,
+        requiresSpecialization,
+    };
+};
+//# sourceMappingURL=calls.js.map

package/dist/ir/converters/expressions/calls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/calls.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAA0C,EAC1C,OAAuB,EACkC,EAAE;IAC3D,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YACzC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC;QACnC,IAAI,UAAU,GAAuC,EAAE,CAAC;QAExD,sCAAsC;QACtC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAC7B,CAAC;YACD,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,wCAAwC;QACxC,MAAM,YAAY,GAAuC,EAAE,CAAC;QAE5D,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,OAAO,GAAmC,OAAO,CAAC;YAEtD,sDAAsD;YACtD,IACE,KAAK,CAAC,IAAI;gBACV,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;gBAClC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EACpC,CAAC;gBACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC1C,IACE,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,IAAI,CAAC;oBAC/D,KAAK,CAAC,IAAI,CAAC,aAAa;oBACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;oBACD,OAAO,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChD,CAAC;YACH,CAAC;YAED,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,YAAY,CAAC;IACtB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,OAAuB,EACL,EAAE;IACpB,iDAAiD;IACjD,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,sBAAsB,GAAG,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,eAAe,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE9D,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACnD,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YACpC,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO;oBACL,IAAI,EAAE,QAAiB;oBACvB,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC;iBACvD,CAAC;YACJ,CAAC;YACD,OAAO,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC,CAAC;QACF,UAAU,EAAE,IAAI,CAAC,gBAAgB,KAAK,SAAS;QAC/C,YAAY,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;QAC5C,aAAa;QACb,sBAAsB;QACtB,eAAe;KAChB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAsB,EACtB,OAAuB,EACN,EAAE;IACnB,wDAAwD;IACxD,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,sBAAsB,GAAG,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE5E,OAAO;QACL,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACnD,SAAS,EACP,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO;oBACL,IAAI,EAAE,QAAiB;oBACvB,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC;iBACvD,CAAC;YACJ,CAAC;YACD,OAAO,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC,CAAC,IAAI,EAAE;QACV,YAAY,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;QAC5C,aAAa;QACb,sBAAsB;KACvB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/expressions/collections.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Collection expression converters (arrays and objects)
+ */
+import * as ts from "typescript";
+import { IrArrayExpression, IrObjectExpression } from "../../types.js";
+/**
+ * Convert array literal expression
+ */
+export declare const convertArrayLiteral: (node: ts.ArrayLiteralExpression, checker: ts.TypeChecker) => IrArrayExpression;
+/**
+ * Convert object literal expression
+ */
+export declare const convertObjectLiteral: (node: ts.ObjectLiteralExpression, checker: ts.TypeChecker) => IrObjectExpression;
+//# sourceMappingURL=collections.d.ts.map

package/dist/ir/converters/expressions/collections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/collections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAEnB,MAAM,gBAAgB,CAAC;AAIxB;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,sBAAsB,EAC/B,SAAS,EAAE,CAAC,WAAW,KACtB,iBAiBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,uBAAuB,EAChC,SAAS,EAAE,CAAC,WAAW,KACtB,kBAuCF,CAAC"}

package/dist/ir/converters/expressions/collections.js

@@ -0,0 +1,70 @@
+/**
+ * Collection expression converters (arrays and objects)
+ */
+import * as ts from "typescript";
+import { getInferredType, getContextualType } from "./helpers.js";
+import { convertExpression } from "../../expression-converter.js";
+/**
+ * Convert array literal expression
+ */
+export const convertArrayLiteral = (node, checker) => {
+    return {
+        kind: "array",
+        elements: node.elements.map((elem) => {
+            if (ts.isOmittedExpression(elem)) {
+                return undefined; // Hole in sparse array
+            }
+            if (ts.isSpreadElement(elem)) {
+                return {
+                    kind: "spread",
+                    expression: convertExpression(elem.expression, checker),
+                };
+            }
+            return convertExpression(elem, checker);
+        }),
+        inferredType: getInferredType(node, checker),
+    };
+};
+/**
+ * Convert object literal expression
+ */
+export const convertObjectLiteral = (node, checker) => {
+    const properties = [];
+    node.properties.forEach((prop) => {
+        if (ts.isPropertyAssignment(prop)) {
+            const key = ts.isComputedPropertyName(prop.name)
+                ? convertExpression(prop.name.expression, checker)
+                : ts.isIdentifier(prop.name)
+                    ? prop.name.text
+                    : String(prop.name.text);
+            properties.push({
+                kind: "property",
+                key,
+                value: convertExpression(prop.initializer, checker),
+                shorthand: false,
+            });
+        }
+        else if (ts.isShorthandPropertyAssignment(prop)) {
+            properties.push({
+                kind: "property",
+                key: prop.name.text,
+                value: { kind: "identifier", name: prop.name.text },
+                shorthand: true,
+            });
+        }
+        else if (ts.isSpreadAssignment(prop)) {
+            properties.push({
+                kind: "spread",
+                expression: convertExpression(prop.expression, checker),
+            });
+        }
+        // Skip getters/setters/methods for now (can add later if needed)
+    });
+    return {
+        kind: "object",
+        properties,
+        inferredType: getInferredType(node, checker),
+        contextualType: getContextualType(node, checker),
+    };
+};
+//# sourceMappingURL=collections.js.map

package/dist/ir/converters/expressions/collections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/collections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAA+B,EAC/B,OAAuB,EACJ,EAAE;IACrB,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACnC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,OAAO,SAAS,CAAC,CAAC,uBAAuB;YAC3C,CAAC;YACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,OAAO;oBACL,IAAI,EAAE,QAAiB;oBACvB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;iBACxD,CAAC;YACJ,CAAC;YACD,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC,CAAC;QACF,YAAY,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,MAAM,UAAU,GAAuB,EAAE,CAAC;IAE1C,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/B,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC9C,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;gBAClD,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC1B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;oBAChB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAE7B,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,GAAG;gBACH,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;gBACnD,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACnB,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;gBACnD,SAAS,EAAE,IAAI;aAChB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;aACxD,CAAC,CAAC;QACL,CAAC;QACD,iEAAiE;IACnE,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,UAAU;QACV,YAAY,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;QAC5C,cAAc,EAAE,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC;KACjD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/expressions/functions.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Function expression converters (function expressions and arrow functions)
+ */
+import * as ts from "typescript";
+import { IrFunctionExpression, IrArrowFunctionExpression } from "../../types.js";
+/**
+ * Convert function expression
+ */
+export declare const convertFunctionExpression: (node: ts.FunctionExpression, checker: ts.TypeChecker) => IrFunctionExpression;
+/**
+ * Convert arrow function expression
+ */
+export declare const convertArrowFunction: (node: ts.ArrowFunction, checker: ts.TypeChecker) => IrArrowFunctionExpression;
+//# sourceMappingURL=functions.d.ts.map

package/dist/ir/converters/expressions/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EAC1B,MAAM,gBAAgB,CAAC;AASxB;;GAEG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,EAAE,CAAC,kBAAkB,EAC3B,SAAS,EAAE,CAAC,WAAW,KACtB,oBAeF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,EAAE,CAAC,WAAW,KACtB,yBAeF,CAAC"}

package/dist/ir/converters/expressions/functions.js

@@ -0,0 +1,42 @@
+/**
+ * Function expression converters (function expressions and arrow functions)
+ */
+import * as ts from "typescript";
+import { getInferredType } from "./helpers.js";
+import { convertExpression } from "../../expression-converter.js";
+import { convertParameters, convertBlockStatement, } from "../../statement-converter.js";
+import { convertType } from "../../type-converter.js";
+/**
+ * Convert function expression
+ */
+export const convertFunctionExpression = (node, checker) => {
+    return {
+        kind: "functionExpression",
+        name: node.name?.text,
+        parameters: convertParameters(node.parameters, checker),
+        returnType: node.type ? convertType(node.type, checker) : undefined,
+        body: node.body
+            ? convertBlockStatement(node.body, checker)
+            : { kind: "blockStatement", statements: [] },
+        isAsync: !!node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword),
+        isGenerator: !!node.asteriskToken,
+        inferredType: getInferredType(node, checker),
+    };
+};
+/**
+ * Convert arrow function expression
+ */
+export const convertArrowFunction = (node, checker) => {
+    const body = ts.isBlock(node.body)
+        ? convertBlockStatement(node.body, checker)
+        : convertExpression(node.body, checker);
+    return {
+        kind: "arrowFunction",
+        parameters: convertParameters(node.parameters, checker),
+        returnType: node.type ? convertType(node.type, checker) : undefined,
+        body,
+        isAsync: !!node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword),
+        inferredType: getInferredType(node, checker),
+    };
+};
+//# sourceMappingURL=functions.js.map

package/dist/ir/converters/expressions/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAKjC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD;;GAEG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA2B,EAC3B,OAAuB,EACD,EAAE;IACxB,OAAO;QACL,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI;QACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACvD,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACnE,IAAI,EAAE,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;QAC9C,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC7C;QACD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;QACjC,YAAY,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAsB,EACtB,OAAuB,EACI,EAAE;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QAC3C,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE1C,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACvD,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACnE,IAAI;QACJ,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC7C;QACD,YAAY,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;KAC7C,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/expressions/helpers.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Helper functions for expression conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../../types.js";
+/**
+ * Helper to get inferred type from TypeScript node
+ * Prefers contextual type (from assignment target, return position, etc.)
+ * over literal type to handle cases like empty arrays `[]` correctly.
+ */
+export declare const getInferredType: (node: ts.Node, checker: ts.TypeChecker) => IrType | undefined;
+/**
+ * Extract type arguments from a call or new expression
+ * This captures both explicit type arguments and inferred ones
+ */
+export declare const extractTypeArguments: (node: ts.CallExpression | ts.NewExpression, checker: ts.TypeChecker) => readonly IrType[] | undefined;
+/**
+ * Check if a call/new expression requires specialization
+ * Returns true for conditional types, infer, variadic generics, this typing
+ */
+export declare const checkIfRequiresSpecialization: (node: ts.CallExpression | ts.NewExpression, checker: ts.TypeChecker) => boolean;
+/**
+ * Convert TypeScript binary operator token to string
+ */
+export declare const convertBinaryOperator: (token: ts.BinaryOperatorToken) => string;
+/**
+ * Check if a binary operator token is an assignment operator
+ */
+export declare const isAssignmentOperator: (token: ts.BinaryOperatorToken) => boolean;
+/**
+ * Get the contextual type for an expression (for object literals).
+ * Returns an IrType with type arguments if the contextual type is a named type
+ * (interface, class, generic), or undefined if it's an anonymous/primitive type.
+ *
+ * This captures the full type including generic type arguments (e.g., Container<T>),
+ * which is essential for emitting correct C# object initializers.
+ */
+export declare const getContextualType: (node: ts.Expression, checker: ts.TypeChecker) => IrType | undefined;
+/**
+ * @deprecated Use getContextualType instead - returns IrType with type arguments
+ */
+export declare const getContextualTypeName: (node: ts.Expression, checker: ts.TypeChecker) => string | undefined;
+//# sourceMappingURL=helpers.d.ts.map

package/dist/ir/converters/expressions/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAGxC;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,MAAM,GAAG,SAmBX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,aAAa,EAC1C,SAAS,EAAE,CAAC,WAAW,KACtB,SAAS,MAAM,EAAE,GAAG,SAoCtB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,aAAa,EAC1C,SAAS,EAAE,CAAC,WAAW,KACtB,OA0CF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,EAAE,CAAC,mBAAmB,KAC5B,MA8CF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,EAAE,CAAC,mBAAmB,KAC5B,OAKF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,UAAU,EACnB,SAAS,EAAE,CAAC,WAAW,KACtB,MAAM,GAAG,SAwCX,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,UAAU,EACnB,SAAS,EAAE,CAAC,WAAW,KACtB,MAAM,GAAG,SAMX,CAAC"}

package/dist/ir/converters/expressions/helpers.js

@@ -0,0 +1,210 @@
+/**
+ * Helper functions for expression conversion
+ */
+import * as ts from "typescript";
+import { convertType, convertTsTypeToIr } from "../../type-converter.js";
+/**
+ * Helper to get inferred type from TypeScript node
+ * Prefers contextual type (from assignment target, return position, etc.)
+ * over literal type to handle cases like empty arrays `[]` correctly.
+ */
+export const getInferredType = (node, checker) => {
+    try {
+        // Try contextual type first (from assignment target, parameter, return, etc.)
+        // This is essential for empty arrays: [] has literal type never[] but contextual
+        // type Player[] when assigned to a Player[] variable
+        const expr = ts.isExpression(node) ? node : undefined;
+        const contextualType = expr ? checker.getContextualType(expr) : undefined;
+        const tsType = contextualType ?? checker.getTypeAtLocation(node);
+        const typeNode = checker.typeToTypeNode(tsType, node, ts.NodeBuilderFlags.None);
+        return typeNode ? convertType(typeNode, checker) : undefined;
+    }
+    catch {
+        // If type extraction fails, return undefined
+        return undefined;
+    }
+};
+/**
+ * Extract type arguments from a call or new expression
+ * This captures both explicit type arguments and inferred ones
+ */
+export const extractTypeArguments = (node, checker) => {
+    try {
+        // First check for explicit type arguments
+        if (node.typeArguments && node.typeArguments.length > 0) {
+            return node.typeArguments.map((typeArg) => convertType(typeArg, checker));
+        }
+        // Try to get inferred type arguments from resolved signature
+        const signature = checker.getResolvedSignature(node);
+        if (!signature) {
+            return undefined;
+        }
+        const typeParameters = signature.typeParameters;
+        if (!typeParameters || typeParameters.length === 0) {
+            return undefined;
+        }
+        // Get the type arguments inferred by the checker
+        const typeArgs = [];
+        for (const typeParam of typeParameters) {
+            // Try to resolve the instantiated type for this parameter
+            const typeNode = checker.typeToTypeNode(typeParam, node, ts.NodeBuilderFlags.None);
+            if (typeNode) {
+                typeArgs.push(convertType(typeNode, checker));
+            }
+        }
+        return typeArgs.length > 0 ? typeArgs : undefined;
+    }
+    catch {
+        return undefined;
+    }
+};
+/**
+ * Check if a call/new expression requires specialization
+ * Returns true for conditional types, infer, variadic generics, this typing
+ */
+export const checkIfRequiresSpecialization = (node, checker) => {
+    try {
+        const signature = checker.getResolvedSignature(node);
+        if (!signature || !signature.declaration) {
+            return false;
+        }
+        const decl = signature.declaration;
+        // Check for conditional return types
+        if (ts.isFunctionDeclaration(decl) ||
+            ts.isMethodDeclaration(decl) ||
+            ts.isFunctionTypeNode(decl)) {
+            if (decl.type && ts.isConditionalTypeNode(decl.type)) {
+                return true;
+            }
+        }
+        // Check for variadic type parameters (rest parameters with generic types)
+        const typeParameters = signature.typeParameters;
+        if (typeParameters) {
+            for (const typeParam of typeParameters) {
+                const constraint = typeParam.getConstraint();
+                if (constraint) {
+                    const constraintStr = checker.typeToString(constraint);
+                    // Check for unknown[] which indicates variadic
+                    if (constraintStr.includes("unknown[]") ||
+                        constraintStr.includes("any[]")) {
+                        return true;
+                    }
+                }
+            }
+        }
+        return false;
+    }
+    catch {
+        return false;
+    }
+};
+/**
+ * Convert TypeScript binary operator token to string
+ */
+export const convertBinaryOperator = (token) => {
+    const operatorMap = {
+        [ts.SyntaxKind.PlusToken]: "+",
+        [ts.SyntaxKind.MinusToken]: "-",
+        [ts.SyntaxKind.AsteriskToken]: "*",
+        [ts.SyntaxKind.SlashToken]: "/",
+        [ts.SyntaxKind.PercentToken]: "%",
+        [ts.SyntaxKind.AsteriskAsteriskToken]: "**",
+        [ts.SyntaxKind.EqualsEqualsToken]: "==",
+        [ts.SyntaxKind.ExclamationEqualsToken]: "!=",
+        [ts.SyntaxKind.EqualsEqualsEqualsToken]: "===",
+        [ts.SyntaxKind.ExclamationEqualsEqualsToken]: "!==",
+        [ts.SyntaxKind.LessThanToken]: "<",
+        [ts.SyntaxKind.GreaterThanToken]: ">",
+        [ts.SyntaxKind.LessThanEqualsToken]: "<=",
+        [ts.SyntaxKind.GreaterThanEqualsToken]: ">=",
+        [ts.SyntaxKind.LessThanLessThanToken]: "<<",
+        [ts.SyntaxKind.GreaterThanGreaterThanToken]: ">>",
+        [ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken]: ">>>",
+        [ts.SyntaxKind.AmpersandToken]: "&",
+        [ts.SyntaxKind.BarToken]: "|",
+        [ts.SyntaxKind.CaretToken]: "^",
+        [ts.SyntaxKind.AmpersandAmpersandToken]: "&&",
+        [ts.SyntaxKind.BarBarToken]: "||",
+        [ts.SyntaxKind.QuestionQuestionToken]: "??",
+        [ts.SyntaxKind.InKeyword]: "in",
+        [ts.SyntaxKind.InstanceOfKeyword]: "instanceof",
+        [ts.SyntaxKind.EqualsToken]: "=",
+        [ts.SyntaxKind.PlusEqualsToken]: "+=",
+        [ts.SyntaxKind.MinusEqualsToken]: "-=",
+        [ts.SyntaxKind.AsteriskEqualsToken]: "*=",
+        [ts.SyntaxKind.SlashEqualsToken]: "/=",
+        [ts.SyntaxKind.PercentEqualsToken]: "%=",
+        [ts.SyntaxKind.AsteriskAsteriskEqualsToken]: "**=",
+        [ts.SyntaxKind.LessThanLessThanEqualsToken]: "<<=",
+        [ts.SyntaxKind.GreaterThanGreaterThanEqualsToken]: ">>=",
+        [ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken]: ">>>=",
+        [ts.SyntaxKind.AmpersandEqualsToken]: "&=",
+        [ts.SyntaxKind.BarEqualsToken]: "|=",
+        [ts.SyntaxKind.CaretEqualsToken]: "^=",
+        [ts.SyntaxKind.AmpersandAmpersandEqualsToken]: "&&=",
+        [ts.SyntaxKind.BarBarEqualsToken]: "||=",
+        [ts.SyntaxKind.QuestionQuestionEqualsToken]: "??=",
+    };
+    return operatorMap[token.kind] ?? "=";
+};
+/**
+ * Check if a binary operator token is an assignment operator
+ */
+export const isAssignmentOperator = (token) => {
+    return (token.kind >= ts.SyntaxKind.FirstAssignment &&
+        token.kind <= ts.SyntaxKind.LastAssignment);
+};
+/**
+ * Get the contextual type for an expression (for object literals).
+ * Returns an IrType with type arguments if the contextual type is a named type
+ * (interface, class, generic), or undefined if it's an anonymous/primitive type.
+ *
+ * This captures the full type including generic type arguments (e.g., Container<T>),
+ * which is essential for emitting correct C# object initializers.
+ */
+export const getContextualType = (node, checker) => {
+    try {
+        const contextualType = checker.getContextualType(node);
+        if (!contextualType) {
+            return undefined;
+        }
+        // Check if it's an object type with a symbol (named type)
+        const symbol = contextualType.getSymbol();
+        if (!symbol) {
+            return undefined;
+        }
+        // Get the symbol name
+        const name = symbol.getName();
+        // Skip anonymous types and built-in types
+        if (name === "__type" || name === "__object" || name === "Object") {
+            return undefined;
+        }
+        // Check that it's actually a class or interface declaration
+        const declarations = symbol.getDeclarations();
+        if (declarations && declarations.length > 0) {
+            const firstDecl = declarations[0];
+            if (firstDecl &&
+                (ts.isInterfaceDeclaration(firstDecl) ||
+                    ts.isClassDeclaration(firstDecl) ||
+                    ts.isTypeAliasDeclaration(firstDecl))) {
+                // Convert the full contextual type to IR, capturing type arguments
+                return convertTsTypeToIr(contextualType, checker);
+            }
+        }
+        return undefined;
+    }
+    catch {
+        return undefined;
+    }
+};
+/**
+ * @deprecated Use getContextualType instead - returns IrType with type arguments
+ */
+export const getContextualTypeName = (node, checker) => {
+    const irType = getContextualType(node, checker);
+    if (irType && irType.kind === "referenceType") {
+        return irType.name;
+    }
+    return undefined;
+};
+//# sourceMappingURL=helpers.js.map

package/dist/ir/converters/expressions/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEzE;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAa,EACb,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC;QACH,8EAA8E;QAC9E,iFAAiF;QACjF,qDAAqD;QACrD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACtD,MAAM,cAAc,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1E,MAAM,MAAM,GAAG,cAAc,IAAI,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAEjE,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CACrC,MAAM,EACN,IAAI,EACJ,EAAE,CAAC,gBAAgB,CAAC,IAAI,CACzB,CAAC;QACF,OAAO,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,CAAC;IAAC,MAAM,CAAC;QACP,6CAA6C;QAC7C,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0C,EAC1C,OAAuB,EACQ,EAAE;IACjC,IAAI,CAAC;QACH,0CAA0C;QAC1C,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC5E,CAAC;QAED,6DAA6D;QAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,cAAc,GAAG,SAAS,CAAC,cAAc,CAAC;QAChD,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,iDAAiD;QACjD,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;YACvC,0DAA0D;YAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CACrC,SAAoB,EACpB,IAAI,EACJ,EAAE,CAAC,gBAAgB,CAAC,IAAI,CACzB,CAAC;YACF,IAAI,QAAQ,EAAE,CAAC;gBACb,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAA0C,EAC1C,OAAuB,EACd,EAAE;IACX,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC;QAEnC,qCAAqC;QACrC,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,0EAA0E;QAC1E,MAAM,cAAc,GAAG,SAAS,CAAC,cAAc,CAAC;QAChD,IAAI,cAAc,EAAE,CAAC;YACnB,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;gBACvC,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;gBAC7C,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;oBACvD,+CAA+C;oBAC/C,IACE,aAAa,CAAC,QAAQ,CAAC,WAAW,CAAC;wBACnC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC/B,CAAC;wBACD,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAA6B,EACrB,EAAE;IACV,MAAM,WAAW,GAA2B;QAC1C,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,GAAG;QAC9B,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,GAAG;QAC/B,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,GAAG;QAClC,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,GAAG;QAC/B,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,GAAG;QACjC,CAAC,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,IAAI;QAC3C,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,IAAI;QACvC,CAAC,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,EAAE,IAAI;QAC5C,CAAC,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,EAAE,KAAK;QAC9C,CAAC,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC,EAAE,KAAK;QACnD,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,GAAG;QAClC,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,GAAG;QACrC,CAAC,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,IAAI;QACzC,CAAC,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,EAAE,IAAI;QAC5C,CAAC,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,IAAI;QAC3C,CAAC,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC,EAAE,IAAI;QACjD,CAAC,EAAE,CAAC,UAAU,CAAC,sCAAsC,CAAC,EAAE,KAAK;QAC7D,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,GAAG;QACnC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,GAAG;QAC7B,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,GAAG;QAC/B,CAAC,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,EAAE,IAAI;QAC7C,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,IAAI;QACjC,CAAC,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,IAAI;QAC3C,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,IAAI;QAC/B,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,YAAY;QAC/C,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,GAAG;QAChC,CAAC,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,IAAI;QACrC,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,IAAI;QACtC,CAAC,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,IAAI;QACzC,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,IAAI;QACtC,CAAC,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,IAAI;QACxC,CAAC,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC,EAAE,KAAK;QAClD,CAAC,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC,EAAE,KAAK;QAClD,CAAC,EAAE,CAAC,UAAU,CAAC,iCAAiC,CAAC,EAAE,KAAK;QACxD,CAAC,EAAE,CAAC,UAAU,CAAC,4CAA4C,CAAC,EAAE,MAAM;QACpE,CAAC,EAAE,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,IAAI;QAC1C,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,IAAI;QACpC,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,IAAI;QACtC,CAAC,EAAE,CAAC,UAAU,CAAC,6BAA6B,CAAC,EAAE,KAAK;QACpD,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,KAAK;QACxC,CAAC,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC,EAAE,KAAK;KACnD,CAAC;IAEF,OAAO,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;AACxC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAA6B,EACpB,EAAE;IACX,OAAO,CACL,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,eAAe;QAC3C,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAC3C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAmB,EACnB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC;QACH,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,0DAA0D;QAC1D,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,EAAE,CAAC;QAC1C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,sBAAsB;QACtB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QAE9B,0CAA0C;QAC1C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,4DAA4D;QAC5D,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QAC9C,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAClC,IACE,SAAS;gBACT,CAAC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC;oBACnC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;oBAChC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC,EACvC,CAAC;gBACD,mEAAmE;gBACnE,OAAO,iBAAiB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAmB,EACnB,OAAuB,EACH,EAAE;IACtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/converters/expressions/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Expression converters barrel exports
+ */
+export { getInferredType, extractTypeArguments, checkIfRequiresSpecialization, convertBinaryOperator, isAssignmentOperator, } from "./helpers.js";
+export { convertLiteral } from "./literals.js";
+export { convertArrayLiteral, convertObjectLiteral } from "./collections.js";
+export { convertMemberExpression } from "./access.js";
+export { convertCallExpression, convertNewExpression } from "./calls.js";
+export { convertBinaryExpression, convertUnaryExpression, convertUpdateExpression, } from "./operators.js";
+export { convertFunctionExpression, convertArrowFunction, } from "./functions.js";
+export { convertConditionalExpression, convertTemplateLiteral, } from "./other.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/ir/converters/expressions/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,6BAA6B,EAC7B,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAG/C,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAG7E,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAGtD,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGzE,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,YAAY,CAAC"}

package/dist/ir/converters/expressions/index.js

@@ -0,0 +1,20 @@
+/**
+ * Expression converters barrel exports
+ */
+// Helpers
+export { getInferredType, extractTypeArguments, checkIfRequiresSpecialization, convertBinaryOperator, isAssignmentOperator, } from "./helpers.js";
+// Literals
+export { convertLiteral } from "./literals.js";
+// Collections
+export { convertArrayLiteral, convertObjectLiteral } from "./collections.js";
+// Member access
+export { convertMemberExpression } from "./access.js";
+// Calls
+export { convertCallExpression, convertNewExpression } from "./calls.js";
+// Operators
+export { convertBinaryExpression, convertUnaryExpression, convertUpdateExpression, } from "./operators.js";
+// Functions
+export { convertFunctionExpression, convertArrowFunction, } from "./functions.js";
+// Other
+export { convertConditionalExpression, convertTemplateLiteral, } from "./other.js";
+//# sourceMappingURL=index.js.map

package/dist/ir/converters/expressions/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,UAAU;AACV,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,6BAA6B,EAC7B,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,WAAW;AACX,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,cAAc;AACd,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7E,gBAAgB;AAChB,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAEtD,QAAQ;AACR,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEzE,YAAY;AACZ,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,gBAAgB,CAAC;AAExB,YAAY;AACZ,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAExB,QAAQ;AACR,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,YAAY,CAAC"}

package/dist/ir/converters/expressions/literals.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Literal expression converters
+ */
+import * as ts from "typescript";
+import { IrLiteralExpression } from "../../types.js";
+/**
+ * Convert string or numeric literal
+ */
+export declare const convertLiteral: (node: ts.StringLiteral | ts.NumericLiteral, checker: ts.TypeChecker) => IrLiteralExpression;
+//# sourceMappingURL=literals.d.ts.map

package/dist/ir/converters/expressions/literals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAGrD;;GAEG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,cAAc,EAC1C,SAAS,EAAE,CAAC,WAAW,KACtB,mBAOF,CAAC"}

package/dist/ir/converters/expressions/literals.js

@@ -0,0 +1,17 @@
+/**
+ * Literal expression converters
+ */
+import * as ts from "typescript";
+import { getInferredType } from "./helpers.js";
+/**
+ * Convert string or numeric literal
+ */
+export const convertLiteral = (node, checker) => {
+    return {
+        kind: "literal",
+        value: ts.isStringLiteral(node) ? node.text : Number(node.text),
+        raw: node.getText(),
+        inferredType: getInferredType(node, checker),
+    };
+};
+//# sourceMappingURL=literals.js.map

package/dist/ir/converters/expressions/literals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAA0C,EAC1C,OAAuB,EACF,EAAE;IACvB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE;QACnB,YAAY,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;KAC7C,CAAC;AACJ,CAAC,CAAC"}