@tsonic/emitter 0.0.1 → 0.0.3

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

package/dist/types/literals.js.map

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

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

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

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

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

package/dist/types/objects.js

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

package/dist/types/objects.js.map

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

package/dist/types/parameters.d.ts

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

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

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

package/dist/types/parameters.js

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

package/dist/types/parameters.js.map

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

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

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

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

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

package/dist/types/parameters.test.js

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

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

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

package/dist/types/primitives.d.ts

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

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

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

package/dist/types/primitives.js

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

package/dist/types/primitives.js.map

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

package/dist/types/references.d.ts

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