@tsonic/frontend 0.0.1 → 0.0.4

package/dist/ir/hierarchical-bindings-e2e.test.js

@@ -0,0 +1,129 @@
+/**
+ * End-to-end test for hierarchical bindings
+ * Verifies the full pipeline: TypeScript -> IR -> C# with hierarchical bindings
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { buildIrModule } from "./builder.js";
+import { DotnetMetadataRegistry } from "../dotnet-metadata.js";
+import { BindingRegistry } from "../program/bindings.js";
+import { createClrBindingsResolver } from "../resolver/clr-bindings-resolver.js";
+describe("Hierarchical Bindings End-to-End", () => {
+    it("should resolve hierarchical bindings in IR for member access chain", () => {
+        // TypeScript source with systemLinq.enumerable.selectMany
+        const source = `
+      export function processData() {
+        const arr = [1, 2, 3];
+        // systemLinq.enumerable.selectMany should resolve to System.Linq.Enumerable.SelectMany
+        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: {
+                projectRoot: "/test",
+                sourceRoot: "/test",
+                rootNamespace: "TestApp",
+                strict: true,
+            },
+            sourceFiles: [sourceFile],
+            metadata: new DotnetMetadataRegistry(),
+            bindings,
+            clrResolver: createClrBindingsResolver("/test"),
+        };
+        // Build IR
+        const irResult = buildIrModule(sourceFile, testProgram, {
+            sourceRoot: "/test",
+            rootNamespace: "TestApp",
+        });
+        // MUST succeed - this is a strict test
+        if (!irResult.ok) {
+            console.error("IR build failed:", irResult.error);
+            throw new Error(`IR build MUST succeed for e2e test, got error: ${JSON.stringify(irResult.error)}`);
+        }
+        const irModule = irResult.value;
+        // Navigate to the selectMany call in IR
+        const funcDecl = irModule.body[0];
+        expect(funcDecl?.kind).to.equal("functionDeclaration", "First body item should be function declaration");
+        if (funcDecl?.kind !== "functionDeclaration")
+            return;
+        // First statement: const arr = [1, 2, 3];
+        // Second statement: const result = systemLinq.enumerable.selectMany(...)
+        const resultDecl = funcDecl.body.statements[1];
+        expect(resultDecl?.kind).to.equal("variableDeclaration", "Second statement should be variable declaration for result");
+        if (resultDecl?.kind !== "variableDeclaration")
+            return;
+        const declarator = resultDecl.declarations[0];
+        if (!declarator?.initializer) {
+            throw new Error("Expected initializer for result variable");
+        }
+        // The initializer is the systemLinq.enumerable.selectMany(...) call
+        const callExpr = declarator.initializer;
+        expect(callExpr.kind).to.equal("call", "Initializer should be call expression");
+        if (callExpr.kind !== "call")
+            return;
+        // The callee is systemLinq.enumerable.selectMany (member access)
+        const memberExpr = callExpr.callee;
+        expect(memberExpr.kind).to.equal("memberAccess", "Callee should be member access");
+        if (memberExpr.kind !== "memberAccess")
+            return;
+        // CRITICAL: Verify memberBinding was resolved by the hierarchical binding system
+        expect(memberExpr.memberBinding, "Member binding MUST be resolved for systemLinq.enumerable.selectMany").to.not.equal(undefined);
+        expect(memberExpr.memberBinding?.assembly).to.equal("System.Linq");
+        expect(memberExpr.memberBinding?.type).to.equal("System.Linq.Enumerable");
+        expect(memberExpr.memberBinding?.member).to.equal("SelectMany");
+        console.log("✅ End-to-end test passed: Hierarchical bindings work!");
+    });
+});
+//# sourceMappingURL=hierarchical-bindings-e2e.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hierarchical-bindings-e2e.test.js","sourceRoot":"","sources":["../../src/ir/hierarchical-bindings-e2e.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,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AAEjF,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,0DAA0D;QAC1D,MAAM,MAAM,GAAG;;;;;;;KAOd,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;gBACP,WAAW,EAAE,OAAO;gBACpB,UAAU,EAAE,OAAO;gBACnB,aAAa,EAAE,SAAS;gBACxB,MAAM,EAAE,IAAI;aACb;YACD,WAAW,EAAE,CAAC,UAAU,CAAC;YACzB,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ;YACR,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;SAChD,CAAC;QAEF,WAAW;QACX,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE;YACtD,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;SACzB,CAAC,CAAC;QAEH,uCAAuC;QACvC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO,CAAC,KAAK,CAAC,kBAAkB,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,IAAI,KAAK,CACb,kDAAkD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CACnF,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC;QAEhC,wCAAwC;QACxC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC7B,qBAAqB,EACrB,gDAAgD,CACjD,CAAC;QACF,IAAI,QAAQ,EAAE,IAAI,KAAK,qBAAqB;YAAE,OAAO;QAErD,0CAA0C;QAC1C,yEAAyE;QACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC/B,qBAAqB,EACrB,4DAA4D,CAC7D,CAAC;QACF,IAAI,UAAU,EAAE,IAAI,KAAK,qBAAqB;YAAE,OAAO;QAEvD,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9D,CAAC;QAED,oEAAoE;QACpE,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC;QACxC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC5B,MAAM,EACN,uCAAuC,CACxC,CAAC;QACF,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAErC,iEAAiE;QACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC;QACnC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC9B,cAAc,EACd,gCAAgC,CACjC,CAAC;QACF,IAAI,UAAU,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO;QAE/C,iFAAiF;QACjF,MAAM,CACJ,UAAU,CAAC,aAAa,EACxB,sEAAsE,CACvE,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAE1B,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACnE,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC1E,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAEhE,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/{src/ir/index.ts → dist/ir/index.d.ts}

@@ -1,6 +1,6 @@
 /**
  * IR module exports
  */
