@tsonic/frontend 0.0.1 → 0.0.4

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

@@ -0,0 +1,132 @@
+/**
+ * Member access expression converters
+ */
+import * as ts from "typescript";
+import { getInferredType } from "./helpers.js";
+import { convertExpression } from "../../expression-converter.js";
+import { getBindingRegistry } from "../statements/declarations/registry.js";
+/**
+ * Extract the type name from an inferred type for binding lookup.
+ * Handles tsbindgen's naming convention where instance types are suffixed with $instance
+ * (e.g., List_1$instance → List_1 for binding lookup)
+ */
+const extractTypeName = (inferredType) => {
+    if (!inferredType)
+        return undefined;
+    if (inferredType.kind === "referenceType") {
+        const name = inferredType.name;
+        // Strip $instance suffix from tsbindgen-generated type names
+        // e.g., "List_1$instance" → "List_1" for binding lookup
+        if (name.endsWith("$instance")) {
+            return name.slice(0, -"$instance".length);
+        }
+        return name;
+    }
+    return undefined;
+};
+/**
+ * Resolve hierarchical binding for a member access
+ * Handles namespace.type, type.member, directType.member, and instance.member patterns
+ */
+const resolveHierarchicalBinding = (object, propertyName) => {
+    const registry = getBindingRegistry();
+    // Case 1: object is identifier → check if it's a namespace, then check if property is a type
+    if (object.kind === "identifier") {
+        const namespace = registry.getNamespace(object.name);
+        if (namespace) {
+            // Found namespace binding, check if property is a type within this namespace
+            // Note: After schema swap, we look up by alias (TS identifier)
+            const type = namespace.types.find((t) => t.alias === propertyName);
+            if (type) {
+                // This member access is namespace.type - we don't emit a member binding here
+                // because we're just accessing a type, not calling a member
+                return undefined;
+            }
+        }
+        // Case 1b: object is a direct type import (like `Console` imported directly)
+        // Check if the identifier is a type alias, and if so, look up the member
+        const directType = registry.getType(object.name);
+        if (directType) {
+            const member = directType.members.find((m) => m.alias === propertyName);
+            if (member) {
+                // Found a member binding for direct type import!
+                return {
+                    assembly: member.binding.assembly,
+                    type: member.binding.type,
+                    member: member.binding.member,
+                };
+            }
+        }
+    }
+    // Case 2: object is member expression with a type reference → check if property is a member
+    if (object.kind === "memberAccess" && !object.isComputed) {
+        // Walk up the chain to find if this is a type reference
+        // For systemLinq.enumerable, the object is "systemLinq" and property is "enumerable"
+        if (object.object.kind === "identifier") {
+            const namespace = registry.getNamespace(object.object.name);
+            if (namespace && typeof object.property === "string") {
+                const type = namespace.types.find((t) => t.alias === object.property);
+                if (type) {
+                    // The object is a type reference (namespace.type), now check if property is a member
+                    const member = type.members.find((m) => m.alias === propertyName);
+                    if (member) {
+                        // Found a member binding!
+                        return {
+                            assembly: member.binding.assembly,
+                            type: member.binding.type,
+                            member: member.binding.member,
+                        };
+                    }
+                }
+            }
+        }
+    }
+    // Case 3: Instance member access (e.g., numbers.add where numbers is List<T>)
+    // Use the object's inferred type to look up the member binding
+    const objectTypeName = extractTypeName(object.inferredType);
+    if (objectTypeName) {
+        // Look up member by type alias and property name
+        const member = registry.getMember(objectTypeName, propertyName);
+        if (member) {
+            return {
+                assembly: member.binding.assembly,
+                type: member.binding.type,
+                member: member.binding.member,
+            };
+        }
+    }
+    return undefined;
+};
+/**
+ * Convert property access or element access expression
+ */
+export const convertMemberExpression = (node, checker) => {
+    const isOptional = node.questionDotToken !== undefined;
+    const inferredType = getInferredType(node, checker);
+    if (ts.isPropertyAccessExpression(node)) {
+        const object = convertExpression(node.expression, checker);
+        const propertyName = node.name.text;
+        // Try to resolve hierarchical binding
+        const memberBinding = resolveHierarchicalBinding(object, propertyName);
+        return {
+            kind: "memberAccess",
+            object,
+            property: propertyName,
+            isComputed: false,
+            isOptional,
+            inferredType,
+            memberBinding,
+        };
+    }
+    else {
+        return {
+            kind: "memberAccess",
+            object: convertExpression(node.expression, checker),
+            property: convertExpression(node.argumentExpression, checker),
+            isComputed: true,
+            isOptional,
+            inferredType,
+        };
+    }
+};
+//# sourceMappingURL=access.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"access.js","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/access.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAE5E;;;;GAIG;AACH,MAAM,eAAe,GAAG,CACtB,YAAgD,EAC5B,EAAE;IACtB,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC;QAE/B,6DAA6D;QAC7D,wDAAwD;QACxD,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,0BAA0B,GAAG,CACjC,MAA4C,EAC5C,YAAoB,EACiB,EAAE;IACvC,MAAM,QAAQ,GAAG,kBAAkB,EAAE,CAAC;IAEtC,6FAA6F;IAC7F,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,SAAS,EAAE,CAAC;YACd,6EAA6E;YAC7E,+DAA+D;YAC/D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC;YACnE,IAAI,IAAI,EAAE,CAAC;gBACT,6EAA6E;gBAC7E,4DAA4D;gBAC5D,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,yEAAyE;QACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC;YACxE,IAAI,MAAM,EAAE,CAAC;gBACX,iDAAiD;gBACjD,OAAO;oBACL,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ;oBACjC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI;oBACzB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;iBAC9B,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,4FAA4F;IAC5F,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACzD,wDAAwD;QACxD,qFAAqF;QACrF,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,SAAS,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACrD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACtE,IAAI,IAAI,EAAE,CAAC;oBACT,qFAAqF;oBACrF,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC;oBAClE,IAAI,MAAM,EAAE,CAAC;wBACX,0BAA0B;wBAC1B,OAAO;4BACL,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ;4BACjC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI;4BACzB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;yBAC9B,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,+DAA+D;IAC/D,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5D,IAAI,cAAc,EAAE,CAAC;QACnB,iDAAiD;QACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;QAChE,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;gBACL,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ;gBACjC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI;gBACzB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;aAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA8D,EAC9D,OAAuB,EACH,EAAE;IACtB,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,KAAK,SAAS,CAAC;IACvD,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEpD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAEpC,sCAAsC;QACtC,MAAM,aAAa,GAAG,0BAA0B,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAEvE,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,MAAM;YACN,QAAQ,EAAE,YAAY;YACtB,UAAU,EAAE,KAAK;YACjB,UAAU;YACV,YAAY;YACZ,aAAa;SACd,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;YACnD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC;YAC7D,UAAU,EAAE,IAAI;YAChB,UAAU;YACV,YAAY;SACb,CAAC;IACJ,CAAC;AACH,CAAC,CAAC"}

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

@@ -0,0 +1,14 @@
+/**
+ * Call and new expression converters
+ */
+import * as ts from "typescript";
+import { IrCallExpression, IrNewExpression } from "../../types.js";
+/**
+ * Convert call expression
+ */
+export declare const convertCallExpression: (node: ts.CallExpression, checker: ts.TypeChecker) => IrCallExpression;
+/**
+ * Convert new expression
+ */
+export declare const convertNewExpression: (node: ts.NewExpression, checker: ts.TypeChecker) => IrNewExpression;
+//# sourceMappingURL=calls.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/calls.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAuEnE;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,SAAS,EAAE,CAAC,WAAW,KACtB,gBAwBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,EAAE,CAAC,WAAW,KACtB,eAsBF,CAAC"}

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,SA4BX,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"}