@tsonic/emitter 0.0.6 → 0.0.12

package/dist/types/references.test.js

@@ -0,0 +1,384 @@
+/**
+ * Tests for Reference Type Emission
+ *
+ * Tests:
+ * - bindingsRegistry lookup for CLR types
+ * - C# primitive type passthrough
+ * - Local type passthrough
+ * - Hard failure for unresolved external types
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../emitter.js";
+/**
+ * Helper to create a minimal module with a variable declaration of a given type
+ */
+const createModuleWithType = (varType) => ({
+    kind: "module",
+    filePath: "/src/test.ts",
+    namespace: "Test",
+    className: "test",
+    isStaticContainer: true,
+    imports: [],
+    body: [
+        {
+            kind: "variableDeclaration",
+            declarationKind: "const",
+            isExported: false,
+            declarations: [
+                {
+                    kind: "variableDeclarator",
+                    name: { kind: "identifierPattern", name: "x" },
+                    type: varType,
+                    initializer: { kind: "literal", value: null },
+                },
+            ],
+        },
+    ],
+    exports: [],
+});
+describe("Reference Type Emission", () => {
+    describe("C# Primitive Types", () => {
+        it("should emit int without qualification", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "int",
+            });
+            const result = emitModule(module);
+            expect(result).to.include("int x");
+        });
+        it("should emit long without qualification", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "long",
+            });
+            const result = emitModule(module);
+            expect(result).to.include("long x");
+        });
+        it("should emit double without qualification", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "double",
+            });
+            const result = emitModule(module);
+            expect(result).to.include("double x");
+        });
+        it("should emit decimal without qualification", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "decimal",
+            });
+            const result = emitModule(module);
+            expect(result).to.include("decimal x");
+        });
+        it("should emit bool without qualification", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "bool",
+            });
+            const result = emitModule(module);
+            expect(result).to.include("bool x");
+        });
+        it("should emit nint (native int) without qualification", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "nint",
+            });
+            const result = emitModule(module);
+            expect(result).to.include("nint x");
+        });
+    });
+    describe("Known Builtin Types", () => {
+        it("should emit Array<T> as List<T>", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Array",
+                typeArguments: [{ kind: "primitiveType", name: "number" }],
+            });
+            const result = emitModule(module);
+            expect(result).to.include("global::System.Collections.Generic.List<double>");
+        });
+        it("should emit Promise<T> as Task<T>", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Promise",
+                typeArguments: [{ kind: "primitiveType", name: "string" }],
+            });
+            const result = emitModule(module);
+            expect(result).to.include("global::System.Threading.Tasks.Task<string>");
+        });
+        it("should emit Error as System.Exception in js mode (default)", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Error",
+            });
+            // Default runtime is "js"
+            const result = emitModule(module);
+            expect(result).to.include("global::System.Exception");
+        });
+        it("should emit Error as System.Exception in js mode (explicit)", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Error",
+            });
+            const result = emitModule(module, { runtime: "js" });
+            expect(result).to.include("global::System.Exception");
+        });
+        it("should fail for Error in dotnet mode (not in dotnet-globals)", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Error",
+            });
+            // Error is not in dotnet-globals, so it should fail as unresolved
+            expect(() => emitModule(module, { runtime: "dotnet" })).to.throw("ICE: Unresolved reference type 'Error'");
+        });
+    });
+    describe("Pre-resolved CLR Types", () => {
+        it("should use resolvedClrType when present", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Action",
+                resolvedClrType: "global::System.Action",
+            });
+            const result = emitModule(module);
+            expect(result).to.include("global::System.Action");
+        });
+        it("should use resolvedClrType with type arguments", () => {
+            const module = createModuleWithType({
+                kind: "referenceType",
+                name: "Func",
+                resolvedClrType: "global::System.Func",
+                typeArguments: [
+                    { kind: "primitiveType", name: "string" },
+                    { kind: "primitiveType", name: "number" },
+                ],
+            });
+            const result = emitModule(module);
+            expect(result).to.include("global::System.Func<string, double>");
+        });
+    });
+    describe("Local Types", () => {
+        it("should emit local class types without qualification", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    // Define a local class
+                    {
+                        kind: "classDeclaration",
+                        name: "User",
+                        isExported: true,
+                        isStruct: false,
+                        typeParameters: [],
+                        implements: [],
+                        members: [],
+                    },
+                    // Use the local class as a type
+                    {
+                        kind: "variableDeclaration",
+                        declarationKind: "const",
+                        isExported: false,
+                        declarations: [
+                            {
+                                kind: "variableDeclarator",
+                                name: { kind: "identifierPattern", name: "user" },
+                                type: { kind: "referenceType", name: "User" },
+                                initializer: { kind: "literal", value: null },
+                            },
+                        ],
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module);
+            expect(result).to.include("User user");
+        });
+        it("should emit local interface types without qualification", () => {
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    // Define a local interface
+                    {
+                        kind: "interfaceDeclaration",
+                        name: "IUser",
+                        isExported: true,
+                        isStruct: false,
+                        typeParameters: [],
+                        extends: [],
+                        members: [],
+                    },
+                    // Use the local interface as a type
+                    {
+                        kind: "variableDeclaration",
+                        declarationKind: "const",
+                        isExported: false,
+                        declarations: [
+                            {
+                                kind: "variableDeclarator",
+                                name: { kind: "identifierPattern", name: "user" },
+                                type: { kind: "referenceType", name: "IUser" },
+                                initializer: { kind: "literal", value: null },
+                            },
+                        ],
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module);
+            expect(result).to.include("IUser user");
+        });
+    });
+    describe("Runtime Mode Guards", () => {
+        it("should NOT emit JSRuntime in dotnet mode for array indexing", () => {
+            // This test creates a module with array index access
+            // In dotnet mode, it should use native indexer, not JSRuntime.Array.get()
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "functionDeclaration",
+                        name: "getFirst",
+                        isExported: true,
+                        isAsync: false,
+                        isGenerator: false,
+                        parameters: [
+                            {
+                                kind: "parameter",
+                                pattern: { kind: "identifierPattern", name: "arr" },
+                                type: {
+                                    kind: "arrayType",
+                                    elementType: { kind: "primitiveType", name: "number" },
+                                },
+                                isOptional: false,
+                                isRest: false,
+                                passing: "value",
+                            },
+                        ],
+                        returnType: { kind: "primitiveType", name: "number" },
+                        body: {
+                            kind: "blockStatement",
+                            statements: [
+                                {
+                                    kind: "returnStatement",
+                                    expression: {
+                                        kind: "memberAccess",
+                                        object: {
+                                            kind: "identifier",
+                                            name: "arr",
+                                            inferredType: {
+                                                kind: "arrayType",
+                                                elementType: { kind: "primitiveType", name: "number" },
+                                            },
+                                        },
+                                        property: {
+                                            kind: "literal",
+                                            value: 0,
+                                            // Proof marker: Int32 literal
+                                            inferredType: {
+                                                kind: "primitiveType",
+                                                name: "number",
+                                                numericIntent: "Int32",
+                                            },
+                                        },
+                                        isComputed: true,
+                                        isOptional: false,
+                                    },
+                                },
+                            ],
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module, { runtime: "dotnet" });
+            // In dotnet mode, output should NOT contain JSRuntime
+            expect(result).to.not.include("Tsonic.JSRuntime");
+            // Should use native indexer (no cast needed with proof marker)
+            expect(result).to.include("arr[0]");
+        });
+        it("should emit JSRuntime in js mode for array indexing", () => {
+            // Same module as above but in js mode
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "functionDeclaration",
+                        name: "getFirst",
+                        isExported: true,
+                        isAsync: false,
+                        isGenerator: false,
+                        parameters: [
+                            {
+                                kind: "parameter",
+                                pattern: { kind: "identifierPattern", name: "arr" },
+                                type: {
+                                    kind: "arrayType",
+                                    elementType: { kind: "primitiveType", name: "number" },
+                                },
+                                isOptional: false,
+                                isRest: false,
+                                passing: "value",
+                            },
+                        ],
+                        returnType: { kind: "primitiveType", name: "number" },
+                        body: {
+                            kind: "blockStatement",
+                            statements: [
+                                {
+                                    kind: "returnStatement",
+                                    expression: {
+                                        kind: "memberAccess",
+                                        object: {
+                                            kind: "identifier",
+                                            name: "arr",
+                                            inferredType: {
+                                                kind: "arrayType",
+                                                elementType: { kind: "primitiveType", name: "number" },
+                                            },
+                                        },
+                                        property: {
+                                            kind: "literal",
+                                            value: 0,
+                                            // Proof marker: Int32 literal
+                                            inferredType: {
+                                                kind: "primitiveType",
+                                                name: "number",
+                                                numericIntent: "Int32",
+                                            },
+                                        },
+                                        isComputed: true,
+                                        isOptional: false,
+                                    },
+                                },
+                            ],
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module, { runtime: "js" });
+            // In js mode, output should use JSRuntime.Array.get()
+            expect(result).to.include("global::Tsonic.JSRuntime.Array.get");
+        });
+    });
+});
+//# sourceMappingURL=references.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references.test.js","sourceRoot":"","sources":["../../src/types/references.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAG3C;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAY,EAAE,CAAC,CAAC;IAC3D,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,cAAc;IACxB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IACjB,iBAAiB,EAAE,IAAI;IACvB,OAAO,EAAE,EAAE;IACX,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,qBAAqB;YAC3B,eAAe,EAAE,OAAO;YACxB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE;gBACZ;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC9C,IAAI,EAAE,OAAO;oBACb,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;iBAC9C;aACF;SACF;KACF;IACD,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CACvB,iDAAiD,CAClD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;aACd,CAAC,CAAC;YAEH,0BAA0B;YAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;aACd,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAErD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;aACd,CAAC,CAAC;YAEH,kEAAkE;YAClE,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAC9D,wCAAwC,CACzC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,eAAe,EAAE,uBAAuB;aACzC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;gBACZ,eAAe,EAAE,qBAAqB;gBACtC,aAAa,EAAE;oBACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC1C;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ,uBAAuB;oBACvB;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,MAAM;wBACZ,UAAU,EAAE,IAAI;wBAChB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,UAAU,EAAE,EAAE;wBACd,OAAO,EAAE,EAAE;qBACZ;oBACD,gCAAgC;oBAChC;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,OAAO;wBACxB,UAAU,EAAE,KAAK;wBACjB,YAAY,EAAE;4BACZ;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;gCAC7C,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;6BAC9C;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ,2BAA2B;oBAC3B;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,IAAI,EAAE,OAAO;wBACb,UAAU,EAAE,IAAI;wBAChB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE,EAAE;qBACZ;oBACD,oCAAoC;oBACpC;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,OAAO;wBACxB,UAAU,EAAE,KAAK;wBACjB,YAAY,EAAE;4BACZ;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE;gCAC9C,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;6BAC9C;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,qDAAqD;YACrD,0EAA0E;YAC1E,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,IAAI;wBAChB,OAAO,EAAE,KAAK;wBACd,WAAW,EAAE,KAAK;wBAClB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;gCACnD,IAAI,EAAE;oCACJ,IAAI,EAAE,WAAW;oCACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACvD;gCACD,UAAU,EAAE,KAAK;gCACjB,MAAM,EAAE,KAAK;gCACb,OAAO,EAAE,OAAO;6BACjB;yBACF;wBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACrD,IAAI,EAAE;4BACJ,IAAI,EAAE,gBAAgB;4BACtB,UAAU,EAAE;gCACV;oCACE,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE;wCACV,IAAI,EAAE,cAAc;wCACpB,MAAM,EAAE;4CACN,IAAI,EAAE,YAAY;4CAClB,IAAI,EAAE,KAAK;4CACX,YAAY,EAAE;gDACZ,IAAI,EAAE,WAAW;gDACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;6CACvD;yCACF;wCACD,QAAQ,EAAE;4CACR,IAAI,EAAE,SAAS;4CACf,KAAK,EAAE,CAAC;4CACR,8BAA8B;4CAC9B,YAAY,EAAE;gDACZ,IAAI,EAAE,eAAe;gDACrB,IAAI,EAAE,QAAQ;gDACd,aAAa,EAAE,OAAO;6CACvB;yCACF;wCACD,UAAU,EAAE,IAAI;wCAChB,UAAU,EAAE,KAAK;qCAClB;iCACF;6BACF;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;YAEzD,sDAAsD;YACtD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;YAClD,+DAA+D;YAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,sCAAsC;YACtC,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,IAAI;wBAChB,OAAO,EAAE,KAAK;wBACd,WAAW,EAAE,KAAK;wBAClB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;gCACnD,IAAI,EAAE;oCACJ,IAAI,EAAE,WAAW;oCACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACvD;gCACD,UAAU,EAAE,KAAK;gCACjB,MAAM,EAAE,KAAK;gCACb,OAAO,EAAE,OAAO;6BACjB;yBACF;wBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACrD,IAAI,EAAE;4BACJ,IAAI,EAAE,gBAAgB;4BACtB,UAAU,EAAE;gCACV;oCACE,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE;wCACV,IAAI,EAAE,cAAc;wCACpB,MAAM,EAAE;4CACN,IAAI,EAAE,YAAY;4CAClB,IAAI,EAAE,KAAK;4CACX,YAAY,EAAE;gDACZ,IAAI,EAAE,WAAW;gDACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;6CACvD;yCACF;wCACD,QAAQ,EAAE;4CACR,IAAI,EAAE,SAAS;4CACf,KAAK,EAAE,CAAC;4CACR,8BAA8B;4CAC9B,YAAY,EAAE;gDACZ,IAAI,EAAE,eAAe;gDACrB,IAAI,EAAE,QAAQ;gDACd,aAAa,EAAE,OAAO;6CACvB;yCACF;wCACD,UAAU,EAAE,IAAI;wCAChB,UAAU,EAAE,KAAK;qCAClB;iCACF;6BACF;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAErD,sDAAsD;YACtD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/tuples.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Tuple type emission
+ *
+ * TypeScript tuples are emitted as System.ValueTuple<T1, T2, ...>
+ * For tuples with more than 7 elements, .NET requires nesting:
+ * ValueTuple<T1..T7, ValueTuple<T8..>> (recursive for 15+, 22+, etc.)
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit tuple types as global::System.ValueTuple<T1, T2, ...>
+ *
+ * TypeScript: [string, number, boolean]
+ * C#: global::System.ValueTuple<string, double, bool>
+ *
+ * For 8+ elements, uses .NET's nested TRest pattern:
+ * TypeScript: [T1, T2, T3, T4, T5, T6, T7, T8]
+ * C#: global::System.ValueTuple<T1, T2, T3, T4, T5, T6, T7, global::System.ValueTuple<T8>>
+ */
+export declare const emitTupleType: (type: Extract<IrType, {
+    kind: "tupleType";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=tuples.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tuples.d.ts","sourceRoot":"","sources":["../../src/types/tuples.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAoB7C;;;;;;;;;GASG;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,CA8BzB,CAAC"}

package/dist/types/tuples.js

@@ -0,0 +1,54 @@
+/**
+ * Tuple type emission
+ *
+ * TypeScript tuples are emitted as System.ValueTuple<T1, T2, ...>
+ * For tuples with more than 7 elements, .NET requires nesting:
+ * ValueTuple<T1..T7, ValueTuple<T8..>> (recursive for 15+, 22+, etc.)
+ */
+import { emitType } from "./emitter.js";
+/**
+ * Helper to emit a list of tuple element types, threading context through.
+ */
+const emitTupleElems = (elems, context) => {
+    const out = [];
+    let ctx = context;
+    for (const t of elems) {
+        const [s, next] = emitType(t, ctx);
+        out.push(s);
+        ctx = next;
+    }
+    return [out, ctx];
+};
+/**
+ * Emit tuple types as global::System.ValueTuple<T1, T2, ...>
+ *
+ * TypeScript: [string, number, boolean]
+ * C#: global::System.ValueTuple<string, double, bool>
+ *
+ * For 8+ elements, uses .NET's nested TRest pattern:
+ * TypeScript: [T1, T2, T3, T4, T5, T6, T7, T8]
+ * C#: global::System.ValueTuple<T1, T2, T3, T4, T5, T6, T7, global::System.ValueTuple<T8>>
+ */
+export const emitTupleType = (type, context) => {
+    const elems = type.elementTypes;
+    // Empty tuple type [] → ValueTuple (non-generic)
+    if (elems.length === 0) {
+        return ["global::System.ValueTuple", context];
+    }
+    // 1-7 elements: direct ValueTuple<T1, ..., Tn>
+    if (elems.length <= 7) {
+        const [types, ctx] = emitTupleElems(elems, context);
+        return [`global::System.ValueTuple<${types.join(", ")}>`, ctx];
+    }
+    // 8+ elements: nest as ValueTuple<T1..T7, ValueTuple<T8..>>
+    const first7 = elems.slice(0, 7);
+    const rest = elems.slice(7);
+    const [first7Types, ctxAfterFirst7] = emitTupleElems(first7, context);
+    // Recursively emit rest as nested tuple (handles 15+, 22+, etc.)
+    const [restType, ctxAfterRest] = emitTupleType({ kind: "tupleType", elementTypes: rest }, ctxAfterFirst7);
+    return [
+        `global::System.ValueTuple<${[...first7Types, restType].join(", ")}>`,
+        ctxAfterRest,
+    ];
+};
+//# sourceMappingURL=tuples.js.map

package/dist/types/tuples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuples.js","sourceRoot":"","sources":["../../src/types/tuples.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,KAAwB,EACxB,OAAuB,EACK,EAAE;IAC9B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,GAAG,GAAG,OAAO,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA4C,EAC5C,OAAuB,EACG,EAAE;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC;IAEhC,iDAAiD;IACjD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,+CAA+C;IAC/C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpD,OAAO,CAAC,6BAA6B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACjE,CAAC;IAED,4DAA4D;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE5B,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEtE,iEAAiE;IACjE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,aAAa,CAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,EACzC,cAAc,CACf,CAAC;IAEF,OAAO;QACL,6BAA6B,CAAC,GAAG,WAAW,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACrE,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

package/dist/types/unions.test.js

@@ -73,9 +73,10 @@ describe("Union Type Emission", () => {
             ],
         };
         const code = emitModule(module);
-        // Should use Union<T1, T2>
-        expect(code).to.include("Union<string, double> value");
-        expect(code).to.include("using Tsonic.Runtime");
+        // Should use fully-qualified Union<T1, T2>
+        expect(code).to.include("global::Tsonic.Runtime.Union<string, double> value");
+        // Should NOT include using directives - uses global:: FQN
+        expect(code).to.not.include("using Tsonic.Runtime");
     });
     it("should emit function returning union type", () => {
         const module = {
@@ -114,8 +115,8 @@ describe("Union Type Emission", () => {
             ],
         };
         const code = emitModule(module);
-        // Should return Union<string, double>
-        expect(code).to.include("public static Union<string, double> getValue()");
+        // Should return Union<string, double> with global:: FQN
+        expect(code).to.include("public static global::Tsonic.Runtime.Union<string, double> getValue()");
     });
     it("should emit function parameter with union type", () => {
         const module = {
@@ -158,8 +159,8 @@ describe("Union Type Emission", () => {
             ],
         };
         const code = emitModule(module);
-        // Should accept Union<string, bool> parameter
-        expect(code).to.include("process(Union<string, bool> input)");
+        // Should accept Union<string, bool> parameter with global:: FQN
+        expect(code).to.include("process(global::Tsonic.Runtime.Union<string, bool> input)");
     });
     it("should handle union with custom types", () => {
         const module = {
@@ -171,6 +172,25 @@ describe("Union Type Emission", () => {
             imports: [],
             exports: [],
             body: [
+                // Declare local types for the union
+                {
+                    kind: "interfaceDeclaration",
+                    name: "User",
+                    isExported: false,
+                    isStruct: false,
+                    typeParameters: [],
+                    extends: [],
+                    members: [],
+                },
+                {
+                    kind: "interfaceDeclaration",
+                    name: "Product",
+                    isExported: false,
+                    isStruct: false,
+                    typeParameters: [],
+                    extends: [],
+                    members: [],
+                },
                 {
                     kind: "functionDeclaration",
                     name: "getResult",
@@ -234,9 +254,10 @@ describe("Union Type Emission", () => {
             ],
         };
         const code = emitModule(module);
-        // Should use Union<T1, T2, T3>
-        expect(code).to.include("Union<string, double, bool> value");
-        expect(code).to.include("using Tsonic.Runtime");
+        // Should use fully-qualified Union<T1, T2, T3>
+        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool> value");
+        // Should NOT include using directives - uses global:: FQN
+        expect(code).to.not.include("using Tsonic.Runtime");
     });
     it("should emit four-type union as Union<T1, T2, T3, T4>", () => {
         const module = {
@@ -248,6 +269,16 @@ describe("Union Type Emission", () => {
             imports: [],
             exports: [],
             body: [
+                // Declare local type for the union (Date is not in globals)
+                {
+                    kind: "interfaceDeclaration",
+                    name: "DateLike",
+                    isExported: false,
+                    isStruct: false,
+                    typeParameters: [],
+                    extends: [],
+                    members: [],
+                },
                 {
                     kind: "functionDeclaration",
                     name: "process",
@@ -258,7 +289,7 @@ describe("Union Type Emission", () => {
                             { kind: "primitiveType", name: "string" },
                             { kind: "primitiveType", name: "number" },
                             { kind: "primitiveType", name: "boolean" },
-                            { kind: "referenceType", name: "Date", typeArguments: [] },
+                            { kind: "referenceType", name: "DateLike", typeArguments: [] },
                         ],
                     },
                     body: {
@@ -277,10 +308,20 @@ describe("Union Type Emission", () => {
             ],
         };
         const code = emitModule(module);
-        // Should use Union<T1, T2, T3, T4>
-        expect(code).to.include("Union<string, double, bool, Date> process()");
+        // Should use Union<T1, T2, T3, T4> with global:: FQN
+        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool, DateLike> process()");
     });
     it("should emit eight-type union as Union<T1, T2, T3, T4, T5, T6, T7, T8>", () => {
+        // Helper to create an interface declaration
+        const makeInterface = (name) => ({
+            kind: "interfaceDeclaration",
+            name,
+            isExported: false,
+            isStruct: false,
+            typeParameters: [],
+            extends: [],
+            members: [],
+        });
         const module = {
             kind: "module",
             filePath: "/test/union8.ts",
@@ -290,6 +331,12 @@ describe("Union Type Emission", () => {
             imports: [],
             exports: [],
             body: [
+                // Declare local types for the union
+                makeInterface("User"),
+                makeInterface("Product"),
+                makeInterface("Order"),
+                makeInterface("Payment"),
+                makeInterface("Invoice"),
                 {
                     kind: "variableDeclaration",
                     declarationKind: "const",
@@ -318,8 +365,8 @@ describe("Union Type Emission", () => {
             ],
         };
         const code = emitModule(module);
-        // Should use Union<T1, T2, T3, T4, T5, T6, T7, T8>
-        expect(code).to.include("Union<string, double, bool, User, Product, Order, Payment, Invoice> value");
+        // Should use Union<T1, T2, T3, T4, T5, T6, T7, T8> with global:: FQN
+        expect(code).to.include("global::Tsonic.Runtime.Union<string, double, bool, User, Product, Order, Payment, Invoice> value");
     });
     it("should fall back to object for unions with more than 8 types", () => {
         const module = {