@tsonic/emitter 0.0.1 → 0.0.3

package/dist/statements/index.test.js

@@ -0,0 +1,248 @@
+/**
+ * Tests for Statement Emission
+ * Tests emission of control flow statements (if, for-of)
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../emitter.js";
+describe("Statement Emission", () => {
+    it("should emit if statements", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "check",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "x" },
+                            type: { kind: "primitiveType", name: "number" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "primitiveType", name: "string" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "ifStatement",
+                                condition: {
+                                    kind: "binary",
+                                    operator: ">",
+                                    left: { kind: "identifier", name: "x" },
+                                    right: { kind: "literal", value: 0 },
+                                },
+                                thenStatement: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "returnStatement",
+                                            expression: { kind: "literal", value: "positive" },
+                                        },
+                                    ],
+                                },
+                                elseStatement: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "returnStatement",
+                                            expression: {
+                                                kind: "literal",
+                                                value: "negative or zero",
+                                            },
+                                        },
+                                    ],
+                                },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Binary comparison emits with truthiness check
+        expect(result).to.include("if (x > 0");
+        expect(result).to.include('return "positive"');
+        expect(result).to.include("else");
+        expect(result).to.include('return "negative or zero"');
+    });
+    it("should emit canonical for loops with int counter and no cast", () => {
+        // Test: for (let i = 0; i < list.Count; i++) { list[i] }
+        // Should emit: for (int i = 0; ...) { list[i] } - NO (int) cast
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "process",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "items" },
+                            type: {
+                                kind: "referenceType",
+                                name: "List",
+                                typeArguments: [{ kind: "primitiveType", name: "number" }],
+                            },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "forStatement",
+                                initializer: {
+                                    kind: "variableDeclaration",
+                                    declarationKind: "let",
+                                    declarations: [
+                                        {
+                                            kind: "variableDeclarator",
+                                            name: { kind: "identifierPattern", name: "i" },
+                                            initializer: { kind: "literal", value: 0 },
+                                        },
+                                    ],
+                                    isExported: false,
+                                },
+                                condition: {
+                                    kind: "binary",
+                                    operator: "<",
+                                    left: { kind: "identifier", name: "i" },
+                                    right: {
+                                        kind: "memberAccess",
+                                        object: { kind: "identifier", name: "items" },
+                                        property: "Count",
+                                        isComputed: false,
+                                        isOptional: false,
+                                    },
+                                },
+                                update: {
+                                    kind: "update",
+                                    operator: "++",
+                                    prefix: false,
+                                    expression: { kind: "identifier", name: "i" },
+                                },
+                                body: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "expressionStatement",
+                                            expression: {
+                                                kind: "call",
+                                                callee: {
+                                                    kind: "memberAccess",
+                                                    object: { kind: "identifier", name: "console" },
+                                                    property: "log",
+                                                    isComputed: false,
+                                                    isOptional: false,
+                                                },
+                                                arguments: [
+                                                    {
+                                                        kind: "memberAccess",
+                                                        object: { kind: "identifier", name: "items" },
+                                                        property: { kind: "identifier", name: "i" },
+                                                        isComputed: true,
+                                                        isOptional: false,
+                                                    },
+                                                ],
+                                                isOptional: false,
+                                            },
+                                        },
+                                    ],
+                                },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Canonical loop: int i = 0 (not var i = 0.0)
+        expect(result).to.include("for (int i = 0;");
+        // CLR indexer without cast: items[i] (not items[(int)(i)])
+        expect(result).to.include("items[i]");
+        // Must NOT contain the redundant cast
+        expect(result).to.not.include("[(int)");
+    });
+    it("should emit for loops", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "loop",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "forOfStatement",
+                                variable: { kind: "identifierPattern", name: "item" },
+                                expression: { kind: "identifier", name: "items" },
+                                body: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "expressionStatement",
+                                            expression: {
+                                                kind: "call",
+                                                callee: {
+                                                    kind: "memberAccess",
+                                                    object: { kind: "identifier", name: "console" },
+                                                    property: "log",
+                                                    isComputed: false,
+                                                    isOptional: false,
+                                                },
+                                                arguments: [{ kind: "identifier", name: "item" }],
+                                                isOptional: false,
+                                            },
+                                        },
+                                    ],
+                                },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("foreach (var item in items)");
+        expect(result).to.include("Tsonic.JSRuntime.console.log(item)");
+        expect(result).to.include("using Tsonic.JSRuntime");
+    });
+});
+//# sourceMappingURL=index.test.js.map

package/dist/statements/index.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.test.js","sourceRoot":"","sources":["../../src/statements/index.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;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,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,aAAa;gCACnB,SAAS,EAAE;oCACT,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,GAAG;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;oCACvC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;iCACrC;gCACD,aAAa,EAAE;oCACb,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,iBAAiB;4CACvB,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE;yCACnD;qCACF;iCACF;gCACD,aAAa,EAAE;oCACb,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,iBAAiB;4CACvB,UAAU,EAAE;gDACV,IAAI,EAAE,SAAS;gDACf,KAAK,EAAE,kBAAkB;6CAC1B;yCACF;qCACF;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,gDAAgD;QAChD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,yDAAyD;QACzD,gEAAgE;QAChE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE;gCACJ,IAAI,EAAE,eAAe;gCACrB,IAAI,EAAE,MAAM;gCACZ,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;6BAC3D;4BACD,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,cAAc;gCACpB,WAAW,EAAE;oCACX,IAAI,EAAE,qBAAqB;oCAC3B,eAAe,EAAE,KAAK;oCACtB,YAAY,EAAE;wCACZ;4CACE,IAAI,EAAE,oBAAoB;4CAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4CAC9C,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;yCAC3C;qCACF;oCACD,UAAU,EAAE,KAAK;iCAClB;gCACD,SAAS,EAAE;oCACT,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,GAAG;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;oCACvC,KAAK,EAAE;wCACL,IAAI,EAAE,cAAc;wCACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;wCAC7C,QAAQ,EAAE,OAAO;wCACjB,UAAU,EAAE,KAAK;wCACjB,UAAU,EAAE,KAAK;qCAClB;iCACF;gCACD,MAAM,EAAE;oCACN,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,IAAI;oCACd,MAAM,EAAE,KAAK;oCACb,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;iCAC9C;gCACD,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,qBAAqB;4CAC3B,UAAU,EAAE;gDACV,IAAI,EAAE,MAAM;gDACZ,MAAM,EAAE;oDACN,IAAI,EAAE,cAAc;oDACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;oDAC/C,QAAQ,EAAE,KAAK;oDACf,UAAU,EAAE,KAAK;oDACjB,UAAU,EAAE,KAAK;iDAClB;gDACD,SAAS,EAAE;oDACT;wDACE,IAAI,EAAE,cAAc;wDACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;wDAC7C,QAAQ,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;wDAC3C,UAAU,EAAE,IAAI;wDAChB,UAAU,EAAE,KAAK;qDAClB;iDACF;gDACD,UAAU,EAAE,KAAK;6CAClB;yCACF;qCACF;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,8CAA8C;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC7C,2DAA2D;QAC3D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,sCAAsC;QACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,gBAAgB;gCACtB,QAAQ,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACrD,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;gCACjD,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,qBAAqB;4CAC3B,UAAU,EAAE;gDACV,IAAI,EAAE,MAAM;gDACZ,MAAM,EAAE;oDACN,IAAI,EAAE,cAAc;oDACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;oDAC/C,QAAQ,EAAE,KAAK;oDACf,UAAU,EAAE,KAAK;oDACjB,UAAU,EAAE,KAAK;iDAClB;gDACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gDACjD,UAAU,EAAE,KAAK;6CAClB;yCACF;qCACF;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/type-assertion.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for type assertion handling
+ * Verifies that TypeScript type assertions are stripped during IR conversion
+ */
+export {};
+//# sourceMappingURL=type-assertion.test.d.ts.map

