@tsonic/emitter 0.0.1 → 0.0.2

package/dist/expressions/access.js

@@ -0,0 +1,77 @@
+/**
+ * Member access expression emitters
+ */
+import { emitExpression } from "../expression-emitter.js";
+import { isExplicitViewProperty, extractInterfaceNameFromView, } from "@tsonic/frontend/types/explicit-views.js";
+/**
+ * Emit a member access expression (dot notation or bracket notation)
+ */
+export const emitMemberAccess = (expr, context) => {
+    // Check if this is a hierarchical member binding
+    if (expr.memberBinding) {
+        // Emit the full CLR type and member with global:: prefix
+        const { assembly, type, member } = expr.memberBinding;
+        const text = `global::${assembly}.${type}.${member}`;
+        return [{ text }, context];
+    }
+    const [objectFrag, newContext] = emitExpression(expr.object, context);
+    // Default runtime to "js" when not specified
+    const runtime = context.options.runtime ?? "js";
+    if (expr.isComputed) {
+        // Check if this is array index access - rewrite to static helper
+        const objectType = expr.object.inferredType;
+        const isArrayType = objectType?.kind === "arrayType";
+        // For TS arrays, use Tsonic.Runtime.Array.get() in BOTH modes
+        // This provides TS array semantics (auto-grow, sparse arrays, etc.)
+        // Note: Tsonic.Runtime is compiler support for lowered TS constructs (both modes)
+        //       Tsonic.JSRuntime is JS built-ins like .map/.filter (js mode only)
+        if (isArrayType) {
+            const indexContext = { ...newContext, isArrayIndex: true };
+            const [propFrag, contextWithIndex] = emitExpression(expr.property, indexContext);
+            const finalContext = { ...contextWithIndex, isArrayIndex: false };
+            const text = `global::Tsonic.Runtime.Array.get(${objectFrag.text}, ${propFrag.text})`;
+            return [{ text }, finalContext];
+        }
+        // CLR indexer access (non-TS-array types like List<T>, string, etc.)
+        // CLR indexers require integral indices.
+        // This applies in BOTH js and dotnet modes - CLR type requirements are mode-independent.
+        const indexContext = { ...newContext, isArrayIndex: true };
+        const [propFrag, contextWithIndex] = emitExpression(expr.property, indexContext);
+        const finalContext = { ...contextWithIndex, isArrayIndex: false };
+        const accessor = expr.isOptional ? "?[" : "[";
+        // Check if the index is already known to be int (e.g., canonical loop counter)
+        const indexExpr = expr.property;
+        const isKnownInt = indexExpr.kind === "identifier" &&
+            context.intLoopVars?.has(indexExpr.name);
+        // Skip cast if index is known int, otherwise cast for safety
+        const indexText = isKnownInt ? propFrag.text : `(int)(${propFrag.text})`;
+        const text = `${objectFrag.text}${accessor}${indexText}]`;
+        return [{ text }, finalContext];
+    }
+    // Property access
+    const prop = expr.property;
+    const objectType = expr.object.inferredType;
+    const isArrayType = objectType?.kind === "arrayType";
+    // In JS runtime mode, rewrite array.length → global::Tsonic.Runtime.Array.length(array)
+    // In dotnet mode, there is no JS emulation - users access .Count directly on List<T>
+    if (isArrayType && prop === "length" && runtime === "js") {
+        const text = `global::Tsonic.Runtime.Array.length(${objectFrag.text})`;
+        return [{ text }, newContext];
+    }
+    // Handle explicit interface view properties (As_IInterface)
+    if (isExplicitViewProperty(prop)) {
+        const interfaceName = extractInterfaceNameFromView(prop);
+        if (interfaceName) {
+            // Emit as C# interface cast: ((IInterface)obj)
+            // TODO: Need to look up full interface name from metadata
+            // For now, use the extracted short name
+            const text = `((${interfaceName})${objectFrag.text})`;
+            return [{ text }, newContext];
+        }
+    }
+    // Regular property access
+    const accessor = expr.isOptional ? "?." : ".";
+    const text = `${objectFrag.text}${accessor}${prop}`;
+    return [{ text }, newContext];
+};
+//# sourceMappingURL=access.js.map

