@tsonic/emitter 0.0.1 → 0.0.2

package/dist/types/literals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../src/types/literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAA8C,EAC9C,OAAuB,EACG,EAAE;IAC5B,2CAA2C;IAC3C,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC7B,CAAC,CAAC"}

package/{src/types/objects.ts → dist/types/objects.d.ts}

@@ -6,22 +6,15 @@
  *
  * Named types (interfaces, type aliases, classes) become IrReferenceType instead.
  */
-
 import { IrType } from "@tsonic/frontend";
 import { EmitterContext } from "../types.js";
-
 /**
  * Emit object types
  *
  * ICE: This should never be called. Frontend validation (TSN7403) should
  * reject anonymous object types. If we reach here, validation has a gap.
  */
-export const emitObjectType = (
-  _type: Extract<IrType, { kind: "objectType" }>,
-  _context: EmitterContext
-): [string, EmitterContext] => {
-  // ICE: Frontend validation (TSN7403) should have caught this.
-  throw new Error(
-    "ICE: Anonymous object type reached emitter - validation missed TSN7403"
-  );
-};
+export declare const emitObjectType: (_type: Extract<IrType, {
+    kind: "objectType";
+}>, _context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=objects.d.ts.map

package/dist/types/objects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"objects.d.ts","sourceRoot":"","sources":["../../src/types/objects.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,OAAO,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EAC9C,UAAU,cAAc,KACvB,CAAC,MAAM,EAAE,cAAc,CAKzB,CAAC"}

package/dist/types/objects.js

@@ -0,0 +1,19 @@
+/**
+ * Object type emission
+ *
+ * IrObjectType represents anonymous object types like `{ x: number }`.
+ * These should be caught by frontend validation (TSN7403) and never reach the emitter.
+ *
+ * Named types (interfaces, type aliases, classes) become IrReferenceType instead.
+ */
+/**
+ * Emit object types
+ *
+ * ICE: This should never be called. Frontend validation (TSN7403) should
+ * reject anonymous object types. If we reach here, validation has a gap.
+ */
+export const emitObjectType = (_type, _context) => {
+    // ICE: Frontend validation (TSN7403) should have caught this.
+    throw new Error("ICE: Anonymous object type reached emitter - validation missed TSN7403");
+};
+//# sourceMappingURL=objects.js.map

package/dist/types/objects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"objects.js","sourceRoot":"","sources":["../../src/types/objects.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAA8C,EAC9C,QAAwB,EACE,EAAE;IAC5B,8DAA8D;IAC9D,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;AACJ,CAAC,CAAC"}

package/dist/types/parameters.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Type parameter and parameter type emission
+ */
+import { IrType, IrTypeParameter } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit C# type parameters with constraints
+ * Example: <T, U extends Foo> → <T, U> with where clauses
+ */
+export declare const emitTypeParameters: (typeParams: readonly IrTypeParameter[] | undefined, context: EmitterContext) => [string, string[], EmitterContext];
+/**
+ * Emit a parameter type with optional and default value handling
+ */
+export declare const emitParameterType: (type: IrType | undefined, isOptional: boolean, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=parameters.d.ts.map

package/dist/types/parameters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameters.d.ts","sourceRoot":"","sources":["../../src/types/parameters.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,YAAY,SAAS,eAAe,EAAE,GAAG,SAAS,EAClD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,cAAc,CA+BnC,CAAC;AAwBF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,OAAO,EACnB,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAiBzB,CAAC"}

package/dist/types/parameters.js

@@ -0,0 +1,69 @@
+/**
+ * Type parameter and parameter type emission
+ */
+import { emitType } from "./emitter.js";
+/**
+ * Emit C# type parameters with constraints
+ * Example: <T, U extends Foo> → <T, U> with where clauses
+ */
+export const emitTypeParameters = (typeParams, context) => {
+    if (!typeParams || typeParams.length === 0) {
+        return ["", [], context];
+    }
+    const paramNames = typeParams.map((tp) => tp.name).join(", ");
+    const typeParamsStr = `<${paramNames}>`;
+    // Build where clauses for constraints
+    const whereClauses = [];
+    let currentContext = context;
+    for (const tp of typeParams) {
+        if (tp.constraint) {
+            // Handle structural constraints specially - they generate adapter interfaces
+            // Don't call emitType on objectType constraints (would trigger ICE)
+            if (tp.isStructuralConstraint) {
+                // Structural constraints generate interfaces - reference them
+                whereClauses.push(`where ${tp.name} : __Constraint_${tp.name}`);
+            }
+            else {
+                const [constraintStr, newContext] = emitType(tp.constraint, currentContext);
+                currentContext = newContext;
+                whereClauses.push(`where ${tp.name} : ${constraintStr}`);
+            }
+        }
+    }
+    return [typeParamsStr, whereClauses, currentContext];
+};
+/**
+ * Check if a type is a ref/out/in wrapper type and return the inner type
+ */
+const unwrapParameterModifierType = (type) => {
+    if (type.kind !== "referenceType") {
+        return null;
+    }
+    const name = type.name;
+    // Check for wrapper types: out<T>, ref<T>, In<T>
+    if ((name === "out" || name === "ref" || name === "In") &&
+        type.typeArguments &&
+        type.typeArguments.length === 1) {
+        const innerType = type.typeArguments[0];
+        return innerType ?? null;
+    }
+    return null;
+};
+/**
+ * Emit a parameter type with optional and default value handling
+ */
+export const emitParameterType = (type, isOptional, context) => {
+    const typeNode = type ?? { kind: "anyType" };
+    // Unwrap ref/out/in wrapper types - the modifier is handled separately
+    const unwrapped = unwrapParameterModifierType(typeNode);
+    const actualType = unwrapped ?? typeNode;
+    const [baseType, newContext] = emitType(actualType, context);
+    // For optional parameters, add ? suffix for nullable types
+    // This includes both value types (double?, int?) and reference types (string?)
+    // per spec/04-type-mappings.md:21-78
+    if (isOptional) {
+        return [`${baseType}?`, newContext];
+    }
+    return [baseType, newContext];
+};
+//# sourceMappingURL=parameters.js.map

package/dist/types/parameters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameters.js","sourceRoot":"","sources":["../../src/types/parameters.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,UAAkD,EAClD,OAAuB,EACa,EAAE;IACtC,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,aAAa,GAAG,IAAI,UAAU,GAAG,CAAC;IAExC,sCAAsC;IACtC,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAClB,6EAA6E;YAC7E,oEAAoE;YACpE,IAAI,EAAE,CAAC,sBAAsB,EAAE,CAAC;gBAC9B,8DAA8D;gBAC9D,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,mBAAmB,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAClE,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,GAAG,QAAQ,CAC1C,EAAE,CAAC,UAAU,EACb,cAAc,CACf,CAAC;gBACF,cAAc,GAAG,UAAU,CAAC;gBAC5B,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,MAAM,aAAa,EAAE,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,aAAa,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,2BAA2B,GAAG,CAAC,IAAY,EAAiB,EAAE;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,iDAAiD;IACjD,IACE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,IAAI,CAAC;QACnD,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACxC,OAAO,SAAS,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAwB,EACxB,UAAmB,EACnB,OAAuB,EACG,EAAE;IAC5B,MAAM,QAAQ,GAAG,IAAI,IAAI,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;IAEtD,uEAAuE;IACvE,MAAM,SAAS,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,SAAS,IAAI,QAAQ,CAAC;IAEzC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE7D,2DAA2D;IAC3D,+EAA+E;IAC/E,qCAAqC;IACrC,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,QAAQ,GAAG,EAAE,UAAU,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC"}

package/dist/types/parameters.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Test ref/out/in parameter emission
+ */
+export {};
+//# sourceMappingURL=parameters.test.d.ts.map

package/dist/types/parameters.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameters.test.d.ts","sourceRoot":"","sources":["../../src/types/parameters.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/parameters.test.js

@@ -0,0 +1,135 @@
+/**
+ * Test ref/out/in parameter emission
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitParameters } from "../statements/classes/parameters.js";
+describe("Parameter modifiers (ref/out/in)", () => {
+    const baseContext = {
+        indentLevel: 0,
+        isStatic: false,
+        isAsync: false,
+        options: { runtime: "dotnet", rootNamespace: "Test" },
+    };
+    it("should emit out parameter with out modifier", () => {
+        const params = [
+            {
+                kind: "parameter",
+                pattern: { kind: "identifierPattern", name: "result" },
+                type: {
+                    kind: "referenceType",
+                    name: "out",
+                    typeArguments: [
+                        {
+                            kind: "referenceType",
+                            name: "int",
+                        },
+                    ],
+                },
+                isOptional: false,
+                isRest: false,
+                passing: "out",
+            },
+        ];
+        const [emitted, _context] = emitParameters(params, baseContext);
+        expect(emitted).to.equal("out int result");
+    });
+    it("should emit ref parameter with ref modifier", () => {
+        const params = [
+            {
+                kind: "parameter",
+                pattern: { kind: "identifierPattern", name: "value" },
+                type: {
+                    kind: "referenceType",
+                    name: "ref",
+                    typeArguments: [
+                        {
+                            kind: "referenceType",
+                            name: "int",
+                        },
+                    ],
+                },
+                isOptional: false,
+                isRest: false,
+                passing: "ref",
+            },
+        ];
+        const [emitted, _context] = emitParameters(params, baseContext);
+        expect(emitted).to.equal("ref int value");
+    });
+    it("should emit in parameter with in modifier", () => {
+        const params = [
+            {
+                kind: "parameter",
+                pattern: { kind: "identifierPattern", name: "value" },
+                type: {
+                    kind: "referenceType",
+                    name: "In",
+                    typeArguments: [
+                        {
+                            kind: "referenceType",
+                            name: "int",
+                        },
+                    ],
+                },
+                isOptional: false,
+                isRest: false,
+                passing: "in",
+            },
+        ];
+        const [emitted, _context] = emitParameters(params, baseContext);
+        expect(emitted).to.equal("in int value");
+    });
+    it("should emit multiple parameters with mixed modifiers", () => {
+        const params = [
+            {
+                kind: "parameter",
+                pattern: { kind: "identifierPattern", name: "input" },
+                type: {
+                    kind: "referenceType",
+                    name: "int",
+                },
+                isOptional: false,
+                isRest: false,
+                passing: "value",
+            },
+            {
+                kind: "parameter",
+                pattern: { kind: "identifierPattern", name: "output" },
+                type: {
+                    kind: "referenceType",
+                    name: "out",
+                    typeArguments: [
+                        {
+                            kind: "referenceType",
+                            name: "int",
+                        },
+                    ],
+                },
+                isOptional: false,
+                isRest: false,
+                passing: "out",
+            },
+            {
+                kind: "parameter",
+                pattern: { kind: "identifierPattern", name: "counter" },
+                type: {
+                    kind: "referenceType",
+                    name: "ref",
+                    typeArguments: [
+                        {
+                            kind: "referenceType",
+                            name: "int",
+                        },
+                    ],
+                },
+                isOptional: false,
+                isRest: false,
+                passing: "ref",
+            },
+        ];
+        const [emitted, _context] = emitParameters(params, baseContext);
+        expect(emitted).to.equal("int input, out int output, ref int counter");
+    });
+});
+//# sourceMappingURL=parameters.test.js.map

package/dist/types/parameters.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameters.test.js","sourceRoot":"","sources":["../../src/types/parameters.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAIrE,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,MAAM,WAAW,GAAmB;QAClC,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE;KACtD,CAAC;IAEF,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAChE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAChE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,IAAI;oBACV,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,IAAI;aACd;SACF,CAAC;QAEF,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAChE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;iBACZ;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,OAAO;aACjB;YACD;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;YACD;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;gBACvD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAChE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/primitives.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Primitive type emission
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit primitive types (number, string, boolean, null, undefined)
+ */
+export declare const emitPrimitiveType: (type: Extract<IrType, {
+    kind: "primitiveType";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=primitives.d.ts.map

package/dist/types/primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAUzB,CAAC"}

package/dist/types/primitives.js

@@ -0,0 +1,17 @@
+/**
+ * Primitive type emission
+ */
+/**
+ * Emit primitive types (number, string, boolean, null, undefined)
+ */
+export const emitPrimitiveType = (type, context) => {
+    const typeMap = {
+        number: "double",
+        string: "string",
+        boolean: "bool",
+        null: "object",
+        undefined: "object",
+    };
+    return [typeMap[type.name] ?? "object", context];
+};
+//# sourceMappingURL=primitives.js.map

package/dist/types/primitives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAgD,EAChD,OAAuB,EACG,EAAE;IAC5B,MAAM,OAAO,GAA2B;QACtC,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,QAAQ;QACd,SAAS,EAAE,QAAQ;KACpB,CAAC;IAEF,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,OAAO,CAAC,CAAC;AACnD,CAAC,CAAC"}

package/dist/types/references.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Reference type emission (Array, Promise, Error, etc.)
+ *
+ * All types are emitted with global:: prefix for unambiguous resolution.
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit reference types with type arguments
+ */
+export declare const emitReferenceType: (type: Extract<IrType, {
+    kind: "referenceType";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=references.d.ts.map

package/dist/types/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../src/types/references.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAiC7C;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CA4IzB,CAAC"}

package/dist/types/references.js

@@ -0,0 +1,154 @@
+/**
+ * Reference type emission (Array, Promise, Error, etc.)
+ *
+ * All types are emitted with global:: prefix for unambiguous resolution.
+ */
+import { emitType } from "./emitter.js";
+import { isNestedType, tsCSharpNestedTypeName, } from "@tsonic/frontend/types/nested-types.js";
+/**
+ * Check if a type name indicates an unsupported support type.
+ *
+ * TODO: This is a basic check. Full implementation requires:
+ * 1. Access to TypeScript type checker
+ * 2. Integration with support-types.ts helpers
+ * 3. Proper diagnostic reporting
+ *
+ * For now, we check the type name string.
+ */
+const checkUnsupportedSupportType = (typeName) => {
+    if (typeName === "TSUnsafePointer" ||
+        typeName.startsWith("TSUnsafePointer<")) {
+        return "Unsafe pointers are not supported in Tsonic. Use IntPtr for opaque handles.";
+    }
+    if (typeName === "TSFixed" || typeName.startsWith("TSFixed<")) {
+        return "Fixed-size buffers (unsafe feature) are not supported. Use arrays or Span<T> instead.";
+    }
+    if (typeName === "TSStackAlloc" || typeName.startsWith("TSStackAlloc<")) {
+        return "stackalloc is not supported in Tsonic. Use heap-allocated arrays instead.";
+    }
+    return undefined;
+};
+/**
+ * Emit reference types with type arguments
+ */
+export const emitReferenceType = (type, context) => {
+    const { name, typeArguments, resolvedClrType } = type;
+    // If the type has a pre-resolved CLR type (from IR), use it
+    if (resolvedClrType) {
+        if (typeArguments && typeArguments.length > 0) {
+            const typeParams = [];
+            let currentContext = context;
+            for (const typeArg of typeArguments) {
+                const [paramType, newContext] = emitType(typeArg, currentContext);
+                typeParams.push(paramType);
+                currentContext = newContext;
+            }
+            return [`${resolvedClrType}<${typeParams.join(", ")}>`, currentContext];
+        }
+        return [resolvedClrType, context];
+    }
+    // Check if this type is imported - use pre-computed CLR name directly
+    const importBinding = context.importBindings?.get(name);
+    if (importBinding) {
+        // Use clrName directly - all resolution was done when building the binding
+        // For type imports: clrName is the type's FQN (e.g., "MultiFileTypes.models.User")
+        // For value imports: clrName is container, member is the export name
+        // Note: Type references should only match type bindings; value bindings
+        // appearing here would be a bug (referencing a function as a type)
+        const qualifiedName = importBinding.kind === "type"
+            ? importBinding.clrName
+            : importBinding.member
+                ? `${importBinding.clrName}.${importBinding.member}`
+                : importBinding.clrName;
+        if (typeArguments && typeArguments.length > 0) {
+            const typeParams = [];
+            let currentContext = context;
+            for (const typeArg of typeArguments) {
+                const [paramType, newContext] = emitType(typeArg, currentContext);
+                typeParams.push(paramType);
+                currentContext = newContext;
+            }
+            return [`${qualifiedName}<${typeParams.join(", ")}>`, currentContext];
+        }
+        return [qualifiedName, context];
+    }
+    // Check for unsupported support types
+    const unsupportedError = checkUnsupportedSupportType(name);
+    if (unsupportedError) {
+        // TODO: Report diagnostic error instead of throwing
+        // For now, emit a comment to make the error visible in generated code
+        console.warn(`[Tsonic] ${unsupportedError}`);
+        return [`/* ERROR: ${unsupportedError} */ object`, context];
+    }
+    // Handle built-in types
+    if (name === "Array" && typeArguments && typeArguments.length > 0) {
+        const firstArg = typeArguments[0];
+        if (!firstArg) {
+            return [`global::System.Collections.Generic.List<object>`, context];
+        }
+        const [elementType, newContext] = emitType(firstArg, context);
+        return [
+            `global::System.Collections.Generic.List<${elementType}>`,
+            newContext,
+        ];
+    }
+    if (name === "Promise" && typeArguments && typeArguments.length > 0) {
+        const firstArg = typeArguments[0];
+        if (!firstArg) {
+            return [`global::System.Threading.Tasks.Task`, context];
+        }
+        const [elementType, newContext] = emitType(firstArg, context);
+        // Promise<void> should map to Task (not Task<void>)
+        if (elementType === "void") {
+            return [`global::System.Threading.Tasks.Task`, newContext];
+        }
+        return [`global::System.Threading.Tasks.Task<${elementType}>`, newContext];
+    }
+    if (name === "Promise") {
+        return ["global::System.Threading.Tasks.Task", context];
+    }
+    // Map common JS types to .NET equivalents
+    // Note: Date, RegExp, Map, Set are NOT SUPPORTED in MVP
+    // Users should use System.DateTime, System.Text.RegularExpressions.Regex,
+    // Dictionary<K,V>, and HashSet<T> directly
+    const runtimeTypes = {
+        Error: "System.Exception",
+    };
+    if (name in runtimeTypes) {
+        const csharpType = runtimeTypes[name];
+        if (!csharpType) {
+            return [name, context];
+        }
+        // Always emit with global:: prefix for unambiguous resolution
+        const fqnType = `global::${csharpType}`;
+        if (typeArguments && typeArguments.length > 0) {
+            const typeParams = [];
+            let currentContext = context;
+            for (const typeArg of typeArguments) {
+                const [paramType, newContext] = emitType(typeArg, currentContext);
+                typeParams.push(paramType);
+                currentContext = newContext;
+            }
+            return [`${fqnType}<${typeParams.join(", ")}>`, currentContext];
+        }
+        return [fqnType, context];
+    }
+    // Handle type arguments for other reference types
+    if (typeArguments && typeArguments.length > 0) {
+        const typeParams = [];
+        let currentContext = context;
+        for (const typeArg of typeArguments) {
+            const [paramType, newContext] = emitType(typeArg, currentContext);
+            typeParams.push(paramType);
+            currentContext = newContext;
+        }
+        // Convert nested type names (Outer$Inner → Outer.Inner)
+        const csharpName = isNestedType(name) ? tsCSharpNestedTypeName(name) : name;
+        return [`${csharpName}<${typeParams.join(", ")}>`, currentContext];
+    }
+    // Convert nested type names (Outer$Inner → Outer.Inner)
+    // before returning the name
+    const csharpName = isNestedType(name) ? tsCSharpNestedTypeName(name) : name;
+    return [csharpName, context];
+};
+//# sourceMappingURL=references.js.map

package/dist/types/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../../src/types/references.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EACL,YAAY,EACZ,sBAAsB,GACvB,MAAM,wCAAwC,CAAC;AAEhD;;;;;;;;;GASG;AACH,MAAM,2BAA2B,GAAG,CAAC,QAAgB,EAAsB,EAAE;IAC3E,IACE,QAAQ,KAAK,iBAAiB;QAC9B,QAAQ,CAAC,UAAU,CAAC,kBAAkB,CAAC,EACvC,CAAC;QACD,OAAO,6EAA6E,CAAC;IACvF,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9D,OAAO,uFAAuF,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,KAAK,cAAc,IAAI,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACxE,OAAO,2EAA2E,CAAC;IACrF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAgD,EAChD,OAAuB,EACG,EAAE;IAC5B,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC;IAEtD,4DAA4D;IAC5D,IAAI,eAAe,EAAE,CAAC;QACpB,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,IAAI,cAAc,GAAG,OAAO,CAAC;YAC7B,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;gBACpC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;gBAClE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3B,cAAc,GAAG,UAAU,CAAC;YAC9B,CAAC;YACD,OAAO,CAAC,GAAG,eAAe,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC;IAED,sEAAsE;IACtE,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,aAAa,EAAE,CAAC;QAClB,2EAA2E;QAC3E,mFAAmF;QACnF,qEAAqE;QACrE,wEAAwE;QACxE,mEAAmE;QACnE,MAAM,aAAa,GACjB,aAAa,CAAC,IAAI,KAAK,MAAM;YAC3B,CAAC,CAAC,aAAa,CAAC,OAAO;YACvB,CAAC,CAAC,aAAa,CAAC,MAAM;gBACpB,CAAC,CAAC,GAAG,aAAa,CAAC,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE;gBACpD,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC;QAE9B,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,IAAI,cAAc,GAAG,OAAO,CAAC;YAC7B,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;gBACpC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;gBAClE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3B,cAAc,GAAG,UAAU,CAAC;YAC9B,CAAC;YACD,OAAO,CAAC,GAAG,aAAa,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACxE,CAAC;QACD,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC;IAED,sCAAsC;IACtC,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,gBAAgB,EAAE,CAAC;QACrB,oDAAoD;QACpD,sEAAsE;QACtE,OAAO,CAAC,IAAI,CAAC,YAAY,gBAAgB,EAAE,CAAC,CAAC;QAC7C,OAAO,CAAC,aAAa,gBAAgB,YAAY,EAAE,OAAO,CAAC,CAAC;IAC9D,CAAC;IAED,wBAAwB;IACxB,IAAI,IAAI,KAAK,OAAO,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,iDAAiD,EAAE,OAAO,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,OAAO;YACL,2CAA2C,WAAW,GAAG;YACzD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,qCAAqC,EAAE,OAAO,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,oDAAoD;QACpD,IAAI,WAAW,KAAK,MAAM,EAAE,CAAC;YAC3B,OAAO,CAAC,qCAAqC,EAAE,UAAU,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,CAAC,uCAAuC,WAAW,GAAG,EAAE,UAAU,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,qCAAqC,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED,0CAA0C;IAC1C,wDAAwD;IACxD,0EAA0E;IAC1E,2CAA2C;IAC3C,MAAM,YAAY,GAA2B;QAC3C,KAAK,EAAE,kBAAkB;KAC1B,CAAC;IAEF,IAAI,IAAI,IAAI,YAAY,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzB,CAAC;QAED,8DAA8D;QAC9D,MAAM,OAAO,GAAG,WAAW,UAAU,EAAE,CAAC;QAExC,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,IAAI,cAAc,GAAG,OAAO,CAAC;YAE7B,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;gBACpC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;gBAClE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3B,cAAc,GAAG,UAAU,CAAC;YAC9B,CAAC;YAED,OAAO,CAAC,GAAG,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAClE,CAAC;QAED,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5B,CAAC;IAED,kDAAkD;IAClD,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,IAAI,cAAc,GAAG,OAAO,CAAC;QAE7B,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;YACpC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;YAClE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAED,wDAAwD;QACxD,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAE5E,OAAO,CAAC,GAAG,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IACrE,CAAC;IAED,wDAAwD;IACxD,4BAA4B;IAC5B,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE5E,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC/B,CAAC,CAAC"}

package/dist/types/unions.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Union type emission
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit union types as nullable (T?), Union<T1, T2>, or object
+ */
+export declare const emitUnionType: (type: Extract<IrType, {
+    kind: "unionType";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=unions.d.ts.map

package/dist/types/unions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unions.d.ts","sourceRoot":"","sources":["../../src/types/unions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CA+CzB,CAAC"}

package/dist/types/unions.js

@@ -0,0 +1,45 @@
+/**
+ * Union type emission
+ */
+import { emitType } from "./emitter.js";
+/**
+ * Emit union types as nullable (T?), Union<T1, T2>, or object
+ */
+export const emitUnionType = (type, context) => {
+    // C# doesn't have native union types
+    // Strategy:
+    // 1. Nullable types (T | null | undefined) → T?
+    // 2. Two-type unions → Union<T1, T2>
+    // 3. Multi-type unions → object (fallback)
+    // Check if it's a nullable type (T | null | undefined)
+    const nonNullTypes = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "null" || t.name === "undefined")));
+    if (nonNullTypes.length === 1) {
+        // This is a nullable type (T | null | undefined)
+        const firstType = nonNullTypes[0];
+        if (!firstType) {
+            return ["object?", context];
+        }
+        const [baseType, newContext] = emitType(firstType, context);
+        // Add ? suffix for nullable types (both value types and reference types)
+        // This includes string?, int?, double?, etc. per spec/04-type-mappings.md
+        return [`${baseType}?`, newContext];
+    }
+    // Multi-type unions (2-8 types) → Union<T1, T2, ...>
+    if (type.types.length >= 2 && type.types.length <= 8) {
+        const typeStrings = [];
+        let currentContext = context;
+        for (const t of type.types) {
+            const [typeStr, newContext] = emitType(t, currentContext);
+            typeStrings.push(typeStr);
+            currentContext = newContext;
+        }
+        return [
+            `global::Tsonic.Runtime.Union<${typeStrings.join(", ")}>`,
+            currentContext,
+        ];
+    }
+    // Fallback for unions with more than 8 types: use object
+    return ["object", context];
+};
+//# sourceMappingURL=unions.js.map

package/dist/types/unions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unions.js","sourceRoot":"","sources":["../../src/types/unions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA4C,EAC5C,OAAuB,EACG,EAAE;IAC5B,qCAAqC;IACrC,YAAY;IACZ,gDAAgD;IAChD,qCAAqC;IACrC,2CAA2C;IAE3C,uDAAuD;IACvD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IAEF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,iDAAiD;QACjD,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC9B,CAAC;QACD,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5D,yEAAyE;QACzE,0EAA0E;QAC1E,OAAO,CAAC,GAAG,QAAQ,GAAG,EAAE,UAAU,CAAC,CAAC;IACtC,CAAC;IAED,qDAAqD;IACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,cAAc,GAAG,OAAO,CAAC;QAE7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;YAC1D,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1B,cAAc,GAAG,UAAU,CAAC;QAC9B,CAAC;QAED,OAAO;YACL,gCAAgC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACzD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC7B,CAAC,CAAC"}

package/dist/types/unions.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for union type emission
+ * Verifies TypeScript unions map to C# Union<T1, T2>
+ */
+export {};
+//# sourceMappingURL=unions.test.d.ts.map

package/dist/types/unions.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unions.test.d.ts","sourceRoot":"","sources":["../../src/types/unions.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}