@tsonic/frontend 0.0.1 → 0.0.4

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

@@ -0,0 +1,82 @@
+/**
+ * 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
+    const firstIndexSig = indexSignatures[0];
+    if (firstIndexSig !== undefined && otherMembers.length === 0) {
+        // Use the first index signature (TypeScript allows multiple, but we take first)
+        const indexSig = firstIndexSig;
+        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,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,gFAAgF;QAChF,MAAM,QAAQ,GAAG,aAAa,CAAC;QAC/B,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"}

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

@@ -0,0 +1,66 @@
+/**
+ * Binding pattern converter - TypeScript patterns to IR patterns
+ */
+import * as ts from "typescript";
+/**
+ * Convert TypeScript binding name to IR pattern
+ */
+export const convertBindingName = (name) => {
+    if (ts.isIdentifier(name)) {
+        return {
+            kind: "identifierPattern",
+            name: name.text,
+        };
+    }
+    if (ts.isArrayBindingPattern(name)) {
+        return {
+            kind: "arrayPattern",
+            elements: name.elements.map((elem) => {
+                if (ts.isOmittedExpression(elem)) {
+                    return undefined; // Hole in array pattern
+                }
+                if (ts.isBindingElement(elem)) {
+                    return convertBindingName(elem.name);
+                }
+                return undefined;
+            }),
+        };
+    }
+    if (ts.isObjectBindingPattern(name)) {
+        const properties = [];
+        name.elements.forEach((elem) => {
+            if (elem.dotDotDotToken) {
+                // Rest property
+                properties.push({
+                    kind: "rest",
+                    pattern: convertBindingName(elem.name),
+                });
+            }
+            else {
+                const key = elem.propertyName
+                    ? ts.isIdentifier(elem.propertyName)
+                        ? elem.propertyName.text
+                        : elem.propertyName.getText()
+                    : ts.isIdentifier(elem.name)
+                        ? elem.name.text
+                        : "[computed]";
+                properties.push({
+                    kind: "property",
+                    key,
+                    value: convertBindingName(elem.name),
+                    shorthand: !elem.propertyName,
+                });
+            }
+        });
+        return {
+            kind: "objectPattern",
+            properties,
+        };
+    }
+    // Default to identifier pattern (should not reach here normally)
+    return {
+        kind: "identifierPattern",
+        name: "_unknown",
+    };
+};
+//# sourceMappingURL=patterns.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"patterns.js","sourceRoot":"","sources":["../../../src/ir/type-converter/patterns.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAoB,EAAa,EAAE;IACpE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;gBACnC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,OAAO,SAAS,CAAC,CAAC,wBAAwB;gBAC5C,CAAC;gBACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,OAAO,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvC,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,UAAU,GAA8B,EAAE,CAAC;QAEjD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,gBAAgB;gBAChB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY;oBAC3B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC;wBAClC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI;wBACxB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE;oBAC/B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;wBAChB,CAAC,CAAC,YAAY,CAAC;gBAEnB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;oBACpC,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,UAAU;SACX,CAAC;IACJ,CAAC;IAED,iEAAiE;IACjE,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,UAAU;KACjB,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,18 @@
+/**
+ * Primitive type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript primitive keyword to IR type
+ */
+export declare const convertPrimitiveKeyword: (kind: ts.SyntaxKind) => IrType | null;
+/**
+ * Check if a type name is a primitive type
+ */
+export declare const isPrimitiveTypeName: (typeName: string) => typeName is "string" | "number" | "boolean" | "null" | "undefined";
+/**
+ * Get primitive type IR representation for a type name
+ */
+export declare const getPrimitiveType: (typeName: "string" | "number" | "boolean" | "null" | "undefined") => IrType;
+//# sourceMappingURL=primitives.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/primitives.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,uBAAuB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,MAAM,GAAG,IAuBtE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,MAAM,KACf,QAAQ,IAAI,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAIzD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,KAC/D,MAKF,CAAC"}

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

