@tsonic/frontend 0.0.1 → 0.0.2

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

@@ -0,0 +1,120 @@
+/**
+ * CLR type resolver - Maps TypeScript inferred types to CLR type strings
+ *
+ * Used for module-level const declarations and class fields where C# requires
+ * explicit types (cannot use 'var').
+ */
+import * as ts from "typescript";
+/**
+ * Resolve CLR type string from a TypeScript declaration node.
+ * Uses the type checker to get the inferred type.
+ *
+ * Returns undefined if the type cannot be resolved to a CLR primitive.
+ */
+export const resolveClrType = (node, checker) => {
+    const type = checker.getTypeAtLocation(node);
+    return mapTypeToClr(type, checker);
+};
+/**
+ * Map a TypeScript type to its CLR equivalent.
+ * Returns undefined for complex types that require IR representation.
+ */
+const mapTypeToClr = (type, checker) => {
+    const flags = type.flags;
+    // Primitives
+    if (flags & ts.TypeFlags.Number) {
+        return "double";
+    }
+    if (flags & ts.TypeFlags.String) {
+        return "string";
+    }
+    if (flags & ts.TypeFlags.Boolean) {
+        return "bool";
+    }
+    if (flags & ts.TypeFlags.BooleanLiteral) {
+        return "bool";
+    }
+    if (flags & ts.TypeFlags.Void) {
+        return "void";
+    }
+    // Number literal types (e.g., const x = 42)
+    if (flags & ts.TypeFlags.NumberLiteral) {
+        return "double";
+    }
+    // String literal types (e.g., const x = "hello")
+    if (flags & ts.TypeFlags.StringLiteral) {
+        return "string";
+    }
+    // Null and undefined
+    if (flags & ts.TypeFlags.Null) {
+        return "object";
+    }
+    if (flags & ts.TypeFlags.Undefined) {
+        return "object";
+    }
+    // Object type - check if it's an array
+    if (flags & ts.TypeFlags.Object) {
+        const objectType = type;
+        // Check for array type
+        if (checker.isArrayType(type)) {
+            const typeArgs = checker.getTypeArguments(type);
+            if (typeArgs.length > 0) {
+                const elementClr = mapTypeToClr(typeArgs[0], checker);
+                if (elementClr) {
+                    return `Tsonic.Runtime.Array<${elementClr}>`;
+                }
+            }
+            return "Tsonic.Runtime.Array<object>";
+        }
+        // Check for callable signatures (function types) - return undefined to let emitter handle
+        const callSignatures = type.getCallSignatures();
+        if (callSignatures.length > 0) {
+            return undefined; // Function types need special handling in emitter
+        }
+        // Check for symbol with name (could be class, interface, etc.)
+        if (objectType.symbol) {
+            const name = objectType.symbol.name;
+            // Known runtime types
+            if (name === "Array") {
+                return "Tsonic.Runtime.Array<object>";
+            }
+            if (name === "Object") {
+                return "object";
+            }
+            if (name === "Function") {
+                return "Delegate";
+            }
+            // Skip internal TypeScript symbol names
+            if (name.startsWith("__")) {
+                return undefined;
+            }
+            // For other named types, return the name (may need qualification later)
+            if (name) {
+                return name;
+            }
+        }
+        // Anonymous object type - cannot resolve to simple CLR type
+        return undefined;
+    }
+    // Any and unknown
+    if (flags & ts.TypeFlags.Any) {
+        return "object";
+    }
+    if (flags & ts.TypeFlags.Unknown) {
+        return "object";
+    }
+    // Never type
+    if (flags & ts.TypeFlags.Never) {
+        return undefined;
+    }
+    // Union types - cannot resolve to simple CLR type
+    if (flags & ts.TypeFlags.Union) {
+        return undefined;
+    }
+    // Intersection types - cannot resolve to simple CLR type
+    if (flags & ts.TypeFlags.Intersection) {
+        return undefined;
+    }
+    return undefined;
+};
+//# sourceMappingURL=clr-type-resolver.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"clr-type-resolver.js","sourceRoot":"","sources":["../../../src/ir/type-converter/clr-type-resolver.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAqD,EACrD,OAAuB,EACH,EAAE;IACtB,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,YAAY,GAAG,CACnB,IAAa,EACb,OAAuB,EACH,EAAE;IACtB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAEzB,aAAa;IACb,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc,EAAE,CAAC;QACxC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,4CAA4C;IAC5C,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,iDAAiD;IACjD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,qBAAqB;IACrB,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,uCAAuC;IACvC,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,IAAqB,CAAC;QAEzC,uBAAuB;QACvB,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC;YACpE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;gBACvD,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,wBAAwB,UAAU,GAAG,CAAC;gBAC/C,CAAC;YACH,CAAC;YACD,OAAO,8BAA8B,CAAC;QACxC,CAAC;QAED,0FAA0F;QAC1F,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAChD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,SAAS,CAAC,CAAC,kDAAkD;QACtE,CAAC;QAED,+DAA+D;QAC/D,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;YACpC,sBAAsB;YACtB,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBACrB,OAAO,8BAA8B,CAAC;YACxC,CAAC;YACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtB,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;gBACxB,OAAO,UAAU,CAAC;YACpB,CAAC;YACD,wCAAwC;YACxC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,wEAAwE;YACxE,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,kBAAkB;IAClB,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;QAC7B,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,aAAa;IACb,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,kDAAkD;IAClD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,yDAAyD;IACzD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,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,SA2FX,CAAC"}

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