package/dist/type-assertion.test.d.ts.map

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

package/dist/type-assertion.test.js

@@ -0,0 +1,133 @@
+/**
+ * Tests for type assertion handling
+ * Verifies that TypeScript type assertions are stripped during IR conversion
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "./emitter.js";
+describe("Type Assertion Emission", () => {
+    it("should strip 'as' type assertions", () => {
+        const module = {
+            kind: "module",
+            filePath: "/test/assertion.ts",
+            namespace: "Test",
+            className: "assertion",
+            isStaticContainer: true,
+            imports: [],
+            exports: [],
+            body: [
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    isExported: false,
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: { kind: "identifierPattern", name: "value" },
+                            type: { kind: "primitiveType", name: "string" },
+                            // In the IR, type assertions are already stripped
+                            // So this is just the underlying expression
+                            initializer: { kind: "literal", value: "hello" },
+                        },
+                    ],
+                },
+            ],
+        };
+        const code = emitModule(module);
+        // Should emit the value directly without any type assertion
+        expect(code).to.include('string value = "hello"');
+        // Note: "as" might appear in "class" or "namespace" - check for actual cast syntax
+        expect(code).not.to.match(/\sas\s/);
+    });
+    it("should handle nested expressions with type assertions", () => {
+        const module = {
+            kind: "module",
+            filePath: "/test/nested.ts",
+            namespace: "Test",
+            className: "nested",
+            isStaticContainer: true,
+            imports: [],
+            exports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "getValue",
+                    parameters: [],
+                    returnType: { kind: "primitiveType", name: "number" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "returnStatement",
+                                // Type assertion is stripped, only the literal remains
+                                expression: { kind: "literal", value: 42 },
+                            },
+                        ],
+                    },
+                    isAsync: false,
+                    isGenerator: false,
+                    isExported: true,
+                },
+            ],
+        };
+        const code = emitModule(module);
+        // Should emit clean C# without type assertions - C# handles implicit conversion
+        expect(code).to.include("return 42");
+        // Note: "as" might appear in "class" or "namespace" - check for actual cast syntax
+        expect(code).not.to.match(/\sas\s/);
+    });
+    it("should preserve union types when assertion is stripped", () => {
+        const module = {
+            kind: "module",
+            filePath: "/test/unionAssert.ts",
+            namespace: "Test",
+            className: "unionAssert",
+            isStaticContainer: true,
+            imports: [],
+            exports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "process",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "input" },
+                            type: {
+                                kind: "unionType",
+                                types: [
+                                    { kind: "primitiveType", name: "string" },
+                                    { kind: "primitiveType", name: "number" },
+                                ],
+                            },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "primitiveType", name: "string" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "returnStatement",
+                                // Even if there was a type assertion in TS, it's stripped
+                                // Only the underlying expression remains
+                                expression: { kind: "identifier", name: "input" },
+                            },
+                        ],
+                    },
+                    isAsync: false,
+                    isGenerator: false,
+                    isExported: true,
+                },
+            ],
+        };
+        const code = emitModule(module);
+        // Should preserve union type parameter
+        expect(code).to.include("Union<string, double> input");
+        // Should return the value directly
+        expect(code).to.include("return input");
+    });
+});
+//# sourceMappingURL=type-assertion.test.js.map

package/dist/type-assertion.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-assertion.test.js","sourceRoot":"","sources":["../src/type-assertion.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG1C,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,oBAAoB;YAC9B,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,WAAW;YACtB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BAClD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,kDAAkD;4BAClD,4CAA4C;4BAC5C,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE;yBACjD;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,4DAA4D;QAC5D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAClD,mFAAmF;QACnF,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,iBAAiB;YAC3B,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,QAAQ;YACnB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,uDAAuD;gCACvD,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE;6BAC3C;yBACF;qBACF;oBACD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACjB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,gFAAgF;QAChF,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACrC,mFAAmF;QACnF,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,sBAAsB;YAChC,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,aAAa;YACxB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,KAAK,EAAE;oCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oCACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCAC1C;6BACF;4BACD,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,0DAA0D;gCAC1D,yCAAyC;gCACzC,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;6BAClD;yBACF;qBACF;oBACD,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;oBAClB,UAAU,EAAE,IAAI;iBACjB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAEhC,uCAAuC;QACvC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACvD,mCAAmC;QACnC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/type-emitter.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Type Emitter - IR types to C# types
+ * Main dispatcher - re-exports from types/ subdirectory
+ */
+export { emitType, emitTypeParameters, emitParameterType, emitPrimitiveType, emitReferenceType, emitArrayType, emitFunctionType, emitObjectType, emitUnionType, emitIntersectionType, emitLiteralType, } from "./types/index.js";
+//# sourceMappingURL=type-emitter.d.ts.map