@@ -0,0 +1,47 @@
+/**
+ * Primitive type conversion
+ */
+import * as ts from "typescript";
+/**
+ * Convert TypeScript primitive keyword to IR type
+ */
+export const convertPrimitiveKeyword = (kind) => {
+    switch (kind) {
+        case ts.SyntaxKind.StringKeyword:
+            return { kind: "primitiveType", name: "string" };
+        case ts.SyntaxKind.NumberKeyword:
+            return { kind: "primitiveType", name: "number" };
+        case ts.SyntaxKind.BooleanKeyword:
+            return { kind: "primitiveType", name: "boolean" };
+        case ts.SyntaxKind.NullKeyword:
+            return { kind: "primitiveType", name: "null" };
+        case ts.SyntaxKind.UndefinedKeyword:
+            return { kind: "primitiveType", name: "undefined" };
+        case ts.SyntaxKind.VoidKeyword:
+            return { kind: "voidType" };
+        case ts.SyntaxKind.AnyKeyword:
+            return { kind: "anyType" };
+        case ts.SyntaxKind.UnknownKeyword:
+            return { kind: "unknownType" };
+        case ts.SyntaxKind.NeverKeyword:
+            return { kind: "neverType" };
+        default:
+            return null;
+    }
+};
+/**
+ * Check if a type name is a primitive type
+ */
+export const isPrimitiveTypeName = (typeName) => {
+    return ["string", "number", "boolean", "null", "undefined"].includes(typeName);
+};
+/**
+ * Get primitive type IR representation for a type name
+ */
+export const getPrimitiveType = (typeName) => {
+    return {
+        kind: "primitiveType",
+        name: typeName,
+    };
+};
+//# sourceMappingURL=primitives.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../src/ir/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC5E,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC7B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAgB,EACoD,EAAE;IACtE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAClE,QAAQ,CACT,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAAgE,EACxD,EAAE;IACV,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * Reference type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript type reference to IR type
+ * Handles both primitive type names and user-defined types
+ */
+export declare const convertTypeReference: (node: ts.TypeReferenceNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+//# sourceMappingURL=references.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAoB,MAAM,aAAa,CAAC;AAIvD;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MA0DF,CAAC"}

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

@@ -0,0 +1,62 @@
+/**
+ * Reference type conversion
+ */
+import * as ts from "typescript";
+import { isPrimitiveTypeName, getPrimitiveType } from "./primitives.js";
+import { getParameterModifierRegistry } from "../../types/parameter-modifiers.js";
+/**
+ * Convert TypeScript type reference to IR type
+ * Handles both primitive type names and user-defined types
+ */
+export const convertTypeReference = (node, checker, convertType) => {
+    const typeName = ts.isIdentifier(node.typeName)
+        ? node.typeName.text
+        : node.typeName.getText();
+    // Check for primitive type names
+    if (isPrimitiveTypeName(typeName)) {
+        return getPrimitiveType(typeName);
+    }
+    // Check for Record<K, V> utility type → convert to IrDictionaryType
+    const typeArgsForRecord = node.typeArguments;
+    const keyTypeNode = typeArgsForRecord?.[0];
+    const valueTypeNode = typeArgsForRecord?.[1];
+    if (typeName === "Record" && keyTypeNode && valueTypeNode) {
+        const keyType = convertType(keyTypeNode, checker);
+        const valueType = convertType(valueTypeNode, checker);
+        return {
+            kind: "dictionaryType",
+            keyType,
+            valueType,
+        };
+    }
+    // Check if this is a parameter modifier type (ref/out/In) from @tsonic/types
+    const registry = getParameterModifierRegistry();
+    const modifierKind = registry.getParameterModifierKind(typeName);
+    const typeArgsForModifier = node.typeArguments;
+    const firstModifierArg = typeArgsForModifier?.[0];
+    if (modifierKind && firstModifierArg !== undefined) {
+        // This is ref<T>, out<T>, or In<T> from @tsonic/types
+        // Convert it to a special IR type that preserves the modifier
+        const wrappedType = convertType(firstModifierArg, checker);
+        return {
+            kind: "referenceType",
+            name: typeName,
+            typeArguments: [wrappedType],
+            // Add metadata to indicate this is a parameter modifier
+            parameterModifier: modifierKind,
+        };
+    }
+    // Check if this is a type parameter reference (e.g., T in Container<T>)
+    // Use the type checker to determine if the reference resolves to a type parameter
+    const type = checker.getTypeAtLocation(node);
+    if (type.flags & ts.TypeFlags.TypeParameter) {
+        return { kind: "typeParameterType", name: typeName };
+    }
+    // Reference type (user-defined or library)
+    return {
+        kind: "referenceType",
+        name: typeName,
+        typeArguments: node.typeArguments?.map((t) => convertType(t, checker)),
+    };
+};
+//# sourceMappingURL=references.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../../../src/ir/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,4BAA4B,EAAE,MAAM,oCAAoC,CAAC;AAElF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;QACpB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;IAE5B,iCAAiC;IACjC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,oEAAoE;IACpE,MAAM,iBAAiB,GAAG,IAAI,CAAC,aAAa,CAAC;IAC7C,MAAM,WAAW,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,QAAQ,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,WAAW,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAEtD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO;YACP,SAAS;SACU,CAAC;IACxB,CAAC;IAED,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,4BAA4B,EAAE,CAAC;IAChD,MAAM,YAAY,GAAG,QAAQ,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAEjE,MAAM,mBAAmB,GAAG,IAAI,CAAC,aAAa,CAAC;IAC/C,MAAM,gBAAgB,GAAG,mBAAmB,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,YAAY,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnD,sDAAsD;QACtD,8DAA8D;QAC9D,MAAM,WAAW,GAAG,WAAW,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAE3D,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,wDAAwD;YACxD,iBAAiB,EAAE,YAAY;SACyB,CAAC;IAC7D,CAAC;IAED,wEAAwE;IACxE,kFAAkF;IAClF,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACvD,CAAC;IAED,2CAA2C;IAC3C,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;QACd,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACvE,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,14 @@
+/**
+ * Union and intersection type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript union type to IR union type
+ */
+export declare const convertUnionType: (node: ts.UnionTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+/**
+ * Convert TypeScript intersection type to IR intersection type
+ */
+export declare const convertIntersectionType: (node: ts.IntersectionTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+//# sourceMappingURL=unions-intersections.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"unions-intersections.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/unions-intersections.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;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,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/unions-intersections.js

@@ -0,0 +1,22 @@
+/**
+ * Union and intersection type conversion
+ */
+/**
+ * Convert TypeScript union type to IR union type
+ */
+export const convertUnionType = (node, checker, convertType) => {
+    return {
+        kind: "unionType",
+        types: node.types.map((t) => convertType(t, checker)),
+    };
+};
+/**
+ * Convert TypeScript intersection type to IR intersection type
+ */
+export const convertIntersectionType = (node, checker, convertType) => {
+    return {
+        kind: "intersectionType",
+        types: node.types.map((t) => convertType(t, checker)),
+    };
+};
+//# sourceMappingURL=unions-intersections.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"unions-intersections.js","sourceRoot":"","sources":["../../../src/ir/type-converter/unions-intersections.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,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA6B,EAC7B,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC,CAAC"}

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

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

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

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

package/dist/ir/type-converter.js

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

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

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