@tsonic/emitter 0.0.1 → 0.0.2

package/dist/hierarchical-bindings.test.js

@@ -0,0 +1,194 @@
+/**
+ * Full pipeline test: TypeScript -> IR -> C#
+ * Tests hierarchical bindings end-to-end
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { buildIrModule, DotnetMetadataRegistry, BindingRegistry, createDotNetImportResolver, } from "@tsonic/frontend";
+import { emitModule } from "./emitter.js";
+describe("Hierarchical Bindings - Full Pipeline", () => {
+    it("should compile TypeScript with hierarchical bindings to correct C#", () => {
+        const source = `
+      export function processData() {
+        const arr = [1, 2, 3];
+        const result = systemLinq.enumerable.selectMany(arr, x => [x, x * 2]);
+        return result;
+      }
+    `;
+        // Create hierarchical binding manifest
+        const bindings = new BindingRegistry();
+        bindings.addBindings("/test/system-linq.json", {
+            assembly: "System.Linq",
+            namespaces: [
+                {
+                    name: "System.Linq",
+                    alias: "systemLinq",
+                    types: [
+                        {
+                            name: "Enumerable",
+                            alias: "enumerable",
+                            kind: "class",
+                            members: [
+                                {
+                                    kind: "method",
+                                    name: "SelectMany",
+                                    alias: "selectMany",
+                                    binding: {
+                                        assembly: "System.Linq",
+                                        type: "System.Linq.Enumerable",
+                                        member: "SelectMany",
+                                    },
+                                },
+                            ],
+                        },
+                    ],
+                },
+            ],
+        });
+        // Create TypeScript program
+        const fileName = "/test/sample.ts";
+        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const program = ts.createProgram([fileName], {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.ES2022,
+        }, {
+            getSourceFile: (name) => (name === fileName ? sourceFile : undefined),
+            writeFile: () => { },
+            getCurrentDirectory: () => "/test",
+            getDirectories: () => [],
+            fileExists: () => true,
+            readFile: () => source,
+            getCanonicalFileName: (f) => f,
+            useCaseSensitiveFileNames: () => true,
+            getNewLine: () => "\n",
+            getDefaultLibFileName: (_options) => "lib.d.ts",
+        });
+        const testProgram = {
+            program,
+            checker: program.getTypeChecker(),
+            options: { sourceRoot: "/test", rootNamespace: "TestApp", strict: true },
+            sourceFiles: [sourceFile],
+            metadata: new DotnetMetadataRegistry(),
+            bindings,
+            dotnetResolver: createDotNetImportResolver("/test"),
+        };
+        // Step 1: Build IR
+        const irResult = buildIrModule(sourceFile, testProgram, {
+            sourceRoot: "/test",
+            rootNamespace: "TestApp",
+        });
+        if (!irResult.ok) {
+            throw new Error(`IR build must succeed for full pipeline test: ${JSON.stringify(irResult.error)}`);
+        }
+        const irModule = irResult.value;
+        // Step 2: Emit C# code
+        const csharpCode = emitModule(irModule);
+        // Verify correct CLR member call
+        expect(csharpCode).to.include("System.Linq.Enumerable.SelectMany", "C# should use full CLR type.member from binding");
+        // Verify using statement was added
+        expect(csharpCode).to.include("using System.Linq", "C# should include using for assembly");
+        // Verify intermediate TypeScript names are NOT in output
+        expect(csharpCode).to.not.include("systemLinq", "C# should not contain TS namespace identifier");
+        expect(csharpCode).to.not.include("enumerable", "C# should not contain TS type identifier");
+        // Verify function structure (may be void if return type not inferred)
+        expect(csharpCode).to.match(/public static (void|object) processData\(/, "C# should have processData function");
+    });
+    it("should handle multiple hierarchical bindings in same code", () => {
+        const source = `
+      export function multipleBindings() {
+        const a = myLib.typeA.methodA(1);
+        const b = myLib.typeB.methodB("test");
+        return a + b;
+      }
+    `;
+        const bindings = new BindingRegistry();
+        bindings.addBindings("/test/mylib.json", {
+            assembly: "MyLib",
+            namespaces: [
+                {
+                    name: "MyLib",
+                    alias: "myLib",
+                    types: [
+                        {
+                            name: "TypeA",
+                            alias: "typeA",
+                            kind: "class",
+                            members: [
+                                {
+                                    kind: "method",
+                                    name: "MethodA",
+                                    alias: "methodA",
+                                    binding: {
+                                        assembly: "MyLib",
+                                        type: "MyLib.TypeA",
+                                        member: "MethodA",
+                                    },
+                                },
+                            ],
+                        },
+                        {
+                            name: "TypeB",
+                            alias: "typeB",
+                            kind: "class",
+                            members: [
+                                {
+                                    kind: "method",
+                                    name: "MethodB",
+                                    alias: "methodB",
+                                    binding: {
+                                        assembly: "MyLib",
+                                        type: "MyLib.TypeB",
+                                        member: "MethodB",
+                                    },
+                                },
+                            ],
+                        },
+                    ],
+                },
+            ],
+        });
+        const fileName = "/test/multi.ts";
+        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true);
+        const program = ts.createProgram([fileName], {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.ES2022,
+        }, {
+            getSourceFile: (name) => (name === fileName ? sourceFile : undefined),
+            writeFile: () => { },
+            getCurrentDirectory: () => "/test",
+            getDirectories: () => [],
+            fileExists: () => true,
+            readFile: () => source,
+            getCanonicalFileName: (f) => f,
+            useCaseSensitiveFileNames: () => true,
+            getNewLine: () => "\n",
+            getDefaultLibFileName: (_options) => "lib.d.ts",
+        });
+        const testProgram = {
+            program,
+            checker: program.getTypeChecker(),
+            options: { sourceRoot: "/test", rootNamespace: "TestApp", strict: true },
+            sourceFiles: [sourceFile],
+            metadata: new DotnetMetadataRegistry(),
+            bindings,
+            dotnetResolver: createDotNetImportResolver("/test"),
+        };
+        const irResult = buildIrModule(sourceFile, testProgram, {
+            sourceRoot: "/test",
+            rootNamespace: "TestApp",
+        });
+        if (!irResult.ok) {
+            throw new Error("IR build failed for multiple bindings test");
+        }
+        const csharpCode = emitModule(irResult.value);
+        // Both CLR calls should be present
+        expect(csharpCode).to.include("MyLib.TypeA.MethodA");
+        expect(csharpCode).to.include("MyLib.TypeB.MethodB");
+        // TypeScript identifiers should not appear
+        expect(csharpCode).to.not.include("myLib");
+        expect(csharpCode).to.not.include("typeA");
+        expect(csharpCode).to.not.include("typeB");
+    });
+});
+//# sourceMappingURL=hierarchical-bindings.test.js.map

package/dist/hierarchical-bindings.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hierarchical-bindings.test.js","sourceRoot":"","sources":["../src/hierarchical-bindings.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,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,0BAA0B,GAC3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG;;;;;;KAMd,CAAC;QAEF,uCAAuC;QACvC,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;QACvC,QAAQ,CAAC,WAAW,CAAC,wBAAwB,EAAE;YAC7C,QAAQ,EAAE,aAAa;YACvB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,YAAY;oBACnB,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,YAAY;4BAClB,KAAK,EAAE,YAAY;4BACnB,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,QAAQ;oCACd,IAAI,EAAE,YAAY;oCAClB,KAAK,EAAE,YAAY;oCACnB,OAAO,EAAE;wCACP,QAAQ,EAAE,aAAa;wCACvB,IAAI,EAAE,wBAAwB;wCAC9B,MAAM,EAAE,YAAY;qCACrB;iCACF;6BACF;yBACF;qBACF;iBACF;aACF;SACF,CAAC,CAAC;QAEH,4BAA4B;QAC5B,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACnC,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,CAAC,EACV;YACE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;SAC7B,EACD;YACE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;YACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;YAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;YACxB,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM;YACtB,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;YACrC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU;SAChD,CACF,CAAC;QAEF,MAAM,WAAW,GAAG;YAClB,OAAO;YACP,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;YACjC,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE;YACxE,WAAW,EAAE,CAAC,UAAU,CAAC;YACzB,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ;YACR,cAAc,EAAE,0BAA0B,CAAC,OAAO,CAAC;SACpD,CAAC;QAEF,mBAAmB;QACnB,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE;YACtD,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;SACzB,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,iDAAiD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAClF,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC;QAEhC,uBAAuB;QACvB,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;QAExC,iCAAiC;QACjC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,CAC3B,mCAAmC,EACnC,iDAAiD,CAClD,CAAC;QAEF,mCAAmC;QACnC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,CAC3B,mBAAmB,EACnB,sCAAsC,CACvC,CAAC;QAEF,yDAAyD;QACzD,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAC/B,YAAY,EACZ,+CAA+C,CAChD,CAAC;QACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAC/B,YAAY,EACZ,0CAA0C,CAC3C,CAAC;QAEF,sEAAsE;QACtE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CACzB,2CAA2C,EAC3C,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG;;;;;;KAMd,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;QACvC,QAAQ,CAAC,WAAW,CAAC,kBAAkB,EAAE;YACvC,QAAQ,EAAE,OAAO;YACjB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,OAAO;oBACd,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE,OAAO;4BACd,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,QAAQ;oCACd,IAAI,EAAE,SAAS;oCACf,KAAK,EAAE,SAAS;oCAChB,OAAO,EAAE;wCACP,QAAQ,EAAE,OAAO;wCACjB,IAAI,EAAE,aAAa;wCACnB,MAAM,EAAE,SAAS;qCAClB;iCACF;6BACF;yBACF;wBACD;4BACE,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE,OAAO;4BACd,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,QAAQ;oCACd,IAAI,EAAE,SAAS;oCACf,KAAK,EAAE,SAAS;oCAChB,OAAO,EAAE;wCACP,QAAQ,EAAE,OAAO;wCACjB,IAAI,EAAE,aAAa;wCACnB,MAAM,EAAE,SAAS;qCAClB;iCACF;6BACF;yBACF;qBACF;iBACF;aACF;SACF,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAG,gBAAgB,CAAC;QAClC,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,CACL,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,CAAC,EACV;YACE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;SAC7B,EACD;YACE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;YACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;YAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;YACxB,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM;YACtB,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;YACrC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU;SAChD,CACF,CAAC;QAEF,MAAM,WAAW,GAAG;YAClB,OAAO;YACP,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;YACjC,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE;YACxE,WAAW,EAAE,CAAC,UAAU,CAAC;YACzB,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ;YACR,cAAc,EAAE,0BAA0B,CAAC,OAAO,CAAC;SACpD,CAAC;QAEF,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE;YACtD,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;SACzB,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAChE,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAE9C,mCAAmC;QACnC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACrD,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAErD,2CAA2C;QAC3C,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Tsonic Emitter - C# code generator
+ */
+export * from "./types.js";
+export * from "./type-emitter.js";
+export * from "./expression-emitter.js";
+export * from "./statement-emitter.js";
+export { emitModule, emitCSharpFile, emitCSharpFiles, EmitResult, } from "./emitter.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AACvC,OAAO,EACL,UAAU,EACV,cAAc,EACd,eAAe,EACf,UAAU,GACX,MAAM,cAAc,CAAC"}

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