package/dist/type-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-emitter.d.ts","sourceRoot":"","sources":["../src/type-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,QAAQ,EACR,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,eAAe,GAChB,MAAM,kBAAkB,CAAC"}

package/dist/type-emitter.js

@@ -0,0 +1,6 @@
+/**
+ * Type Emitter - IR types to C# types
+ * Main dispatcher - re-exports from types/ subdirectory
+ */
+export { emitType, emitTypeParameters, emitParameterType, emitPrimitiveType, emitReferenceType, emitArrayType, emitFunctionType, emitObjectType, emitUnionType, emitIntersectionType, emitLiteralType, } from "./types/index.js";
+//# sourceMappingURL=type-emitter.js.map

package/dist/type-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-emitter.js","sourceRoot":"","sources":["../src/type-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,QAAQ,EACR,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,eAAe,GAChB,MAAM,kBAAkB,CAAC"}

package/dist/types/arrays.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Array type emission
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit array types as global::System.Collections.Generic.List<T>
+ */
+export declare const emitArrayType: (type: Extract<IrType, {
+    kind: "arrayType";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=arrays.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"arrays.d.ts","sourceRoot":"","sources":["../../src/types/arrays.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,CAMzB,CAAC"}

package/dist/types/arrays.js

@@ -0,0 +1,15 @@
+/**
+ * Array type emission
+ */
+import { emitType } from "./emitter.js";
+/**
+ * Emit array types as global::System.Collections.Generic.List<T>
+ */
+export const emitArrayType = (type, context) => {
+    const [elementType, newContext] = emitType(type.elementType, context);
+    return [
+        `global::System.Collections.Generic.List<${elementType}>`,
+        newContext,
+    ];
+};
+//# sourceMappingURL=arrays.js.map

package/dist/types/arrays.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrays.js","sourceRoot":"","sources":["../../src/types/arrays.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,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACtE,OAAO;QACL,2CAA2C,WAAW,GAAG;QACzD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/types/dictionaries.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Dictionary type emission
+ */
+import { IrDictionaryType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit dictionary type as global::System.Collections.Generic.Dictionary<TKey, TValue>
+ *
+ * IrDictionaryType represents:
+ * - `{ [k: string]: T }` → Dictionary<string, T>
+ * - `Record<string, T>` → Dictionary<string, T>
+ *
+ * Note: Only string keys are supported (TSN7413). Number keys are rejected
+ * at validation time because TS number keys have string-ish semantics.
+ */
+export declare const emitDictionaryType: (type: IrDictionaryType, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=dictionaries.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dictionaries.d.ts","sourceRoot":"","sources":["../../src/types/dictionaries.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,gBAAgB,EACtB,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAWzB,CAAC"}

package/dist/types/dictionaries.js

@@ -0,0 +1,37 @@
+/**
+ * Dictionary type emission
+ */
+import { emitType } from "./emitter.js";
+/**
+ * Emit dictionary type as global::System.Collections.Generic.Dictionary<TKey, TValue>
+ *
+ * IrDictionaryType represents:
+ * - `{ [k: string]: T }` → Dictionary<string, T>
+ * - `Record<string, T>` → Dictionary<string, T>
+ *
+ * Note: Only string keys are supported (TSN7413). Number keys are rejected
+ * at validation time because TS number keys have string-ish semantics.
+ */
+export const emitDictionaryType = (type, context) => {
+    // Emit key type
+    const [keyTypeStr, ctx1] = emitDictionaryKeyType(type.keyType, context);
+    // Emit value type
+    const [valueTypeStr, ctx2] = emitType(type.valueType, ctx1);
+    return [
+        `global::System.Collections.Generic.Dictionary<${keyTypeStr}, ${valueTypeStr}>`,
+        ctx2,
+    ];
+};
+/**
+ * Emit dictionary key type.
+ * Only string keys are supported (enforced by TSN7413).
+ * Non-string keys trigger ICE - validation should have caught them.
+ */
+const emitDictionaryKeyType = (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}`);
+};
+//# sourceMappingURL=dictionaries.js.map

package/dist/types/dictionaries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dictionaries.js","sourceRoot":"","sources":["../../src/types/dictionaries.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAsB,EACtB,OAAuB,EACG,EAAE;IAC5B,gBAAgB;IAChB,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAExE,kBAAkB;IAClB,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAE5D,OAAO;QACL,iDAAiD,UAAU,KAAK,YAAY,GAAG;QAC/E,IAAI;KACL,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,qBAAqB,GAAG,CAC5B,OAAoC,EACpC,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"}

package/dist/types/emitter.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Type emission main dispatcher
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit a C# type from an IR type
+ */
+export declare const emitType: (type: IrType, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=emitter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emitter.d.ts","sourceRoot":"","sources":["../../src/types/emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAW7C;;GAEG;AACH,eAAO,MAAM,QAAQ,GACnB,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAqDzB,CAAC"}

package/dist/types/emitter.js

@@ -0,0 +1,53 @@
+/**
+ * Type emission main dispatcher
+ */
+import { emitPrimitiveType } from "./primitives.js";
+import { emitReferenceType } from "./references.js";
+import { emitArrayType } from "./arrays.js";
+import { emitFunctionType } from "./functions.js";
+import { emitObjectType } from "./objects.js";
+import { emitDictionaryType } from "./dictionaries.js";
+import { emitUnionType } from "./unions.js";
+import { emitIntersectionType } from "./intersections.js";
+import { emitLiteralType } from "./literals.js";
+/**
+ * Emit a C# type from an IR type
+ */
+export const emitType = (type, context) => {
+    switch (type.kind) {
+        case "primitiveType":
+            return emitPrimitiveType(type, context);
+        case "referenceType":
+            return emitReferenceType(type, context);
+        case "arrayType":
+            return emitArrayType(type, context);
+        case "functionType":
+            return emitFunctionType(type, context);
+        case "objectType":
+            return emitObjectType(type, context);
+        case "dictionaryType":
+            return emitDictionaryType(type, context);
+        case "unionType":
+            return emitUnionType(type, context);
+        case "intersectionType":
+            return emitIntersectionType(type, context);
+        case "literalType":
+            return emitLiteralType(type, context);
+        case "anyType":
+            // ICE: Frontend validation (TSN7401) should have caught this.
+            throw new Error("ICE: 'any' type reached emitter - validation missed TSN7401");
+        case "unknownType":
+            // 'unknown' is a legitimate type - emit as nullable object
+            return ["object?", context];
+        case "voidType":
+            return ["void", context];
+        case "neverType":
+            return ["void", context];
+        default: {
+            // ICE: All IR types should be handled explicitly
+            const exhaustiveCheck = type;
+            throw new Error(`ICE: Unhandled IR type kind: ${exhaustiveCheck.kind}`);
+        }
+    }
+};
+//# sourceMappingURL=emitter.js.map

package/dist/types/emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitter.js","sourceRoot":"","sources":["../../src/types/emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAY,EACZ,OAAuB,EACG,EAAE;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE1C,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE1C,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtC,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEzC,KAAK,YAAY;YACf,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEvC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3C,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEtC,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE7C,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAExC,KAAK,SAAS;YACZ,8DAA8D;YAC9D,MAAM,IAAI,KAAK,CACb,6DAA6D,CAC9D,CAAC;QAEJ,KAAK,aAAa;YAChB,2DAA2D;YAC3D,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAE9B,KAAK,UAAU;YACb,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAE3B,KAAK,WAAW;YACd,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAE3B,OAAO,CAAC,CAAC,CAAC;YACR,iDAAiD;YACjD,MAAM,eAAe,GAAU,IAAI,CAAC;YACpC,MAAM,IAAI,KAAK,CACb,gCAAiC,eAA0B,CAAC,IAAI,EAAE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/dist/types/functions.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Function type emission (global::System.Func<>, global::System.Action<>)
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit function types as global::System.Func<> or global::System.Action<> delegates
+ */
+export declare const emitFunctionType: (type: Extract<IrType, {
+    kind: "functionType";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=functions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../src/types/functions.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,gBAAgB,GAC3B,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CA8BzB,CAAC"}