@tsonic/emitter 0.0.1 → 0.0.2

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

package/dist/types/functions.js

@@ -0,0 +1,34 @@
+/**
+ * Function type emission (global::System.Func<>, global::System.Action<>)
+ */
+import { emitType } from "./emitter.js";
+/**
+ * Emit function types as global::System.Func<> or global::System.Action<> delegates
+ */
+export const emitFunctionType = (type, context) => {
+    // For function types, we'll use Func<> or Action<> delegates
+    const paramTypes = [];
+    let currentContext = context;
+    for (const param of type.parameters) {
+        const paramType = param.type ?? { kind: "anyType" };
+        const [typeStr, newContext] = emitType(paramType, currentContext);
+        paramTypes.push(typeStr);
+        currentContext = newContext;
+    }
+    const returnTypeNode = type.returnType ?? { kind: "voidType" };
+    const [returnType, newContext] = emitType(returnTypeNode, currentContext);
+    if (returnType === "void") {
+        if (paramTypes.length === 0) {
+            return ["global::System.Action", newContext];
+        }
+        return [`global::System.Action<${paramTypes.join(", ")}>`, newContext];
+    }
+    if (paramTypes.length === 0) {
+        return [`global::System.Func<${returnType}>`, newContext];
+    }
+    return [
+        `global::System.Func<${paramTypes.join(", ")}, ${returnType}>`,
+        newContext,
+    ];
+};
+//# sourceMappingURL=functions.js.map

package/dist/types/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../src/types/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAA+C,EAC/C,OAAuB,EACG,EAAE;IAC5B,6DAA6D;IAC7D,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;QAC7D,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;QAClE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,cAAc,GAAG,UAAU,CAAC;IAC9B,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;IACxE,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAE1E,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAC1B,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,uBAAuB,EAAE,UAAU,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,CAAC,yBAAyB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,uBAAuB,UAAU,GAAG,EAAE,UAAU,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO;QACL,uBAAuB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,UAAU,GAAG;QAC9D,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/types/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Type emitter - Public API
+ */
+export { emitType } from "./emitter.js";
+export { emitTypeParameters, emitParameterType } from "./parameters.js";
+export { emitPrimitiveType } from "./primitives.js";
+export { emitReferenceType } from "./references.js";
+export { emitArrayType } from "./arrays.js";
+export { emitFunctionType } from "./functions.js";
+export { emitObjectType } from "./objects.js";
+export { emitUnionType } from "./unions.js";
+export { emitIntersectionType } from "./intersections.js";
+export { emitLiteralType } from "./literals.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACxE,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,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC"}

package/{src/types/index.ts → dist/types/index.js}

@@ -1,7 +1,6 @@
 /**
  * Type emitter - Public API
  */
-
 export { emitType } from "./emitter.js";
 export { emitTypeParameters, emitParameterType } from "./parameters.js";
 export { emitPrimitiveType } from "./primitives.js";
@@ -12,3 +11,4 @@ export { emitObjectType } from "./objects.js";
 export { emitUnionType } from "./unions.js";
 export { emitIntersectionType } from "./intersections.js";
 export { emitLiteralType } from "./literals.js";
+//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACxE,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,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC"}

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

@@ -0,0 +1,6 @@
+/**
+ * Tests for Type Emission
+ * Tests emission of primitive types and async/Task types
+ */
+export {};
+//# sourceMappingURL=index.test.d.ts.map

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

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

package/dist/types/index.test.js

@@ -0,0 +1,109 @@
+/**
+ * Tests for Type Emission
+ * Tests emission of primitive types and async/Task types
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../emitter.js";
+describe("Type Emission", () => {
+    it("should emit primitive types correctly", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "a" },
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "b" },
+                            type: { kind: "primitiveType", name: "number" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "c" },
+                            type: { kind: "primitiveType", name: "boolean" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "voidType" },
+                    body: { kind: "blockStatement", statements: [] },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("string a");
+        expect(result).to.include("double b");
+        expect(result).to.include("bool c");
+    });
+    it("should emit async functions with Task types", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "fetchData",
+                    parameters: [],
+                    returnType: {
+                        kind: "referenceType",
+                        name: "Promise",
+                        typeArguments: [{ kind: "primitiveType", name: "string" }],
+                    },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "returnStatement",
+                                expression: {
+                                    kind: "await",
+                                    expression: {
+                                        kind: "call",
+                                        callee: { kind: "identifier", name: "getData" },
+                                        arguments: [],
+                                        isOptional: false,
+                                    },
+                                },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: true,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("public static async Task<string> fetchData()");
+        expect(result).to.include("await getData()");
+        expect(result).to.include("using System.Threading.Tasks");
+    });
+});
+//# sourceMappingURL=index.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.test.js","sourceRoot":"","sources":["../../src/types/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,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,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;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;wBACD;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;wBACD;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,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;oBAChD,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,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,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,WAAW;oBACjB,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE;wBACV,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,SAAS;wBACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;qBAC3D;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,OAAO;oCACb,UAAU,EAAE;wCACV,IAAI,EAAE,MAAM;wCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;wCAC/C,SAAS,EAAE,EAAE;wCACb,UAAU,EAAE,KAAK;qCAClB;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,IAAI;oBACb,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,8CAA8C,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/intersections.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Intersection type emission
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit intersection types as object (C# doesn't have intersection types)
+ */
+export declare const emitIntersectionType: (_type: Extract<IrType, {
+    kind: "intersectionType";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=intersections.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"intersections.d.ts","sourceRoot":"","sources":["../../src/types/intersections.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,oBAAoB,GAC/B,OAAO,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAKzB,CAAC"}

package/dist/types/intersections.js

@@ -0,0 +1,13 @@
+/**
+ * Intersection type emission
+ */
+/**
+ * Emit intersection types as object (C# doesn't have intersection types)
+ */
+export const emitIntersectionType = (_type, context) => {
+    // C# doesn't have intersection types
+    // For MVP, we'll use object
+    // In a more complete implementation, we might generate an interface
+    return ["object", context];
+};
+//# sourceMappingURL=intersections.js.map

package/dist/types/intersections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersections.js","sourceRoot":"","sources":["../../src/types/intersections.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAoD,EACpD,OAAuB,EACG,EAAE;IAC5B,qCAAqC;IACrC,4BAA4B;IAC5B,oEAAoE;IACpE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC7B,CAAC,CAAC"}

package/dist/types/literals.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Literal type emission
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+/**
+ * Emit literal types (string, number, boolean literals)
+ */
+export declare const emitLiteralType: (type: Extract<IrType, {
+    kind: "literalType";
+}>, context: EmitterContext) => [string, EmitterContext];
+//# sourceMappingURL=literals.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../src/types/literals.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,eAAe,GAC1B,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAYzB,CAAC"}

package/dist/types/literals.js

@@ -0,0 +1,20 @@
+/**
+ * Literal type emission
+ */
+/**
+ * Emit literal types (string, number, boolean literals)
+ */
+export const emitLiteralType = (type, context) => {
+    // For literal types, we emit the base type
+    if (typeof type.value === "string") {
+        return ["string", context];
+    }
+    if (typeof type.value === "number") {
+        return ["double", context];
+    }
+    if (typeof type.value === "boolean") {
+        return ["bool", context];
+    }
+    return ["object", context];
+};
+//# sourceMappingURL=literals.js.map