package/dist/expressions/access.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"access.js","sourceRoot":"","sources":["../../src/expressions/access.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EACL,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,0CAA0C,CAAC;AAElD;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAqD,EACrD,OAAuB,EACW,EAAE;IACpC,iDAAiD;IACjD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,yDAAyD;QACzD,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC;QACtD,MAAM,IAAI,GAAG,WAAW,QAAQ,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;QACrD,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEtE,6CAA6C;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;IAEhD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,iEAAiE;QACjE,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;QAC5C,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,KAAK,WAAW,CAAC;QAErD,8DAA8D;QAC9D,oEAAoE;QACpE,kFAAkF;QAClF,0EAA0E;QAC1E,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,YAAY,GAAG,EAAE,GAAG,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;YAC3D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GAAG,cAAc,CACjD,IAAI,CAAC,QAAwB,EAC7B,YAAY,CACb,CAAC;YACF,MAAM,YAAY,GAAG,EAAE,GAAG,gBAAgB,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,oCAAoC,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC;YACtF,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;QAClC,CAAC;QAED,qEAAqE;QACrE,yCAAyC;QACzC,yFAAyF;QACzF,MAAM,YAAY,GAAG,EAAE,GAAG,UAAU,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC3D,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GAAG,cAAc,CACjD,IAAI,CAAC,QAAwB,EAC7B,YAAY,CACb,CAAC;QACF,MAAM,YAAY,GAAG,EAAE,GAAG,gBAAgB,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QAE9C,+EAA+E;QAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,QAAwB,CAAC;QAChD,MAAM,UAAU,GACd,SAAS,CAAC,IAAI,KAAK,YAAY;YAC/B,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAE3C,6DAA6D;QAC7D,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,IAAI,GAAG,CAAC;QACzE,MAAM,IAAI,GAAG,GAAG,UAAU,CAAC,IAAI,GAAG,QAAQ,GAAG,SAAS,GAAG,CAAC;QAC1D,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IAClC,CAAC;IAED,kBAAkB;IAClB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAkB,CAAC;IACrC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;IAC5C,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,KAAK,WAAW,CAAC;IAErD,wFAAwF;IACxF,qFAAqF;IACrF,IAAI,WAAW,IAAI,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,uCAAuC,UAAU,CAAC,IAAI,GAAG,CAAC;QACvE,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,4DAA4D;IAC5D,IAAI,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,aAAa,EAAE,CAAC;YAClB,+CAA+C;YAC/C,0DAA0D;YAC1D,wCAAwC;YACxC,MAAM,IAAI,GAAG,KAAK,aAAa,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC;YACtD,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9C,MAAM,IAAI,GAAG,GAAG,UAAU,CAAC,IAAI,GAAG,QAAQ,GAAG,IAAI,EAAE,CAAC;IACpD,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC"}

package/dist/expressions/calls.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Call and new expression emitters
+ */
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext, CSharpFragment } from "../types.js";
+/**
+ * Emit a function call expression
+ */
+export declare const emitCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext) => [CSharpFragment, EmitterContext];
+/**
+ * Emit a new expression
+ */
+export declare const emitNew: (expr: Extract<IrExpression, {
+    kind: "new";
+}>, context: EmitterContext) => [CSharpFragment, EmitterContext];
+//# sourceMappingURL=calls.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"calls.d.ts","sourceRoot":"","sources":["../../src/expressions/calls.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AA0D7D;;GAEG;AACH,eAAO,MAAM,QAAQ,GACnB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CA4IjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,OAAO,GAClB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CA8CjC,CAAC"}

package/dist/expressions/calls.js