-
 export * from "./types.js";
 export { buildIr, buildIrModule, type IrBuildOptions } from "./builder.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC"}

package/dist/ir/index.js

@@ -0,0 +1,6 @@
+/**
+ * IR module exports
+ */
+export * from "./types.js";
+export { buildIr, buildIrModule } from "./builder.js";
+//# sourceMappingURL=index.js.map

package/dist/ir/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,aAAa,EAAuB,MAAM,cAAc,CAAC"}

package/dist/ir/statement-converter.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Statement converter - TypeScript AST to IR statements
+ * Main dispatcher - delegates to specialized modules
+ */
+import * as ts from "typescript";
+import { IrStatement } from "./types.js";
+/**
+ * Main statement converter dispatcher
+ */
+export declare const convertStatement: (node: ts.Node, checker: ts.TypeChecker) => IrStatement | null;
+export { convertBlockStatement } from "./converters/statements/control.js";
+export { convertParameters } from "./converters/statements/helpers.js";
+export { setMetadataRegistry, setBindingRegistry, } from "./converters/statements/declarations.js";
+//# sourceMappingURL=statement-converter.d.ts.map

package/dist/ir/statement-converter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-converter.d.ts","sourceRoot":"","sources":["../../src/ir/statement-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAwBzC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,WAAW,GAAG,IAmFhB,CAAC;AAGF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,yCAAyC,CAAC"}

package/dist/ir/statement-converter.js