@@ -1,14 +1,9 @@
 /**
  * Tsonic Emitter - C# code generator
  */
-
 export * from "./types.js";
 export * from "./type-emitter.js";
 export * from "./expression-emitter.js";
 export * from "./statement-emitter.js";
-export {
-  emitModule,
-  emitCSharpFile,
-  emitCSharpFiles,
-  EmitResult,
-} from "./emitter.js";
+export { emitModule, emitCSharpFile, emitCSharpFiles, } from "./emitter.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,cAAc,wBAAwB,CAAC;AACvC,OAAO,EACL,UAAU,EACV,cAAc,EACd,eAAe,GAEhB,MAAM,cAAc,CAAC"}

package/dist/integration.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * End-to-end integration tests for generics implementation
+ * Tests the complete pipeline: TypeScript -> IR -> C#
+ */
+export {};
+//# sourceMappingURL=integration.test.d.ts.map

package/dist/integration.test.d.ts.map

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

package/dist/integration.test.js

@@ -0,0 +1,234 @@
+/**
+ * End-to-end integration tests for generics implementation
+ * Tests the complete pipeline: TypeScript -> IR -> C#
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { buildIrModule, DotnetMetadataRegistry, BindingRegistry, createDotNetImportResolver, } from "@tsonic/frontend";
+import { emitModule } from "./emitter.js";
+/**
+ * Helper to compile TypeScript source to C#
+ */
+const compileToCSharp = (source, fileName = "/test/test.ts") => {
+    const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+    const compilerOptions = {
+        target: ts.ScriptTarget.ES2022,
+        module: ts.ModuleKind.NodeNext,
+        strict: true,
+        noEmit: true,
+    };
+    const host = ts.createCompilerHost(compilerOptions);
+    const originalGetSourceFile = host.getSourceFile;
+    host.getSourceFile = (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
+        if (name === fileName) {
+            return sourceFile;
+        }
+        return originalGetSourceFile.call(host, name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
+    };
+    const tsProgram = ts.createProgram([fileName], compilerOptions, host);
+    const tsonicProgram = {
+        program: tsProgram,
+        checker: tsProgram.getTypeChecker(),
+        options: {
+            sourceRoot: "/test",
+            rootNamespace: "Test",
+        },
+        sourceFiles: [sourceFile],
+        metadata: new DotnetMetadataRegistry(),
+        bindings: new BindingRegistry(),
+        dotnetResolver: createDotNetImportResolver("/test"),
+    };
+    // Build IR
+    const irResult = buildIrModule(sourceFile, tsonicProgram, {
+        sourceRoot: "/test",
+        rootNamespace: "Test",
+    });
+    if (!irResult.ok) {
+        throw new Error(`IR build failed: ${irResult.error.message}`);
+    }
+    // Emit C#
+    return emitModule(irResult.value);
+};
+describe("End-to-End Integration", () => {
+    describe("Generic Functions", () => {
+        it("should compile generic identity function to C#", () => {
+            const source = `
+        export function identity<T>(value: T): T {
+          return value;
+        }
+      `;
+            const csharp = compileToCSharp(source);
+            // Should emit generic function signature
+            expect(csharp).to.match(/public\s+static\s+T\s+identity\s*<T>/);
+            expect(csharp).to.include("(T value)");
+            expect(csharp).to.include("return value;");
+        });
+        it("should compile generic function with type alias constraint", () => {
+            const source = `
+        type HasId = { id: number };
+
+        export function getId<T extends HasId>(obj: T): number {
+          return obj.id;
+        }
+      `;
+            const csharp = compileToCSharp(source);
+            // Should emit type alias as class
+            expect(csharp).to.include("class HasId__Alias");
+            expect(csharp).to.match(/double\s+id\s*\{\s*get;\s*set;/);
+            // Should use type alias as constraint
+            expect(csharp).to.include("where T : HasId");
+            // Should have function
+            expect(csharp).to.match(/public\s+static\s+double\s+getId<T>/);
+        });
+    });
+    describe("Interfaces and Type Aliases", () => {
+        it("should compile interface to C# class", () => {
+            const source = `
+        export interface User {
+          id: number;
+          name: string;
+          email?: string;
+        }
+      `;
+            const csharp = compileToCSharp(source);
+            // Should emit C# class (not interface)
+            expect(csharp).to.match(/public\s+class\s+User/);
+            expect(csharp).not.to.include("interface User");
+            // Should have auto-properties
+            expect(csharp).to.match(/public\s+double\s+id\s*\{\s*get;\s*set;/);
+            expect(csharp).to.match(/public\s+string\s+name\s*\{\s*get;\s*set;/);
+            // Optional property should be nullable
+            expect(csharp).to.match(/public\s+string\?\s+email\s*\{\s*get;\s*set;/);
+        });
+        it("should compile structural type alias to sealed class", () => {
+            const source = `
+        export type Point = {
+          x: number;
+          y: number;
+        };
+      `;
+            const csharp = compileToCSharp(source);
+            // Should emit sealed class with __Alias suffix
+            expect(csharp).to.match(/public\s+sealed\s+class\s+Point__Alias/);
+            expect(csharp).to.match(/public\s+double\s+x\s*\{\s*get;\s*set;/);
+            expect(csharp).to.match(/public\s+double\s+y\s*\{\s*get;\s*set;/);
+        });
+        it("should compile generic interface", () => {
+            const source = `
+        export interface Result<T> {
+          ok: boolean;
+          value: T;
+        }
+      `;
+            const csharp = compileToCSharp(source);
+            // Should emit generic class
+            expect(csharp).to.match(/public\s+class\s+Result\s*<T>/);
+            expect(csharp).to.match(/public\s+bool\s+ok/);
+            expect(csharp).to.match(/public\s+T\s+value/);
+        });
+    });
+    describe("Generic Classes", () => {
+        it("should compile generic class with methods", () => {
+            const source = `
+        export class Container<T> {
+          constructor(private value: T) {}
+
+          getValue(): T {
+            return this.value;
+          }
+
+          setValue(newValue: T): void {
+            this.value = newValue;
+          }
+        }
+      `;
+            const csharp = compileToCSharp(source);
+            // Should emit generic class
+            expect(csharp).to.match(/public\s+class\s+Container\s*<T>/);
+            // Should have generic methods
+            expect(csharp).to.match(/public\s+T\s+getValue\s*\(\s*\)/);
+            expect(csharp).to.match(/public\s+void\s+setValue\s*\(\s*T\s+newValue\s*\)/);
+        });
+    });
+    describe("Combined Features", () => {
+        it("should compile code with multiple generic features", () => {
+            const source = `
+        export interface Repository<T> {
+          items: T[];
+          add(item: T): void;
+          findById(id: number): T | undefined;
+        }
+
+        export class InMemoryRepository<T extends { id: number }> {
+          private items: T[] = [];
+
+          add(item: T): void {
+            this.items.push(item);
+          }
+
+          findById(id: number): T | undefined {
+            return this.items.find(item => item.id === id);
+          }
+        }
+      `;
+            const csharp = compileToCSharp(source);
+            // Should emit Repository as generic class (interfaces become classes)
+            expect(csharp).to.match(/public\s+class\s+Repository\s*<T>/);
+            // Should emit InMemoryRepository as generic class with constraint
+            expect(csharp).to.match(/public\s+class\s+InMemoryRepository\s*<T>/);
+            expect(csharp).to.include("where T : __Constraint_T");
+            // Should generate constraint adapter
+            expect(csharp).to.match(/public\s+interface\s+__Constraint_T/);
+            expect(csharp).to.match(/double\s+id\s*\{\s*get;\s*\}/);
+        });
+    });
+    describe("Full Module Compilation", () => {
+        it("should compile a complete module with all features", () => {
+            const source = `
+        // Type definitions
+        export interface User {
+          id: number;
+          name: string;
+          email?: string;
+        }
+
+        export type UserId = number;
+
+        // Generic repository
+        export class UserRepository {
+          private users: User[] = [];
+
+          add(user: User): void {
+            this.users.push(user);
+          }
+
+          findById(id: UserId): User | undefined {
+            return this.users.find(u => u.id === id);
+          }
+
+          all(): User[] {
+            return this.users;
+          }
+        }
+
+        // Generic utility function
+        export function map<T, U>(arr: T[], fn: (item: T) => U): U[] {
+          return arr.map(fn);
+        }
+      `;
+            const csharp = compileToCSharp(source);
+            // Should have all type definitions
+            expect(csharp).to.include("class User");
+            expect(csharp).to.include("// type UserId = double"); // number → double in C#
+            // Should have the repository class
+            expect(csharp).to.include("class UserRepository");
+            // Should have the generic function
+            expect(csharp).to.match(/public\s+static\s+List<U>\s+map\s*<T,\s*U>/);
+            // Should have proper namespace structure
+            expect(csharp).to.include("namespace Test");
+            expect(csharp).to.include("public static class test");
+        });
+    });
+});
+//# sourceMappingURL=integration.test.js.map

package/dist/integration.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integration.test.js","sourceRoot":"","sources":["../src/integration.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,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,aAAa,EACb,sBAAsB,EACtB,eAAe,EACf,0BAA0B,GAC3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C;;GAEG;AACH,MAAM,eAAe,GAAG,CACtB,MAAc,EACd,QAAQ,GAAG,eAAe,EAClB,EAAE;IACV,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IAEF,MAAM,eAAe,GAAuB;QAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,IAAI;KACb,CAAC;IAEF,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACpD,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,CAAC;IACjD,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;QACF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IAEtE,MAAM,aAAa,GAAG;QACpB,OAAO,EAAE,SAAS;QAClB,OAAO,EAAE,SAAS,CAAC,cAAc,EAAE;QACnC,OAAO,EAAE;YACP,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,MAAM;SACtB;QACD,WAAW,EAAE,CAAC,UAAU,CAAC;QACzB,QAAQ,EAAE,IAAI,sBAAsB,EAAE;QACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;QAC/B,cAAc,EAAE,0BAA0B,CAAC,OAAO,CAAC;KACpD,CAAC;IAEF,WAAW;IACX,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,aAAa,EAAE;QACxD,UAAU,EAAE,OAAO;QACnB,aAAa,EAAE,MAAM;KACtB,CAAC,CAAC;IAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,oBAAoB,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,UAAU;IACV,OAAO,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,yCAAyC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAChE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,kCAAkC;YAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC;YAE1D,sCAAsC;YACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;YAE7C,uBAAuB;YACvB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,uCAAuC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAEhD,8BAA8B;YAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;YACnE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;YAErE,uCAAuC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,+CAA+C;YAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAClE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAClE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,4BAA4B;YAC5B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;YAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG;;;;;;;;;;;;OAYd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,4BAA4B;YAC5B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;YAE5D,8BAA8B;YAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;YAC3D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CACrB,mDAAmD,CACpD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;OAkBd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,sEAAsE;YACtE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;YAE7D,kEAAkE;YAClE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;YACrE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;YAEtD,qCAAqC;YACrC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+Bd,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAEvC,mCAAmC;YACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC,CAAC,wBAAwB;YAE9E,mCAAmC;YACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;YAElD,mCAAmC;YACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;YAEtE,yCAAyC;YACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/specialization/call-site-rewriting.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for Call-Site Rewriting
+ * Covers spec/15-generics.md §5 - Call-Site Rewriting and Monomorphisation
+ */
+export {};
+//# sourceMappingURL=call-site-rewriting.test.d.ts.map

package/dist/specialization/call-site-rewriting.test.d.ts.map

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

package/dist/specialization/call-site-rewriting.test.js

@@ -0,0 +1,92 @@
+/**
+ * Tests for Call-Site Rewriting
+ * Covers spec/15-generics.md §5 - Call-Site Rewriting and Monomorphisation
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../emitter.js";
+describe("Call-Site Rewriting (spec/15 §5)", () => {
+    it("should emit call with explicit type arguments", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/main.ts",
+            namespace: "MyApp",
+            className: "main",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: {
+                                    kind: "call",
+                                    callee: { kind: "identifier", name: "identity" },
+                                    arguments: [{ kind: "literal", value: "hello" }],
+                                    isOptional: false,
+                                    typeArguments: [{ kind: "primitiveType", name: "string" }],
+                                    requiresSpecialization: false,
+                                },
+                            },
+                        ],
+                    },
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("identity<string>(");
+    });
+    it("should emit specialized call when requiresSpecialization is true", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/main.ts",
+            namespace: "MyApp",
+            className: "main",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: {
+                                    kind: "call",
+                                    callee: { kind: "identifier", name: "process" },
+                                    arguments: [{ kind: "literal", value: "data" }],
+                                    isOptional: false,
+                                    typeArguments: [{ kind: "primitiveType", name: "string" }],
+                                    requiresSpecialization: true,
+                                },
+                            },
+                        ],
+                    },
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Should generate specialized name
+        expect(result).to.include("process__string(");
+        expect(result).not.to.include("process<string>(");
+    });
+});
+//# sourceMappingURL=call-site-rewriting.test.js.map

package/dist/specialization/call-site-rewriting.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-rewriting.test.js","sourceRoot":"","sources":["../../src/specialization/call-site-rewriting.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,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,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,qBAAqB;gCAC3B,UAAU,EAAE;oCACV,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE;oCAChD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;oCAChD,UAAU,EAAE,KAAK;oCACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;oCAC1D,sBAAsB,EAAE,KAAK;iCAC9B;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,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,mBAAmB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,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,qBAAqB;gCAC3B,UAAU,EAAE;oCACV,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;oCAC/C,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;oCAC/C,UAAU,EAAE,KAAK;oCACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;oCAC1D,sBAAsB,EAAE,IAAI;iCAC7B;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,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,mCAAmC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/specialization/collection/expressions.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Specialization collection from expressions
+ */
+import { IrModule, IrExpression } from "@tsonic/frontend";
+import { SpecializationRequest } from "../types.js";
+/**
+ * Collect specializations from an expression
+ */
+export declare const collectFromExpression: (expr: IrExpression, requests: SpecializationRequest[], seen: Set<string>, module: IrModule) => void;
+//# sourceMappingURL=expressions.d.ts.map

package/dist/specialization/collection/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/specialization/collection/expressions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,QAAQ,EACR,YAAY,EAGb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAIpD;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,YAAY,EAClB,UAAU,qBAAqB,EAAE,EACjC,MAAM,GAAG,CAAC,MAAM,CAAC,EACjB,QAAQ,QAAQ,KACf,IAiKF,CAAC"}