@@ -0,0 +1,207 @@
+/**
+ * Call and new expression emitters
+ */
+import { emitExpression } from "../expression-emitter.js";
+import { emitTypeArguments, generateSpecializedName } from "./identifiers.js";
+/**
+ * Ref/out/in parameter handling:
+ * The frontend extracts parameter passing modes from resolved signatures
+ * and attaches them to IrCallExpression.argumentPassing array.
+ * The emitter reads this array and prefixes arguments with ref/out/in keywords.
+ */
+/**
+ * Check if an expression is an lvalue (can be passed by reference)
+ * Only identifiers and member accesses are lvalues in C#
+ */
+const isLValue = (expr) => {
+    return expr.kind === "identifier" || expr.kind === "memberAccess";
+};
+/**
+ * Check if a call expression needs an explicit cast because the inferred type
+ * differs from the C# return type. This handles cases like Math.floor() which
+ * returns double in C# but is cast to int in TypeScript via `as int`.
+ */
+const needsIntCast = (expr, calleeName) => {
+    // Check if the inferred type is int (a reference type from @tsonic/types)
+    const inferredType = expr.inferredType;
+    if (!inferredType ||
+        inferredType.kind !== "referenceType" ||
+        inferredType.name !== "int") {
+        return false;
+    }
+    // Check if this is a Math method that returns double
+    const mathMethodsReturningDouble = [
+        "Math.floor",
+        "Math.ceil",
+        "Math.round",
+        "Math.abs",
+        "Math.pow",
+        "Math.sqrt",
+        "Math.min",
+        "Math.max",
+        "Tsonic.JSRuntime.Math.floor",
+        "Tsonic.JSRuntime.Math.ceil",
+        "Tsonic.JSRuntime.Math.round",
+    ];
+    return mathMethodsReturningDouble.some((m) => calleeName === m || calleeName.endsWith(`.${m.split(".").pop()}`));
+};
+/**
+ * Emit a function call expression
+ */
+export const emitCall = (expr, context) => {
+    // Type-aware method call rewriting
+    // Use inferredType to determine if we need to rewrite as static helper
+    if (expr.callee.kind === "memberAccess" &&
+        typeof expr.callee.property === "string") {
+        const methodName = expr.callee.property;
+        const objectType = expr.callee.object.inferredType;
+        // Rewrite based on type:
+        // - string → Tsonic.JSRuntime.String.method()
+        // - number → Tsonic.JSRuntime.Number.method()
+        // - Array<T> → Tsonic.JSRuntime.Array.method() (extension methods on List<T>)
+        // - Other custom types → Keep as instance method
+        const isStringType = objectType?.kind === "primitiveType" && objectType.name === "string";
+        const isNumberType = objectType?.kind === "primitiveType" && objectType.name === "number";
+        const isArrayType = objectType?.kind === "arrayType";
+        const shouldRewriteAsStatic = isStringType || isNumberType || isArrayType;
+        // Only rewrite to JSRuntime in "js" mode
+        // In "dotnet" mode, there is no JS emulation - use .NET APIs directly
+        const runtime = context.options.runtime ?? "js";
+        if (shouldRewriteAsStatic && runtime === "js") {
+            // Runtime mode "js": Use Tsonic.JSRuntime
+            // Determine which runtime class based on type
+            let runtimeClass;
+            if (isStringType) {
+                runtimeClass = "String";
+            }
+            else if (isNumberType) {
+                runtimeClass = "Number";
+            }
+            else {
+                runtimeClass = "Array";
+            }
+            // Rewrite: obj.method(args) → global::Tsonic.JSRuntime.{Class}.method(obj, args)
+            const [objectFrag, objContext] = emitExpression(expr.callee.object, context);
+            let currentContext = objContext;
+            const args = [objectFrag.text]; // Object becomes first argument
+            for (let i = 0; i < expr.arguments.length; i++) {
+                const arg = expr.arguments[i];
+                if (!arg)
+                    continue; // Skip undefined (shouldn't happen in valid IR)
+                if (arg.kind === "spread") {
+                    const [spreadFrag, ctx] = emitExpression(arg.expression, currentContext);
+                    args.push(`params ${spreadFrag.text}`);
+                    currentContext = ctx;
+                }
+                else {
+                    const [argFrag, ctx] = emitExpression(arg, currentContext);
+                    // Check if this argument needs ref/out/in prefix
+                    // Note: argumentPassing[i] corresponds to method parameter i+1 (first param is the object)
+                    // Only add prefix if argument is an lvalue (identifier or member access)
+                    const passingMode = expr.argumentPassing?.[i + 1];
+                    const prefix = passingMode && passingMode !== "value" && isLValue(arg)
+                        ? `${passingMode} `
+                        : "";
+                    args.push(`${prefix}${argFrag.text}`);
+                    currentContext = ctx;
+                }
+            }
+            const text = `global::Tsonic.JSRuntime.${runtimeClass}.${methodName}(${args.join(", ")})`;
+            return [{ text }, currentContext];
+        }
+    }
+    // Regular function call
+    const [calleeFrag, newContext] = emitExpression(expr.callee, context);
+    let currentContext = newContext;
+    // Handle generic type arguments
+    let typeArgsStr = "";
+    let finalCalleeName = calleeFrag.text;
+    if (expr.typeArguments && expr.typeArguments.length > 0) {
+        if (expr.requiresSpecialization) {
+            // Monomorphisation: Generate specialized method name
+            // e.g., process<string> → process__string
+            const [specializedName, specContext] = generateSpecializedName(calleeFrag.text, expr.typeArguments, currentContext);
+            finalCalleeName = specializedName;
+            currentContext = specContext;
+        }
+        else {
+            // Emit explicit type arguments for generic call
+            // e.g., identity<string>(value)
+            const [typeArgs, typeContext] = emitTypeArguments(expr.typeArguments, currentContext);
+            typeArgsStr = typeArgs;
+            currentContext = typeContext;
+        }
+    }
+    const args = [];
+    for (let i = 0; i < expr.arguments.length; i++) {
+        const arg = expr.arguments[i];
+        if (!arg)
+            continue; // Skip undefined (shouldn't happen in valid IR)
+        if (arg.kind === "spread") {
+            // Spread in function call
+            const [spreadFrag, ctx] = emitExpression(arg.expression, currentContext);
+            args.push(`params ${spreadFrag.text}`);
+            currentContext = ctx;
+        }
+        else {
+            const [argFrag, ctx] = emitExpression(arg, currentContext);
+            // Check if this argument needs ref/out/in prefix
+            // Only add prefix if argument is an lvalue (identifier or member access)
+            const passingMode = expr.argumentPassing?.[i];
+            const prefix = passingMode && passingMode !== "value" && isLValue(arg)
+                ? `${passingMode} `
+                : "";
+            args.push(`${prefix}${argFrag.text}`);
+            currentContext = ctx;
+        }
+    }
+    const callOp = expr.isOptional ? "?." : "";
+    const callText = `${finalCalleeName}${typeArgsStr}${callOp}(${args.join(", ")})`;
+    // Add cast if needed (e.g., Math.floor returning double but asserted as int)
+    const text = needsIntCast(expr, finalCalleeName)
+        ? `(int)${callText}`
+        : callText;
+    return [{ text }, currentContext];
+};
+/**
+ * Emit a new expression
+ */
+export const emitNew = (expr, context) => {
+    const [calleeFrag, newContext] = emitExpression(expr.callee, context);
+    let currentContext = newContext;
+    // Handle generic type arguments
+    let typeArgsStr = "";
+    let finalClassName = calleeFrag.text;
+    if (expr.typeArguments && expr.typeArguments.length > 0) {
+        if (expr.requiresSpecialization) {
+            // Monomorphisation: Generate specialized class name
+            // e.g., new Box<string>() → new Box__string()
+            const [specializedName, specContext] = generateSpecializedName(calleeFrag.text, expr.typeArguments, currentContext);
+            finalClassName = specializedName;
+            currentContext = specContext;
+        }
+        else {
+            // Emit explicit type arguments for generic constructor
+            // e.g., new Box<string>(value)
+            const [typeArgs, typeContext] = emitTypeArguments(expr.typeArguments, currentContext);
+            typeArgsStr = typeArgs;
+            currentContext = typeContext;
+        }
+    }
+    const args = [];
+    for (const arg of expr.arguments) {
+        if (arg.kind === "spread") {
+            const [spreadFrag, ctx] = emitExpression(arg.expression, currentContext);
+            args.push(`params ${spreadFrag.text}`);
+            currentContext = ctx;
+        }
+        else {
+            const [argFrag, ctx] = emitExpression(arg, currentContext);
+            args.push(argFrag.text);
+            currentContext = ctx;
+        }
+    }
+    const text = `new ${finalClassName}${typeArgsStr}(${args.join(", ")})`;
+    return [{ text }, currentContext];
+};
+//# sourceMappingURL=calls.js.map