@@ -0,0 +1,100 @@
+/**
+ * Statement converter - TypeScript AST to IR statements
+ * Main dispatcher - delegates to specialized modules
+ */
+import * as ts from "typescript";
+import { convertExpression } from "./expression-converter.js";
+// Import converters from specialized modules
+import { convertVariableStatement, convertFunctionDeclaration, convertClassDeclaration, convertInterfaceDeclaration, convertEnumDeclaration, convertTypeAliasDeclaration, } from "./converters/statements/declarations.js";
+import { convertIfStatement, convertWhileStatement, convertForStatement, convertForOfStatement, convertForInStatement, convertSwitchStatement, convertTryStatement, convertBlockStatement, } from "./converters/statements/control.js";
+/**
+ * Main statement converter dispatcher
+ */
+export const convertStatement = (node, checker) => {
+    if (ts.isVariableStatement(node)) {
+        return convertVariableStatement(node, checker);
+    }
+    if (ts.isFunctionDeclaration(node)) {
+        return convertFunctionDeclaration(node, checker);
+    }
+    if (ts.isClassDeclaration(node)) {
+        return convertClassDeclaration(node, checker);
+    }
+    if (ts.isInterfaceDeclaration(node)) {
+        return convertInterfaceDeclaration(node, checker);
+    }
+    if (ts.isEnumDeclaration(node)) {
+        return convertEnumDeclaration(node, checker);
+    }
+    if (ts.isTypeAliasDeclaration(node)) {
+        return convertTypeAliasDeclaration(node, checker);
+    }
+    if (ts.isExpressionStatement(node)) {
+        return {
+            kind: "expressionStatement",
+            expression: convertExpression(node.expression, checker),
+        };
+    }
+    if (ts.isReturnStatement(node)) {
+        return {
+            kind: "returnStatement",
+            expression: node.expression
+                ? convertExpression(node.expression, checker)
+                : undefined,
+        };
+    }
+    if (ts.isIfStatement(node)) {
+        return convertIfStatement(node, checker);
+    }
+    if (ts.isWhileStatement(node)) {
+        return convertWhileStatement(node, checker);
+    }
+    if (ts.isForStatement(node)) {
+        return convertForStatement(node, checker);
+    }
+    if (ts.isForOfStatement(node)) {
+        return convertForOfStatement(node, checker);
+    }
+    if (ts.isForInStatement(node)) {
+        return convertForInStatement(node, checker);
+    }
+    if (ts.isSwitchStatement(node)) {
+        return convertSwitchStatement(node, checker);
+    }
+    if (ts.isThrowStatement(node)) {
+        if (!node.expression) {
+            return null;
+        }
+        return {
+            kind: "throwStatement",
+            expression: convertExpression(node.expression, checker),
+        };
+    }
+    if (ts.isTryStatement(node)) {
+        return convertTryStatement(node, checker);
+    }
+    if (ts.isBlock(node)) {
+        return convertBlockStatement(node, checker);
+    }
+    if (ts.isBreakStatement(node)) {
+        return {
+            kind: "breakStatement",
+            label: node.label?.text,
+        };
+    }
+    if (ts.isContinueStatement(node)) {
+        return {
+            kind: "continueStatement",
+            label: node.label?.text,
+        };
+    }
+    if (ts.isEmptyStatement(node)) {
+        return { kind: "emptyStatement" };
+    }
+    return null;
+};
+// Re-export commonly used functions for backward compatibility
+export { convertBlockStatement } from "./converters/statements/control.js";
+export { convertParameters } from "./converters/statements/helpers.js";
+export { setMetadataRegistry, setBindingRegistry, } from "./converters/statements/declarations.js";
+//# sourceMappingURL=statement-converter.js.map

package/dist/ir/statement-converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-converter.js","sourceRoot":"","sources":["../../src/ir/statement-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,6CAA6C;AAC7C,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,2BAA2B,GAC5B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,oCAAoC,CAAC;AAE5C;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAa,EACb,OAAuB,EACH,EAAE;IACtB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;gBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;gBAC7C,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACpC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,yCAAyC,CAAC"}

package/dist/ir/type-converter/arrays.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Array type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript array type to IR array type
+ */
+export declare const convertArrayType: (node: ts.ArrayTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+//# sourceMappingURL=arrays.d.ts.map

package/dist/ir/type-converter/arrays.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrays.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/arrays.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAKF,CAAC"}

package/dist/ir/type-converter/arrays.js

@@ -0,0 +1,13 @@
+/**
+ * Array type conversion
+ */
+/**
+ * Convert TypeScript array type to IR array type
+ */
+export const convertArrayType = (node, checker, convertType) => {
+    return {
+        kind: "arrayType",
+        elementType: convertType(node.elementType, checker),
+    };
+};
+//# sourceMappingURL=arrays.js.map

package/dist/ir/type-converter/arrays.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrays.js","sourceRoot":"","sources":["../../../src/ir/type-converter/arrays.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAsB,EACtB,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;KACpD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/converter.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Type converter - TypeScript types to IR types
+ * Main dispatcher - re-exports from orchestrator
+ */
+export { convertType, convertFunctionType, convertObjectType, } from "./orchestrator.js";
+//# sourceMappingURL=converter.d.ts.map

package/dist/ir/type-converter/converter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"converter.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC"}