@@ -0,0 +1,104 @@
+/**
+ * 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);
+            if (typeArgs.length > 0) {
+                const elementType = convertTsTypeToIr(typeArgs[0], 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: "referenceType", 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,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;gBAC7D,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,eAAe,EAAE,IAAI,EAAE,CAAC;IACzC,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,gBA+DjB,CAAC"}

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

@@ -0,0 +1,81 @@
+/**
+ * Object/interface type conversion
+ */
+import * as ts from "typescript";
+import { convertParameters as convertParametersFromStatement } from "../statement-converter.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 const convertObjectType = (node, checker, convertType) => {
+    // Check for pure index signature type (no other members)
+    const indexSignatures = node.members.filter(ts.isIndexSignatureDeclaration);
+    const otherMembers = node.members.filter((m) => !ts.isIndexSignatureDeclaration(m));
+    // If ONLY index signature(s) exist, convert to dictionary type
+    if (indexSignatures.length > 0 && otherMembers.length === 0) {
+        // Use the first index signature (TypeScript allows multiple, but we take first)
+        const indexSig = indexSignatures[0];
+        const keyParam = indexSig.parameters[0];
+        // Determine key type from parameter type
+        const keyType = keyParam?.type
+            ? convertKeyType(keyParam.type)
+            : { kind: "primitiveType", name: "string" };
+        // Determine value type
+        const valueType = indexSig.type
+            ? convertType(indexSig.type, checker)
+            : { kind: "anyType" };
+        return {
+            kind: "dictionaryType",
+            keyType,
+            valueType,
+        };
+    }
+    // Regular object type with named members
+    const members = [];
+    node.members.forEach((member) => {
+        if (ts.isPropertySignature(member) && member.type) {
+            const propSig = {
+                kind: "propertySignature",
+                name: member.name && ts.isIdentifier(member.name)
+                    ? member.name.text
+                    : "[computed]",
+                type: convertType(member.type, checker),
+                isOptional: !!member.questionToken,
+                isReadonly: !!member.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword),
+            };
+            members.push(propSig);
+        }
+        else if (ts.isMethodSignature(member)) {
+            const methSig = {
+                kind: "methodSignature",
+                name: member.name && ts.isIdentifier(member.name)
+                    ? member.name.text
+                    : "[computed]",
+                parameters: convertParametersFromStatement(member.parameters, checker),
+                returnType: member.type ? convertType(member.type, checker) : undefined,
+            };
+            members.push(methSig);
+        }
+    });
+    return { kind: "objectType", members };
+};
+/**
+ * Convert index signature key type to IR type.
+ * Only string and number are valid as index signature keys.
+ */
+const convertKeyType = (typeNode) => {
+    if (typeNode.kind === ts.SyntaxKind.StringKeyword) {
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (typeNode.kind === ts.SyntaxKind.NumberKeyword) {
+        return { kind: "primitiveType", name: "number" };
+    }
+    // Fallback to string for other cases
+    return { kind: "primitiveType", name: "string" };
+};
+//# sourceMappingURL=objects.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"objects.js","sourceRoot":"","sources":["../../../src/ir/type-converter/objects.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,EAAE,iBAAiB,IAAI,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAEhG;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAwB,EACxB,OAAuB,EACvB,WAAmE,EAClC,EAAE;IACnC,yDAAyD;IACzD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAC1C,CAAC;IAEF,+DAA+D;IAC/D,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,gFAAgF;QAChF,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAExC,yCAAyC;QACzC,MAAM,OAAO,GAAW,QAAQ,EAAE,IAAI;YACpC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC/B,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAE9C,uBAAuB;QACvB,MAAM,SAAS,GAAW,QAAQ,CAAC,IAAI;YACrC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACrC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAExB,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO;YACP,SAAS;SACV,CAAC;IACJ,CAAC;IAED,yCAAyC;IACzC,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9B,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAClD,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EACF,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;oBACzC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;oBAClB,CAAC,CAAC,YAAY;gBAClB,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;gBACvC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa;gBAClC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD;aACF,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;aAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACxC,MAAM,OAAO,GAAsB;gBACjC,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EACF,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;oBACzC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;oBAClB,CAAC,CAAC,YAAY;gBAClB,UAAU,EAAE,8BAA8B,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC;gBACtE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;aACxE,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,QAAqB,EAAU,EAAE;IACvD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,qCAAqC;IACrC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Type conversion orchestrator
+ */
+import * as ts from "typescript";
+import { IrType, IrFunctionType, IrObjectType, IrDictionaryType } from "../types.js";
+/**
+ * Convert TypeScript type node to IR type
+ */
+export declare const convertType: (typeNode: ts.TypeNode, checker: ts.TypeChecker) => IrType;
+export { convertFunctionType } from "./functions.js";
+export { convertObjectType } from "./objects.js";
+export type { IrFunctionType, IrObjectType, IrDictionaryType };
+//# sourceMappingURL=orchestrator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,cAAc,EACd,YAAY,EACZ,gBAAgB,EACjB,MAAM,aAAa,CAAC;AAYrB;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,UAAU,EAAE,CAAC,QAAQ,EACrB,SAAS,EAAE,CAAC,WAAW,KACtB,MAiDF,CAAC;AAGF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGjD,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC"}

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

@@ -0,0 +1,59 @@
+/**
+ * Type conversion orchestrator
+ */
+import * as ts from "typescript";
+import { convertPrimitiveKeyword } from "./primitives.js";
+import { convertTypeReference } from "./references.js";
+import { convertArrayType } from "./arrays.js";
+import { convertFunctionType } from "./functions.js";
+import { convertObjectType } from "./objects.js";
+import { convertUnionType, convertIntersectionType, } from "./unions-intersections.js";
+import { convertLiteralType } from "./literals.js";
+/**
+ * Convert TypeScript type node to IR type
+ */
+export const convertType = (typeNode, checker) => {
+    // Type references (including primitive type names)
+    if (ts.isTypeReferenceNode(typeNode)) {
+        return convertTypeReference(typeNode, checker, convertType);
+    }
+    // Primitive keywords
+    const primitiveType = convertPrimitiveKeyword(typeNode.kind);
+    if (primitiveType) {
+        return primitiveType;
+    }
+    // Array types
+    if (ts.isArrayTypeNode(typeNode)) {
+        return convertArrayType(typeNode, checker, convertType);
+    }
+    // Function types
+    if (ts.isFunctionTypeNode(typeNode)) {
+        return convertFunctionType(typeNode, checker, convertType);
+    }
+    // Object/interface types
+    if (ts.isTypeLiteralNode(typeNode)) {
+        return convertObjectType(typeNode, checker, convertType);
+    }
+    // Union types
+    if (ts.isUnionTypeNode(typeNode)) {
+        return convertUnionType(typeNode, checker, convertType);
+    }
+    // Intersection types
+    if (ts.isIntersectionTypeNode(typeNode)) {
+        return convertIntersectionType(typeNode, checker, convertType);
+    }
+    // Literal types
+    if (ts.isLiteralTypeNode(typeNode)) {
+        return convertLiteralType(typeNode);
+    }
+    // Parenthesized types
+    if (ts.isParenthesizedTypeNode(typeNode)) {
+        return convertType(typeNode.type, checker);
+    }
+    // Default to any type for unsupported types
+    return { kind: "anyType" };
+};
+// Re-export specialized converters for backward compatibility
+export { convertFunctionType } from "./functions.js";
+export { convertObjectType } from "./objects.js";
+//# sourceMappingURL=orchestrator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../../src/ir/type-converter/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EACL,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAAqB,EACrB,OAAuB,EACf,EAAE;IACV,mDAAmD;IACnD,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,oBAAoB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC9D,CAAC;IAED,qBAAqB;IACrB,MAAM,aAAa,GAAG,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,cAAc;IACd,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IAED,iBAAiB;IACjB,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC7D,CAAC;IAED,yBAAyB;IACzB,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,OAAO,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED,cAAc;IACd,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IAED,qBAAqB;IACrB,IAAI,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,OAAO,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IACjE,CAAC;IAED,gBAAgB;IAChB,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IAED,sBAAsB;IACtB,IAAI,EAAE,CAAC,uBAAuB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,4CAA4C;IAC5C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF,8DAA8D;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Binding pattern converter - TypeScript patterns to IR patterns
+ */
+import * as ts from "typescript";
+import { IrPattern } from "../types.js";
+/**
+ * Convert TypeScript binding name to IR pattern
+ */
+export declare const convertBindingName: (name: ts.BindingName) => IrPattern;
+//# sourceMappingURL=patterns.d.ts.map

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

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