package/dist/expressions/calls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../src/expressions/calls.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE9E;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC/C,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC;AACpE,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,YAAY,GAAG,CACnB,IAA6C,EAC7C,UAAkB,EACT,EAAE;IACX,0EAA0E;IAC1E,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IACE,CAAC,YAAY;QACb,YAAY,CAAC,IAAI,KAAK,eAAe;QACrC,YAAY,CAAC,IAAI,KAAK,KAAK,EAC3B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qDAAqD;IACrD,MAAM,0BAA0B,GAAG;QACjC,YAAY;QACZ,WAAW;QACX,YAAY;QACZ,UAAU;QACV,UAAU;QACV,WAAW;QACX,UAAU;QACV,UAAU;QACV,6BAA6B;QAC7B,4BAA4B;QAC5B,6BAA6B;KAC9B,CAAC;IAEF,OAAO,0BAA0B,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CACzE,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAA6C,EAC7C,OAAuB,EACW,EAAE;IACpC,mCAAmC;IACnC,uEAAuE;IACvE,IACE,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QACnC,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,EACxC,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAEnD,yBAAyB;QACzB,8CAA8C;QAC9C,8CAA8C;QAC9C,8EAA8E;QAC9E,iDAAiD;QAEjD,MAAM,YAAY,GAChB,UAAU,EAAE,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC;QACvE,MAAM,YAAY,GAChB,UAAU,EAAE,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC;QACvE,MAAM,WAAW,GAAG,UAAU,EAAE,IAAI,KAAK,WAAW,CAAC;QAErD,MAAM,qBAAqB,GAAG,YAAY,IAAI,YAAY,IAAI,WAAW,CAAC;QAE1E,yCAAyC;QACzC,sEAAsE;QACtE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;QAChD,IAAI,qBAAqB,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YAC9C,0CAA0C;YAC1C,8CAA8C;YAC9C,IAAI,YAAoB,CAAC;YACzB,IAAI,YAAY,EAAE,CAAC;gBACjB,YAAY,GAAG,QAAQ,CAAC;YAC1B,CAAC;iBAAM,IAAI,YAAY,EAAE,CAAC;gBACxB,YAAY,GAAG,QAAQ,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,YAAY,GAAG,OAAO,CAAC;YACzB,CAAC;YAED,iFAAiF;YACjF,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAC7C,IAAI,CAAC,MAAM,CAAC,MAAM,EAClB,OAAO,CACR,CAAC;YACF,IAAI,cAAc,GAAG,UAAU,CAAC;YAEhC,MAAM,IAAI,GAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,gCAAgC;YAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG;oBAAE,SAAS,CAAC,gDAAgD;gBACpE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CACtC,GAAG,CAAC,UAAU,EACd,cAAc,CACf,CAAC;oBACF,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;oBACvC,cAAc,GAAG,GAAG,CAAC;gBACvB,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;oBAC3D,iDAAiD;oBACjD,2FAA2F;oBAC3F,yEAAyE;oBACzE,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBAClD,MAAM,MAAM,GACV,WAAW,IAAI,WAAW,KAAK,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC;wBACrD,CAAC,CAAC,GAAG,WAAW,GAAG;wBACnB,CAAC,CAAC,EAAE,CAAC;oBACT,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;oBACtC,cAAc,GAAG,GAAG,CAAC;gBACvB,CAAC;YACH,CAAC;YAED,MAAM,IAAI,GAAG,4BAA4B,YAAY,IAAI,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1F,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,cAAc,GAAG,UAAU,CAAC;IAEhC,gCAAgC;IAChC,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC;IAEtC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,qDAAqD;YACrD,0CAA0C;YAC1C,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,uBAAuB,CAC5D,UAAU,CAAC,IAAI,EACf,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,eAAe,GAAG,eAAe,CAAC;YAClC,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,gDAAgD;YAChD,gCAAgC;YAChC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC/C,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG;YAAE,SAAS,CAAC,gDAAgD;QACpE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,0BAA0B;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACvC,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC3D,iDAAiD;YACjD,yEAAyE;YACzE,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,MAAM,GACV,WAAW,IAAI,WAAW,KAAK,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC;gBACrD,CAAC,CAAC,GAAG,WAAW,GAAG;gBACnB,CAAC,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACtC,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,GAAG,eAAe,GAAG,WAAW,GAAG,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAEjF,6EAA6E;IAC7E,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QAC9C,CAAC,CAAC,QAAQ,QAAQ,EAAE;QACpB,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,IAA4C,EAC5C,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,cAAc,GAAG,UAAU,CAAC;IAEhC,gCAAgC;IAChC,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC;IAErC,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,oDAAoD;YACpD,8CAA8C;YAC9C,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,uBAAuB,CAC5D,UAAU,CAAC,IAAI,EACf,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,cAAc,GAAG,eAAe,CAAC;YACjC,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,uDAAuD;YACvD,+BAA+B;YAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAC/C,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACzE,IAAI,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACvC,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,cAAc,GAAG,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACvE,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC"}