package/dist/ir/type-converter/converter.js

@@ -0,0 +1,6 @@
+/**
+ * Type converter - TypeScript types to IR types
+ * Main dispatcher - re-exports from orchestrator
+ */
+export { convertType, convertFunctionType, convertObjectType, } from "./orchestrator.js";
+//# sourceMappingURL=converter.js.map

package/dist/ir/type-converter/converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"converter.js","sourceRoot":"","sources":["../../../src/ir/type-converter/converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC"}

package/dist/ir/type-converter/functions.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Function type conversion
+ */
+import * as ts from "typescript";
+import { IrType, IrFunctionType } from "../types.js";
+/**
+ * Convert TypeScript function type to IR function type
+ */
+export declare const convertFunctionType: (node: ts.FunctionTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrFunctionType;
+//# sourceMappingURL=functions.d.ts.map

package/dist/ir/type-converter/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGrD;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,gBAAgB,EACzB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,cAMF,CAAC"}

package/dist/ir/type-converter/functions.js

@@ -0,0 +1,15 @@
+/**
+ * Function type conversion
+ */
+import { convertParameters as convertParametersFromStatement } from "../statement-converter.js";
+/**
+ * Convert TypeScript function type to IR function type
+ */
+export const convertFunctionType = (node, checker, convertType) => {
+    return {
+        kind: "functionType",
+        parameters: convertParametersFromStatement(node.parameters, checker),
+        returnType: convertType(node.type, checker),
+    };
+};
+//# sourceMappingURL=functions.js.map

package/dist/ir/type-converter/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../src/ir/type-converter/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,IAAI,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAEhG;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAyB,EACzB,OAAuB,EACvB,WAAmE,EACnD,EAAE;IAClB,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,8BAA8B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACpE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;KAC5C,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Type converter - Public API
+ */
+export { convertType, convertFunctionType, convertObjectType, } from "./converter.js";
+export { convertBindingName } from "./patterns.js";
+export { inferType, convertTsTypeToIr } from "./inference.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/ir/type-converter/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC"}

package/{src/ir/type-converter/index.ts → dist/ir/type-converter/index.js}

@@ -1,11 +1,7 @@
 /**
  * Type converter - Public API
  */
-
-export {
-  convertType,
-  convertFunctionType,
-  convertObjectType,
-} from "./converter.js";
+export { convertType, convertFunctionType, convertObjectType, } from "./converter.js";
 export { convertBindingName } from "./patterns.js";
 export { inferType, convertTsTypeToIr } from "./inference.js";
+//# sourceMappingURL=index.js.map

package/dist/ir/type-converter/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/type-converter/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/ir/type-converter/inference.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Type inference - Converts TypeScript inferred types to IR types
+ *
+ * This uses the TypeChecker to get the inferred type and converts it to IR.
+ * Used for declarations without explicit type annotations where the type
+ * must be inferred from the initializer.
+ */
+import * as ts from "typescript";
+import type { IrType } from "../types.js";
+/**
+ * Infer IR type from a declaration node using the TypeChecker.
+ * Returns undefined for complex types that cannot be easily represented.
+ */
+export declare const inferType: (node: ts.VariableDeclaration | ts.PropertyDeclaration, checker: ts.TypeChecker) => IrType | undefined;
+/**
+ * Convert a TypeScript Type (from checker) to IR type.
+ * This is different from convertType which takes a TypeNode (syntax).
+ */
+export declare const convertTsTypeToIr: (type: ts.Type, checker: ts.TypeChecker) => IrType | undefined;
+//# sourceMappingURL=inference.d.ts.map

package/dist/ir/type-converter/inference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/inference.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C;;;GAGG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,mBAAmB,EACrD,SAAS,EAAE,CAAC,WAAW,KACtB,MAAM,GAAG,SAGX,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,MAAM,GAAG,SA4FX,CAAC"}

package/dist/ir/type-converter/inference.js