package/dist/expressions/collections.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Collection expression emitters (arrays and objects)
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext, CSharpFragment } from "../types.js";
+/**
+ * Emit an array literal
+ */
+export declare const emitArray: (expr: Extract<IrExpression, {
+    kind: "array";
+}>, context: EmitterContext, expectedType?: IrType) => [CSharpFragment, EmitterContext];
+/**
+ * Emit an object literal
+ *
+ * Handles two cases based on contextual type:
+ * 1. Dictionary type (Record<K,V> or index signature) → Dictionary<string, T> initializer
+ * 2. Nominal type (interface, class) → new TypeName { prop = value, ... }
+ *
+ * Anonymous object types should be caught by validation (TSN7403) before reaching here.
+ */
+export declare const emitObject: (expr: Extract<IrExpression, {
+    kind: "object";
+}>, context: EmitterContext) => [CSharpFragment, EmitterContext];
+//# sourceMappingURL=collections.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../src/expressions/collections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAgB7D;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CAmJjC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CA0CjC,CAAC"}

package/dist/expressions/collections.js

@@ -0,0 +1,254 @@
+/**
+ * Collection expression emitters (arrays and objects)
+ */
+import { emitType } from "../type-emitter.js";
+import { emitExpression } from "../expression-emitter.js";
+/**
+ * Escape a string for use in a C# string literal.
+ * Handles backslashes, quotes, newlines, carriage returns, and tabs.
+ */
+const escapeCSharpString = (str) => str
+    .replace(/\\/g, "\\\\")
+    .replace(/"/g, '\\"')
+    .replace(/\n/g, "\\n")
+    .replace(/\r/g, "\\r")
+    .replace(/\t/g, "\\t");
+/**
+ * Emit an array literal
+ */
+export const emitArray = (expr, context, expectedType) => {
+    let currentContext = context;
+    const elements = [];
+    // Determine element type from expected type or inferred type
+    let elementType = "object";
+    // Check if all elements are literals to infer element type
+    const definedElements = expr.elements.filter((el) => el !== undefined);
+    if (definedElements.length > 0) {
+        const allLiterals = definedElements.every((el) => el.kind === "literal");
+        if (allLiterals) {
+            const literals = definedElements;
+            // Check if all are numbers
+            const allNumbers = literals.every((lit) => typeof lit.value === "number");
+            if (allNumbers) {
+                // TypeScript `number` is always `double` in C#
+                // Even if all literals are integers, use double for TS semantics
+                elementType = "double";
+            }
+            // Check if all are strings
+            else if (literals.every((lit) => typeof lit.value === "string")) {
+                elementType = "string";
+            }
+            // Check if all are booleans
+            else if (literals.every((lit) => typeof lit.value === "boolean")) {
+                elementType = "bool";
+            }
+        }
+    }
+    // Use expected/inferred type if available (takes precedence over literal inference)
+    if (expectedType) {
+        if (expectedType.kind === "arrayType") {
+            const [elemTypeStr, newContext] = emitType(expectedType.elementType, currentContext);
+            elementType = elemTypeStr;
+            currentContext = newContext;
+        }
+        else if (expectedType.kind === "referenceType" &&
+            expectedType.name === "Array" &&
+            expectedType.typeArguments &&
+            expectedType.typeArguments.length > 0) {
+            const firstArg = expectedType.typeArguments[0];
+            if (firstArg) {
+                const [elemTypeStr, newContext] = emitType(firstArg, currentContext);
+                elementType = elemTypeStr;
+                currentContext = newContext;
+            }
+        }
+    }
+    // If no expectedType, try to use the inferredType from the expression
+    else if (expr.inferredType && expr.inferredType.kind === "arrayType") {
+        // Only use inferredType if we didn't already determine the type from literals
+        if (elementType === "object") {
+            const [elemTypeStr, newContext] = emitType(expr.inferredType.elementType, currentContext);
+            elementType = elemTypeStr;
+            currentContext = newContext;
+        }
+    }
+    // Check if array contains only spread elements (e.g., [...arr1, ...arr2])
+    const allSpreads = expr.elements.every((el) => el !== undefined && el.kind === "spread");
+    if (allSpreads && expr.elements.length > 0) {
+        // Emit as chained Enumerable.Concat calls using explicit static invocation
+        // Note: Concat returns IEnumerable<T>, so wrap in Enumerable.ToList() at the end
+        const spreadElements = expr.elements.filter((el) => el !== undefined && el.kind === "spread");
+        const firstSpread = spreadElements[0];
+        if (!firstSpread) {
+            // Should never happen due to allSpreads check, but satisfy TypeScript
+            return [
+                { text: "new global::System.Collections.Generic.List<object>()" },
+                currentContext,
+            ];
+        }
+        const [firstFrag, firstContext] = emitExpression(firstSpread.expression, currentContext);
+        currentContext = firstContext;
+        let result = firstFrag.text;
+        for (let i = 1; i < spreadElements.length; i++) {
+            const spread = spreadElements[i];
+            if (spread) {
+                const [spreadFrag, newContext] = emitExpression(spread.expression, currentContext);
+                // Use explicit static call for extension method
+                result = `global::System.Linq.Enumerable.Concat(${result}, ${spreadFrag.text})`;
+                currentContext = newContext;
+            }
+        }
+        // Wrap in Enumerable.ToList() using explicit static call
+        return [
+            { text: `global::System.Linq.Enumerable.ToList(${result})` },
+            currentContext,
+        ];
+    }
+    // Regular array or mixed spreads/elements
+    for (const element of expr.elements) {
+        if (element === undefined) {
+            // Sparse array hole - fill with default value
+            elements.push("default");
+        }
+        else if (element.kind === "spread") {
+            // Spread mixed with other elements - not yet supported
+            elements.push("/* ...spread */");
+        }
+        else {
+            const [elemFrag, newContext] = emitExpression(element, currentContext);
+            elements.push(elemFrag.text);
+            currentContext = newContext;
+        }
+    }
+    // Use constructor syntax for empty arrays, initializer syntax for non-empty
+    const text = elements.length === 0
+        ? `new global::System.Collections.Generic.List<${elementType}>()`
+        : `new global::System.Collections.Generic.List<${elementType}> { ${elements.join(", ")} }`;
+    return [{ text }, currentContext];
+};
+/**
+ * Emit an object literal
+ *
+ * Handles two cases based on contextual type:
+ * 1. Dictionary type (Record<K,V> or index signature) → Dictionary<string, T> initializer
+ * 2. Nominal type (interface, class) → new TypeName { prop = value, ... }
+ *
+ * Anonymous object types should be caught by validation (TSN7403) before reaching here.
+ */
+export const emitObject = (expr, context) => {
+    let currentContext = context;
+    // Check if contextual type is a dictionary type
+    if (expr.contextualType?.kind === "dictionaryType") {
+        return emitDictionaryLiteral(expr, currentContext);
+    }
+    // Regular object literal with nominal type
+    const properties = [];
+    for (const prop of expr.properties) {
+        if (prop.kind === "spread") {
+            // Spread in object literal - needs special handling
+            properties.push("/* ...spread */");
+        }
+        else {
+            const key = typeof prop.key === "string" ? prop.key : "/* computed */";
+            const [valueFrag, newContext] = emitExpression(prop.value, currentContext);
+            properties.push(`${key} = ${valueFrag.text}`);
+            currentContext = newContext;
+        }
+    }
+    // Check for contextual type (from return type, variable annotation, etc.)
+    // If present, emit `new TypeName { ... }` instead of anonymous `new { ... }`
+    const [typeName, finalContext] = resolveContextualType(expr.contextualType, currentContext);
+    if (!typeName) {
+        // ICE: Validation (TSN7403) should have caught anonymous object literals
+        throw new Error("ICE: Object literal without contextual type reached emitter - validation missed TSN7403");
+    }
+    const text = `new ${typeName} { ${properties.join(", ")} }`;
+    return [{ text }, finalContext];
+};
+/**
+ * Emit a dictionary literal using C# collection initializer syntax.
+ *
+ * Input:  const d: Record<string, number> = { a: 1, b: 2 };
+ * Output: new Dictionary<string, double> { ["a"] = 1.0, ["b"] = 2.0 }
+ */
+const emitDictionaryLiteral = (expr, context) => {
+    let currentContext = context;
+    const dictType = expr.contextualType;
+    // Get key and value type strings
+    const [keyTypeStr, ctx1] = emitDictKeyType(dictType.keyType, currentContext);
+    const [valueTypeStr, ctx2] = emitType(dictType.valueType, ctx1);
+    currentContext = ctx2;
+    // Emit dictionary entries
+    const entries = [];
+    for (const prop of expr.properties) {
+        if (prop.kind === "spread") {
+            // Spread in dictionary literal - not supported
+            throw new Error("ICE: Spread in dictionary literal not supported");
+        }
+        else {
+            // Key must be a string literal for dictionary initialization
+            if (typeof prop.key !== "string") {
+                throw new Error("ICE: Computed property key in dictionary literal - validation gap");
+            }
+            const [valueFrag, newContext] = emitExpression(prop.value, currentContext);
+            entries.push(`["${escapeCSharpString(prop.key)}"] = ${valueFrag.text}`);
+            currentContext = newContext;
+        }
+    }
+    const text = entries.length === 0
+        ? `new global::System.Collections.Generic.Dictionary<${keyTypeStr}, ${valueTypeStr}>()`
+        : `new global::System.Collections.Generic.Dictionary<${keyTypeStr}, ${valueTypeStr}> { ${entries.join(", ")} }`;
+    return [{ text }, currentContext];
+};
+/**
+ * Emit dictionary key type.
+ * TS dictionaries only support string keys (enforced by TSN7413).
+ */
+const emitDictKeyType = (keyType, context) => {
+    if (keyType.kind === "primitiveType" && keyType.name === "string") {
+        return ["string", context];
+    }
+    // ICE: Only string keys allowed (enforced by TSN7413)
+    throw new Error(`ICE: Non-string dictionary key type reached emitter - validation missed TSN7413. Got: ${keyType.kind}`);
+};
+/**
+ * Resolve contextual type to C# type string.
+ * Uses emitType to properly handle generic type arguments.
+ * For imported types, qualifies using importBindings.
+ */
+const resolveContextualType = (contextualType, context) => {
+    if (!contextualType) {
+        return [undefined, context];
+    }
+    // For reference types, check if imported and qualify if needed
+    if (contextualType.kind === "referenceType") {
+        const typeName = contextualType.name;
+        const importBinding = context.importBindings?.get(typeName);
+        if (importBinding && importBinding.kind === "type") {
+            // Imported type - use qualified name from binding
+            // Emit type arguments if present
+            if (contextualType.typeArguments &&
+                contextualType.typeArguments.length > 0) {
+                let currentContext = context;
+                const typeArgStrs = [];
+                for (const typeArg of contextualType.typeArguments) {
+                    const [typeArgStr, newContext] = emitType(typeArg, currentContext);
+                    typeArgStrs.push(typeArgStr);
+                    currentContext = newContext;
+                }
+                return [
+                    `${importBinding.clrName}<${typeArgStrs.join(", ")}>`,
+                    currentContext,
+                ];
+            }
+            return [importBinding.clrName, context];
+        }
+        // Local type - use emitType to handle type arguments
+        const [typeStr, newContext] = emitType(contextualType, context);
+        return [typeStr, newContext];
+    }
+    // For other types, use standard emitType
+    const [typeStr, newContext] = emitType(contextualType, context);
+    return [typeStr, newContext];
+};
+//# sourceMappingURL=collections.js.map

package/dist/expressions/collections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collections.js","sourceRoot":"","sources":["../../src/expressions/collections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE1D;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CAAC,GAAW,EAAU,EAAE,CACjD,GAAG;KACA,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;KACtB,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;KACpB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAE3B;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACvB,YAAqB,EACa,EAAE;IACpC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,6DAA6D;IAC7D,IAAI,WAAW,GAAG,QAAQ,CAAC;IAE3B,2DAA2D;IAC3D,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAC1C,CAAC,EAAE,EAAsB,EAAE,CAAC,EAAE,KAAK,SAAS,CAC7C,CAAC;IAEF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAEzE,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,eAGd,CAAC;YAEJ,2BAA2B;YAC3B,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;YAE1E,IAAI,UAAU,EAAE,CAAC;gBACf,+CAA+C;gBAC/C,iEAAiE;gBACjE,WAAW,GAAG,QAAQ,CAAC;YACzB,CAAC;YACD,2BAA2B;iBACtB,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAChE,WAAW,GAAG,QAAQ,CAAC;YACzB,CAAC;YACD,4BAA4B;iBACvB,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;gBACjE,WAAW,GAAG,MAAM,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IAED,oFAAoF;IACpF,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACtC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,QAAQ,CACxC,YAAY,CAAC,WAAW,EACxB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,WAAW,CAAC;YAC1B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;aAAM,IACL,YAAY,CAAC,IAAI,KAAK,eAAe;YACrC,YAAY,CAAC,IAAI,KAAK,OAAO;YAC7B,YAAY,CAAC,aAAa;YAC1B,YAAY,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACrC,CAAC;YACD,MAAM,QAAQ,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;gBACrE,WAAW,GAAG,WAAW,CAAC;gBAC1B,cAAc,GAAG,UAAU,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IACD,sEAAsE;SACjE,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrE,8EAA8E;QAC9E,IAAI,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC7B,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,QAAQ,CACxC,IAAI,CAAC,YAAY,CAAC,WAAW,EAC7B,cAAc,CACf,CAAC;YACF,WAAW,GAAG,WAAW,CAAC;YAC1B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,CACjD,CAAC;IAEF,IAAI,UAAU,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,2EAA2E;QAC3E,iFAAiF;QACjF,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,EAAE,EAAmD,EAAE,CACtD,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,CAC3C,CAAC;QAEF,MAAM,WAAW,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,sEAAsE;YACtE,OAAO;gBACL,EAAE,IAAI,EAAE,uDAAuD,EAAE;gBACjE,cAAc;aACf,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,cAAc,CAC9C,WAAW,CAAC,UAAU,EACtB,cAAc,CACf,CAAC;QACF,cAAc,GAAG,YAAY,CAAC;QAE9B,IAAI,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,cAAc,CAC7C,MAAM,CAAC,UAAU,EACjB,cAAc,CACf,CAAC;gBACF,gDAAgD;gBAChD,MAAM,GAAG,yCAAyC,MAAM,KAAK,UAAU,CAAC,IAAI,GAAG,CAAC;gBAChF,cAAc,GAAG,UAAU,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,yDAAyD;QACzD,OAAO;YACL,EAAE,IAAI,EAAE,yCAAyC,MAAM,GAAG,EAAE;YAC5D,cAAc;SACf,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,8CAA8C;YAC9C,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3B,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrC,uDAAuD;YACvD,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;YACvE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC7B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,MAAM,IAAI,GACR,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnB,CAAC,CAAC,+CAA+C,WAAW,KAAK;QACjE,CAAC,CAAC,+CAA+C,WAAW,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAE/F,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACW,EAAE;IACpC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,gDAAgD;IAChD,IAAI,IAAI,CAAC,cAAc,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnD,OAAO,qBAAqB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACrD,CAAC;IAED,2CAA2C;IAC3C,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,oDAAoD;YACpD,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC;YACvE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,KAAK,EACV,cAAc,CACf,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9C,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,6EAA6E;IAC7E,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,qBAAqB,CACpD,IAAI,CAAC,cAAc,EACnB,cAAc,CACf,CAAC;IAEF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,yEAAyE;QACzE,MAAM,IAAI,KAAK,CACb,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,QAAQ,MAAM,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5D,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,CAC5B,IAA+C,EAC/C,OAAuB,EACW,EAAE;IACpC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,MAAM,QAAQ,GAAG,IAAI,CAAC,cAGrB,CAAC;IAEF,iCAAiC;IACjC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,eAAe,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IAC7E,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAChE,cAAc,GAAG,IAAI,CAAC;IAEtB,0BAA0B;IAC1B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,+CAA+C;YAC/C,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACrE,CAAC;aAAM,CAAC;YACN,6DAA6D;YAC7D,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CACb,mEAAmE,CACpE,CAAC;YACJ,CAAC;YAED,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,KAAK,EACV,cAAc,CACf,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,KAAK,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YACxE,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GACR,OAAO,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,CAAC,qDAAqD,UAAU,KAAK,YAAY,KAAK;QACvF,CAAC,CAAC,qDAAqD,UAAU,KAAK,YAAY,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAEpH,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,eAAe,GAAG,CACtB,OAAe,EACf,OAAuB,EACG,EAAE;IAC5B,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,sDAAsD;IACtD,MAAM,IAAI,KAAK,CACb,yFAAyF,OAAO,CAAC,IAAI,EAAE,CACxG,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,qBAAqB,GAAG,CAC5B,cAAkC,EAClC,OAAuB,EACe,EAAE;IACxC,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,+DAA+D;IAC/D,IAAI,cAAc,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC;QACrC,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QAE5D,IAAI,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnD,kDAAkD;YAClD,iCAAiC;YACjC,IACE,cAAc,CAAC,aAAa;gBAC5B,cAAc,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACvC,CAAC;gBACD,IAAI,cAAc,GAAG,OAAO,CAAC;gBAC7B,MAAM,WAAW,GAAa,EAAE,CAAC;gBACjC,KAAK,MAAM,OAAO,IAAI,cAAc,CAAC,aAAa,EAAE,CAAC;oBACnD,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;oBACnE,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC7B,cAAc,GAAG,UAAU,CAAC;gBAC9B,CAAC;gBACD,OAAO;oBACL,GAAG,aAAa,CAAC,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBACrD,cAAc;iBACf,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QAED,qDAAqD;QACrD,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAChE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/B,CAAC;IAED,yCAAyC;IACzC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IAChE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAC/B,CAAC,CAAC"}

package/dist/expressions/functions.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Function expression emitters (function expressions and arrow functions)
+ */
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext, CSharpFragment } from "../types.js";
+/**
+ * Emit a function expression (placeholder for now)
+ */
+export declare const emitFunctionExpression: (_expr: Extract<IrExpression, {
+    kind: "functionExpression";
+}>, context: EmitterContext) => [CSharpFragment, EmitterContext];
+/**
+ * Emit an arrow function as C# lambda
+ */
+export declare const emitArrowFunction: (expr: Extract<IrExpression, {
+    kind: "arrowFunction";
+}>, context: EmitterContext) => [CSharpFragment, EmitterContext];
+//# sourceMappingURL=functions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/expressions/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAU,MAAM,aAAa,CAAC;AAIrE;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE,CAAC,EAC5D,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CAKjC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EACtD,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CA0CjC,CAAC"}