@@ -0,0 +1,105 @@
+/**
+ * Type inference - Converts TypeScript inferred types to IR types
+ *
+ * This uses the TypeChecker to get the inferred type and converts it to IR.
+ * Used for declarations without explicit type annotations where the type
+ * must be inferred from the initializer.
+ */
+import * as ts from "typescript";
+/**
+ * Infer IR type from a declaration node using the TypeChecker.
+ * Returns undefined for complex types that cannot be easily represented.
+ */
+export const inferType = (node, checker) => {
+    const type = checker.getTypeAtLocation(node);
+    return convertTsTypeToIr(type, checker);
+};
+/**
+ * Convert a TypeScript Type (from checker) to IR type.
+ * This is different from convertType which takes a TypeNode (syntax).
+ */
+export const convertTsTypeToIr = (type, checker) => {
+    const flags = type.flags;
+    // Primitives
+    if (flags & ts.TypeFlags.Number || flags & ts.TypeFlags.NumberLiteral) {
+        return { kind: "primitiveType", name: "number" };
+    }
+    if (flags & ts.TypeFlags.String || flags & ts.TypeFlags.StringLiteral) {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (flags & ts.TypeFlags.Boolean || flags & ts.TypeFlags.BooleanLiteral) {
+        return { kind: "primitiveType", name: "boolean" };
+    }
+    if (flags & ts.TypeFlags.Void) {
+        return { kind: "voidType" };
+    }
+    if (flags & ts.TypeFlags.Null) {
+        return { kind: "primitiveType", name: "null" };
+    }
+    if (flags & ts.TypeFlags.Undefined) {
+        return { kind: "primitiveType", name: "undefined" };
+    }
+    // Object type - check if it's an array
+    if (flags & ts.TypeFlags.Object) {
+        // Check for array type
+        if (checker.isArrayType(type)) {
+            const typeArgs = checker.getTypeArguments(type);
+            const firstArg = typeArgs[0];
+            if (firstArg !== undefined) {
+                const elementType = convertTsTypeToIr(firstArg, checker);
+                if (elementType) {
+                    return { kind: "arrayType", elementType };
+                }
+            }
+            return { kind: "arrayType", elementType: { kind: "anyType" } };
+        }
+        // Check for callable signatures (function types)
+        const callSignatures = type.getCallSignatures();
+        if (callSignatures.length > 0) {
+            // Function types need complex handling - return undefined for now
+            return undefined;
+        }
+        // Check for symbol with name (class, interface, etc.)
+        const objectType = type;
+        if (objectType.symbol) {
+            const name = objectType.symbol.name;
+            // Skip internal TypeScript symbol names
+            if (name.startsWith("__")) {
+                return undefined;
+            }
+            // For named types, return as reference type with type arguments if generic
+            if (name && name !== "Object" && name !== "Array") {
+                // Extract type arguments for generic types
+                const typeRef = type;
+                const typeArgs = checker.getTypeArguments(typeRef);
+                if (typeArgs && typeArgs.length > 0) {
+                    const irTypeArgs = typeArgs
+                        .map((arg) => convertTsTypeToIr(arg, checker))
+                        .filter((t) => t !== undefined);
+                    if (irTypeArgs.length === typeArgs.length) {
+                        return { kind: "referenceType", name, typeArguments: irTypeArgs };
+                    }
+                }
+                return { kind: "referenceType", name };
+            }
+        }
+        // Anonymous object type
+        return undefined;
+    }
+    // Type parameters (e.g., T in Container<T>)
+    if (flags & ts.TypeFlags.TypeParameter) {
+        const typeParam = type;
+        const name = typeParam.symbol?.name ?? "T";
+        return { kind: "typeParameterType", name };
+    }
+    // Any and unknown
+    if (flags & ts.TypeFlags.Any || flags & ts.TypeFlags.Unknown) {
+        return { kind: "anyType" };
+    }
+    // Union and intersection types - too complex for simple inference
+    if (flags & ts.TypeFlags.Union || flags & ts.TypeFlags.Intersection) {
+        return undefined;
+    }
+    return undefined;
+};
+//# sourceMappingURL=inference.js.map

package/dist/ir/type-converter/inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference.js","sourceRoot":"","sources":["../../../src/ir/type-converter/inference.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAAqD,EACrD,OAAuB,EACH,EAAE;IACtB,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAa,EACb,OAAuB,EACH,EAAE;IACtB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAEzB,aAAa;IACb,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QACtE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QACtE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc,EAAE,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,uCAAuC;IACvC,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAChC,uBAAuB;QACvB,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC;YACpE,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACzD,IAAI,WAAW,EAAE,CAAC;oBAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;gBAC5C,CAAC;YACH,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;QACjE,CAAC;QAED,iDAAiD;QACjD,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAChD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,kEAAkE;YAClE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,sDAAsD;QACtD,MAAM,UAAU,GAAG,IAAqB,CAAC;QACzC,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;YACpC,wCAAwC;YACxC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,2EAA2E;YAC3E,IAAI,IAAI,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClD,2CAA2C;gBAC3C,MAAM,OAAO,GAAG,IAAwB,CAAC;gBACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;gBACnD,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpC,MAAM,UAAU,GAAG,QAAQ;yBACxB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;yBAC7C,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;oBAC/C,IAAI,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;wBAC1C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;oBACpE,CAAC;gBACH,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;YACzC,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4CAA4C;IAC5C,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,IAAwB,CAAC;QAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,IAAI,GAAG,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;IAC7C,CAAC;IAED,kBAAkB;IAClB,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QAC7D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC7B,CAAC;IAED,kEAAkE;IAClE,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC;QACpE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/type-converter/literals.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Literal type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript literal type to IR literal type
+ */
+export declare const convertLiteralType: (node: ts.LiteralTypeNode) => IrType;
+//# sourceMappingURL=literals.d.ts.map

package/dist/ir/type-converter/literals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,EAAE,CAAC,eAAe,KAAG,MA6B7D,CAAC"}

package/dist/ir/type-converter/literals.js

@@ -0,0 +1,31 @@
+/**
+ * Literal type conversion
+ */
+import * as ts from "typescript";
+/**
+ * Convert TypeScript literal type to IR literal type
+ */
+export const convertLiteralType = (node) => {
+    const literal = node.literal;
+    if (ts.isStringLiteral(literal)) {
+        return { kind: "literalType", value: literal.text };
+    }
+    if (ts.isNumericLiteral(literal)) {
+        return { kind: "literalType", value: Number(literal.text) };
+    }
+    if (literal.kind === ts.SyntaxKind.TrueKeyword) {
+        return { kind: "literalType", value: true };
+    }
+    if (literal.kind === ts.SyntaxKind.FalseKeyword) {
+        return { kind: "literalType", value: false };
+    }
+    if (literal.kind === ts.SyntaxKind.NullKeyword) {
+        return { kind: "primitiveType", name: "null" };
+    }
+    if (literal.kind === ts.SyntaxKind.UndefinedKeyword) {
+        return { kind: "primitiveType", name: "undefined" };
+    }
+    // Fallback
+    return { kind: "anyType" };
+};
+//# sourceMappingURL=literals.js.map

package/dist/ir/type-converter/literals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../../src/ir/type-converter/literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAwB,EAAU,EAAE;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QAChD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC/C,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,WAAW;IACX,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC,CAAC"}

package/dist/ir/type-converter/objects.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Object/interface type conversion
+ */
+import * as ts from "typescript";
+import { IrType, IrObjectType, IrDictionaryType } from "../types.js";
+/**
+ * Convert TypeScript object literal type to IR type.
+ *
+ * Returns IrDictionaryType for pure index signature types like:
+ * - `{ [k: string]: T }`
+ * - `{ [k: number]: T }`
+ *
+ * Returns IrObjectType for regular object types with named members.
+ */
+export declare const convertObjectType: (node: ts.TypeLiteralNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrObjectType | IrDictionaryType;
+//# sourceMappingURL=objects.d.ts.map

package/dist/ir/type-converter/objects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"objects.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/objects.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,YAAY,EACZ,gBAAgB,EAIjB,MAAM,aAAa,CAAC;AAGrB;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,eAAe,EACxB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,YAAY,GAAG,gBAgEjB,CAAC"}