@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/converters/synthetic-types.js

@@ -43,6 +43,84 @@ const typeParamsToTypeArgs = (typeParams) => {
         name: tp.name,
     }));
 };
+const collectUsedTypeParameterNames = (type, out) => {
+    switch (type.kind) {
+        case "typeParameterType":
+            out.add(type.name);
+            return;
+        case "arrayType":
+            collectUsedTypeParameterNames(type.elementType, out);
+            return;
+        case "tupleType":
+            for (const elementType of type.elementTypes) {
+                collectUsedTypeParameterNames(elementType, out);
+            }
+            return;
+        case "unionType":
+        case "intersectionType":
+            for (const member of type.types) {
+                collectUsedTypeParameterNames(member, out);
+            }
+            return;
+        case "referenceType":
+            for (const typeArgument of type.typeArguments ?? []) {
+                collectUsedTypeParameterNames(typeArgument, out);
+            }
+            return;
+        case "functionType":
+            for (const parameter of type.parameters) {
+                if (parameter.type) {
+                    collectUsedTypeParameterNames(parameter.type, out);
+                }
+            }
+            collectUsedTypeParameterNames(type.returnType, out);
+            return;
+        case "objectType":
+            for (const member of type.members) {
+                if (member.kind === "propertySignature") {
+                    collectUsedTypeParameterNames(member.type, out);
+                    continue;
+                }
+                for (const parameter of member.parameters) {
+                    if (parameter.type) {
+                        collectUsedTypeParameterNames(parameter.type, out);
+                    }
+                }
+                if (member.returnType) {
+                    collectUsedTypeParameterNames(member.returnType, out);
+                }
+            }
+            return;
+        case "dictionaryType":
+            collectUsedTypeParameterNames(type.keyType, out);
+            collectUsedTypeParameterNames(type.valueType, out);
+            return;
+        default:
+            return;
+    }
+};
+const filterTypeParametersForObjectType = (objectType, typeParameters) => {
+    if (!typeParameters || typeParameters.length === 0) {
+        return undefined;
+    }
+    const used = new Set();
+    for (const member of objectType.members) {
+        if (member.kind === "propertySignature") {
+            collectUsedTypeParameterNames(member.type, used);
+            continue;
+        }
+        for (const parameter of member.parameters) {
+            if (parameter.type) {
+                collectUsedTypeParameterNames(parameter.type, used);
+            }
+        }
+        if (member.returnType) {
+            collectUsedTypeParameterNames(member.returnType, used);
+        }
+    }
+    const filtered = typeParameters.filter((parameter) => used.has(parameter.name));
+    return filtered.length > 0 ? filtered : undefined;
+};
 /**
  * Create a synthetic interface declaration from an object type
  */
@@ -87,17 +165,18 @@ export const processTypeAliasForSynthetics = (typeAlias) => {
     // Generate synthetic interfaces and rewrite union members
     const syntheticInterfaces = [];
     const rewrittenUnionTypes = [];
-    const typeArgs = typeParamsToTypeArgs(typeParameters);
     let objectIndex = 0;
     for (const memberType of union.types) {
         if (isObjectType(memberType)) {
+            const memberTypeParameters = filterTypeParametersForObjectType(memberType, typeParameters);
+            const memberTypeArgs = typeParamsToTypeArgs(memberTypeParameters);
             // Generate synthetic interface for this object type
             const syntheticName = generateSyntheticName(name, objectIndex);
-            const syntheticInterface = createSyntheticInterface(memberType, syntheticName, typeParameters, isExported // Synthetic interfaces inherit export status
+            const syntheticInterface = createSyntheticInterface(memberType, syntheticName, memberTypeParameters, isExported // Synthetic interfaces inherit export status
             );
             syntheticInterfaces.push(syntheticInterface);
             // Replace object type with reference to synthetic
-            const reference = createSyntheticReference(syntheticName, typeArgs);
+            const reference = createSyntheticReference(syntheticName, memberTypeArgs);
             rewrittenUnionTypes.push(reference);
             objectIndex++;
         }
@@ -108,7 +187,7 @@ export const processTypeAliasForSynthetics = (typeAlias) => {
     }
     // Create rewritten type alias with new union
     const rewrittenUnion = {
-        kind: "unionType",
+        ...union,
         types: rewrittenUnionTypes,
     };
     const rewrittenAlias = {

package/dist/ir/converters/synthetic-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"synthetic-types.js","sourceRoot":"","sources":["../../../src/ir/converters/synthetic-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAsBH;;GAEG;AACH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAwB,EAAE,CAC1D,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;AAE7B;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAAC,KAAkB,EAAW,EAAE,CAC/D,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,CAAC,SAAiB,EAAE,KAAa,EAAU,EAAE,CACzE,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC;AAE3B;;;;GAIG;AACH,MAAM,oBAAoB,GAAG,CAC3B,UAAkD,EACnB,EAAE;IACjC,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU,CAAC,GAAG,CACnB,CAAC,EAAE,EAAU,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,EAAE,CAAC,IAAI;KACd,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,UAAwB,EACxB,IAAY,EACZ,cAAsD,EACtD,UAAmB,EACK,EAAE,CAAC,CAAC;IAC5B,IAAI,EAAE,sBAAsB;IAC5B,IAAI;IACJ,cAAc;IACd,OAAO,EAAE,EAAE;IACX,OAAO,EAAE,UAAU,CAAC,OAAO;IAC3B,UAAU;IACV,QAAQ,EAAE,KAAK;CAChB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,QAAuC,EACtB,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,aAAa,EAAE,QAAQ;CACxB,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAiC,EACZ,EAAE;IACvB,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC;IAE7D,2BAA2B;IAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;IAChD,CAAC;IAED,MAAM,KAAK,GAAG,IAAmB,CAAC;IAElC,2CAA2C;IAC3C,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;IAChD,CAAC;IAED,0DAA0D;IAC1D,MAAM,mBAAmB,GAA6B,EAAE,CAAC;IACzD,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,cAAc,CAAC,CAAC;IAEtD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACrC,IAAI,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7B,oDAAoD;YACpD,MAAM,aAAa,GAAG,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC/D,MAAM,kBAAkB,GAAG,wBAAwB,CACjD,UAAU,EACV,aAAa,EACb,cAAc,EACd,UAAU,CAAC,6CAA6C;aACzD,CAAC;YACF,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAE7C,kDAAkD;YAClD,MAAM,SAAS,GAAG,wBAAwB,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;YACpE,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEpC,WAAW,EAAE,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,8BAA8B;YAC9B,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,MAAM,cAAc,GAAgB;QAClC,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,mBAAmB;KAC3B,CAAC;IAEF,MAAM,cAAc,GAA2B;QAC7C,GAAG,SAAS;QACZ,IAAI,EAAE,cAAc;KACrB,CAAC;IAEF,OAAO;QACL,SAAS,EAAE,cAAc;QACzB,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"synthetic-types.js","sourceRoot":"","sources":["../../../src/ir/converters/synthetic-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAsBH;;GAEG;AACH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAwB,EAAE,CAC1D,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;AAE7B;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAAC,KAAkB,EAAW,EAAE,CAC/D,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,CAAC,SAAiB,EAAE,KAAa,EAAU,EAAE,CACzE,GAAG,SAAS,KAAK,KAAK,EAAE,CAAC;AAE3B;;;;GAIG;AACH,MAAM,oBAAoB,GAAG,CAC3B,UAAkD,EACnB,EAAE;IACjC,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU,CAAC,GAAG,CACnB,CAAC,EAAE,EAAU,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,EAAE,CAAC,IAAI;KACd,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAAY,EACZ,GAAgB,EACV,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO;QACT,KAAK,WAAW;YACd,6BAA6B,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACrD,OAAO;QACT,KAAK,WAAW;YACd,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC5C,6BAA6B,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YAClD,CAAC;YACD,OAAO;QACT,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChC,6BAA6B,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC7C,CAAC;YACD,OAAO;QACT,KAAK,eAAe;YAClB,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;gBACpD,6BAA6B,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;YACnD,CAAC;YACD,OAAO;QACT,KAAK,cAAc;YACjB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;oBACnB,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACpD,OAAO;QACT,KAAK,YAAY;YACf,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,6BAA6B,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBAChD,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC1C,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;wBACnB,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBACrD,CAAC;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtB,6BAA6B,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACxD,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,gBAAgB;YACnB,6BAA6B,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACjD,6BAA6B,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACnD,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,UAAwB,EACxB,cAAsD,EACd,EAAE;IAC1C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,6BAA6B,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;gBACnB,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtB,6BAA6B,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACnD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CACzB,CAAC;IACF,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,UAAwB,EACxB,IAAY,EACZ,cAAsD,EACtD,UAAmB,EACK,EAAE,CAAC,CAAC;IAC5B,IAAI,EAAE,sBAAsB;IAC5B,IAAI;IACJ,cAAc;IACd,OAAO,EAAE,EAAE;IACX,OAAO,EAAE,UAAU,CAAC,OAAO;IAC3B,UAAU;IACV,QAAQ,EAAE,KAAK;CAChB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,QAAuC,EACtB,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,eAAe;IACrB,IAAI;IACJ,aAAa,EAAE,QAAQ;CACxB,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAiC,EACZ,EAAE;IACvB,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC;IAE7D,2BAA2B;IAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;IAChD,CAAC;IAED,MAAM,KAAK,GAAG,IAAmB,CAAC;IAElC,2CAA2C;IAC3C,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;IAChD,CAAC;IAED,0DAA0D;IAC1D,MAAM,mBAAmB,GAA6B,EAAE,CAAC;IACzD,MAAM,mBAAmB,GAAa,EAAE,CAAC;IACzC,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACrC,IAAI,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7B,MAAM,oBAAoB,GAAG,iCAAiC,CAC5D,UAAU,EACV,cAAc,CACf,CAAC;YACF,MAAM,cAAc,GAAG,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;YAElE,oDAAoD;YACpD,MAAM,aAAa,GAAG,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC/D,MAAM,kBAAkB,GAAG,wBAAwB,CACjD,UAAU,EACV,aAAa,EACb,oBAAoB,EACpB,UAAU,CAAC,6CAA6C;aACzD,CAAC;YACF,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAE7C,kDAAkD;YAClD,MAAM,SAAS,GAAG,wBAAwB,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;YAC1E,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEpC,WAAW,EAAE,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,8BAA8B;YAC9B,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,MAAM,cAAc,GAAgB;QAClC,GAAG,KAAK;QACR,KAAK,EAAE,mBAAmB;KAC3B,CAAC;IAEF,MAAM,cAAc,GAA2B;QAC7C,GAAG,SAAS;QACZ,IAAI,EAAE,cAAc;KACrB,CAAC;IAEF,OAAO;QACL,SAAS,EAAE,cAAc;QACzB,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/type-env.d.ts

@@ -10,7 +10,7 @@
  */
 import * as ts from "typescript";
 import type { ProgramContext } from "../program-context.js";
-import type { IrExpression, IrType, IrVariableDeclaration, IrVariableDeclarator } from "../types.js";
+import type { IrExpression, IrParameter, IrType, IrVariableDeclaration, IrVariableDeclarator } from "../types.js";
 /**
  * Derive the type from a converted IR expression using deterministic rules.
  * NO TYPESCRIPT FALLBACK - types must be derivable from IR or undefined.
@@ -21,6 +21,8 @@ import type { IrExpression, IrType, IrVariableDeclaration, IrVariableDeclarator
  * - All other expressions → use inferredType if present
  */
 export declare const deriveTypeFromExpression: (expr: IrExpression) => IrType | undefined;
+export declare const withBindingNameTypeEnv: (ctx: ProgramContext, name: ts.BindingName, type: IrType | undefined) => ProgramContext;
+export declare const withParameterTypeEnv: (ctx: ProgramContext, tsParameters: readonly ts.ParameterDeclaration[], parameters: readonly IrParameter[]) => ProgramContext;
 export declare const withVariableDeclaratorTypeEnv: (ctx: ProgramContext, name: ts.BindingName, decl: IrVariableDeclarator) => ProgramContext;
 /**
  * Extend ctx.typeEnv with deterministic types for declared variables.

package/dist/ir/converters/type-env.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-env.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/type-env.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EACV,YAAY,EACZ,MAAM,EACN,qBAAqB,EACrB,oBAAoB,EACrB,MAAM,aAAa,CAAC;AAErB;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,YAAY,KACjB,MAAM,GAAG,SAkBX,CAAC;AAuIF,eAAO,MAAM,6BAA6B,GACxC,KAAK,cAAc,EACnB,MAAM,EAAE,CAAC,WAAW,EACpB,MAAM,oBAAoB,KACzB,cAYF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,KAAK,cAAc,EACnB,SAAS,SAAS,EAAE,CAAC,mBAAmB,EAAE,EAC1C,IAAI,qBAAqB,KACxB,cAoBF,CAAC"}
+{"version":3,"file":"type-env.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/type-env.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EACV,YAAY,EACZ,WAAW,EACX,MAAM,EACN,qBAAqB,EACrB,oBAAoB,EACrB,MAAM,aAAa,CAAC;AAGrB;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,YAAY,KACjB,MAAM,GAAG,SAkBX,CAAC;AAqJF,eAAO,MAAM,sBAAsB,GACjC,KAAK,cAAc,EACnB,MAAM,EAAE,CAAC,WAAW,EACpB,MAAM,MAAM,GAAG,SAAS,KACvB,cAYF,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,KAAK,cAAc,EACnB,cAAc,SAAS,EAAE,CAAC,oBAAoB,EAAE,EAChD,YAAY,SAAS,WAAW,EAAE,KACjC,cAaF,CAAC;AAaF,eAAO,MAAM,6BAA6B,GACxC,KAAK,cAAc,EACnB,MAAM,EAAE,CAAC,WAAW,EACpB,MAAM,oBAAoB,KACzB,cAGF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,KAAK,cAAc,EACnB,SAAS,SAAS,EAAE,CAAC,mBAAmB,EAAE,EAC1C,IAAI,qBAAqB,KACxB,cAoBF,CAAC"}

package/dist/ir/converters/type-env.js

@@ -9,6 +9,7 @@
  *   for common local variables (e.g., `const ok = x !== undefined` → boolean).
  */
 import * as ts from "typescript";
+import { tryResolveDeterministicPropertyName } from "../syntax/property-names.js";
 /**
  * Derive the type from a converted IR expression using deterministic rules.
  * NO TYPESCRIPT FALLBACK - types must be derivable from IR or undefined.
@@ -43,6 +44,31 @@ const normalizeEnvType = (type) => {
         return undefined;
     return type;
 };
+const makeOptionalReadType = (type) => {
+    if (type.kind === "unionType") {
+        const hasUndefined = type.types.some((member) => member.kind === "primitiveType" && member.name === "undefined");
+        if (hasUndefined)
+            return type;
+        return {
+            kind: "unionType",
+            types: [...type.types, { kind: "primitiveType", name: "undefined" }],
+        };
+    }
+    if (type.kind === "primitiveType" && type.name === "undefined") {
+        return type;
+    }
+    return {
+        kind: "unionType",
+        types: [type, { kind: "primitiveType", name: "undefined" }],
+    };
+};
+const getParameterReadType = (parameter) => {
+    if (!parameter.type)
+        return undefined;
+    return parameter.isOptional
+        ? makeOptionalReadType(parameter.type)
+        : parameter.type;
+};
 const getTupleElementType = (type, index) => {
     if (!type)
         return undefined;
@@ -80,15 +106,7 @@ const getObjectPropertyType = (ctx, type, propName) => {
     }
     return undefined;
 };
-const getPropertyNameText = (name) => {
-    if (ts.isIdentifier(name))
-        return name.text;
-    if (ts.isStringLiteral(name))
-        return name.text;
-    if (ts.isNumericLiteral(name))
-        return name.text;
-    return undefined;
-};
+const getPropertyNameText = (name) => tryResolveDeterministicPropertyName(name);
 const extendEnvForBindingName = (ctx, name, sourceType, ensureEnv) => {
     const normalizedSource = normalizeEnvType(sourceType);
     if (!normalizedSource)
@@ -136,6 +154,30 @@ const extendEnvForBindingName = (ctx, name, sourceType, ensureEnv) => {
         }
     }
 };
+export const withBindingNameTypeEnv = (ctx, name, type) => {
+    const normalizedType = normalizeEnvType(type);
+    if (!normalizedType)
+        return ctx;
+    let nextEnv;
+    const ensureEnv = () => {
+        if (!nextEnv)
+            nextEnv = new Map(ctx.typeEnv ?? []);
+        return nextEnv;
+    };
+    extendEnvForBindingName(ctx, name, normalizedType, ensureEnv);
+    return nextEnv ? { ...ctx, typeEnv: nextEnv } : ctx;
+};
+export const withParameterTypeEnv = (ctx, tsParameters, parameters) => {
+    let nextCtx = ctx;
+    for (let i = 0; i < parameters.length; i++) {
+        const parameter = parameters[i];
+        const tsParameter = tsParameters[i];
+        if (!parameter || !tsParameter)
+            continue;
+        nextCtx = withBindingNameTypeEnv(nextCtx, tsParameter.name, getParameterReadType(parameter));
+    }
+    return nextCtx;
+};
 const deriveDeclaratorType = (decl) => {
     const explicitType = normalizeEnvType(decl.type);
     if (explicitType)
@@ -147,16 +189,7 @@ const deriveDeclaratorType = (decl) => {
 };
 export const withVariableDeclaratorTypeEnv = (ctx, name, decl) => {
     const type = deriveDeclaratorType(decl);
-    if (!type)
-        return ctx;
-    let nextEnv;
-    const ensureEnv = () => {
-        if (!nextEnv)
-            nextEnv = new Map(ctx.typeEnv ?? []);
-        return nextEnv;
-    };
-    extendEnvForBindingName(ctx, name, type, ensureEnv);
-    return nextEnv ? { ...ctx, typeEnv: nextEnv } : ctx;
+    return withBindingNameTypeEnv(ctx, name, type);
 };
 /**
  * Extend ctx.typeEnv with deterministic types for declared variables.

package/dist/ir/converters/type-env.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-env.js","sourceRoot":"","sources":["../../../src/ir/converters/type-env.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAkB,EACE,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,MAAM,WAAW,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACpD,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,IAAI,cAAc,IAAI,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAsB,EAAE;IACxE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAwB,EACxB,KAAa,EACO,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAwB,EACxB,KAAa,EACO,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC,WAAW,CAAC;IACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,GAAmB,EACnB,IAAwB,EACxB,QAAgB,EACI,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC7D,CAAC;QACF,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAqB,EAAsB,EAAE;IACxE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAChD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,GAAmB,EACnB,IAAoB,EACpB,UAA8B,EAC9B,SAAoC,EAC9B,EAAE;IACR,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,gBAAgB;QAAE,OAAO;IAE9B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,MAAM,EAAE,CAAC;YACX,SAAS,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,6EAA6E;QAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;gBAAE,SAAS;YAE9C,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;YACxC,MAAM,WAAW,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;YAC7D,MAAM,SAAS,GACb,MAAM,IAAI,WAAW;gBACnB,CAAC,CAAE,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAY;gBAC/C,CAAC,CAAC,WAAW,CAAC;YAElB,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QACnE,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC3B,0EAA0E;gBAC1E,gFAAgF;gBAChF,SAAS;YACX,CAAC;YAED,MAAM,GAAG,GACP,OAAO,CAAC,YAAY,KAAK,SAAS;gBAChC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,YAAY,CAAC;gBAC3C,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;oBAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI;oBACnB,CAAC,CAAC,SAAS,CAAC;YAElB,IAAI,CAAC,GAAG;gBAAE,SAAS;YAEnB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;YACnE,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAA0B,EACN,EAAE;IACtB,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;QAC/B,CAAC,CAAC,gBAAgB,CAAC,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC9D,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,GAAmB,EACnB,IAAoB,EACpB,IAA0B,EACV,EAAE;IAClB,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IAEtB,IAAI,OAAwC,CAAC;IAC7C,MAAM,SAAS,GAAG,GAAwB,EAAE;QAC1C,IAAI,CAAC,OAAO;YAAE,OAAO,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACpD,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AACtD,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,GAAmB,EACnB,OAA0C,EAC1C,EAAyB,EACT,EAAE;IAClB,IAAI,OAAwC,CAAC;IAE7C,MAAM,SAAS,GAAG,GAAwB,EAAE;QAC1C,IAAI,CAAC,OAAO;YAAE,OAAO,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;YAAE,SAAS;QAEjC,MAAM,YAAY,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,uBAAuB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AACtD,CAAC,CAAC"}
+{"version":3,"file":"type-env.js","sourceRoot":"","sources":["../../../src/ir/converters/type-env.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,EAAE,mCAAmC,EAAE,MAAM,6BAA6B,CAAC;AAElF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAkB,EACE,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,MAAM,WAAW,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACpD,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,IAAI,cAAc,IAAI,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAsB,EAAE;IACxE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAClC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAC3E,CAAC;QACF,IAAI,YAAY;YAAE,OAAO,IAAI,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SACrE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,SAAsB,EAAsB,EAAE;IAC1E,IAAI,CAAC,SAAS,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IACtC,OAAO,SAAS,CAAC,UAAU;QACzB,CAAC,CAAC,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC;QACtC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAwB,EACxB,KAAa,EACO,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAwB,EACxB,KAAa,EACO,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC,WAAW,CAAC;IACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,GAAmB,EACnB,IAAwB,EACxB,QAAgB,EACI,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC7D,CAAC;QACF,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAqB,EAAsB,EAAE,CACxE,mCAAmC,CAAC,IAAI,CAAC,CAAC;AAE5C,MAAM,uBAAuB,GAAG,CAC9B,GAAmB,EACnB,IAAoB,EACpB,UAA8B,EAC9B,SAAoC,EAC9B,EAAE;IACR,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,gBAAgB;QAAE,OAAO;IAE9B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,MAAM,EAAE,CAAC;YACX,SAAS,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,6EAA6E;QAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;gBAAE,SAAS;YAE9C,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;YACxC,MAAM,WAAW,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;YAC7D,MAAM,SAAS,GACb,MAAM,IAAI,WAAW;gBACnB,CAAC,CAAE,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAY;gBAC/C,CAAC,CAAC,WAAW,CAAC;YAElB,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QACnE,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC3B,0EAA0E;gBAC1E,gFAAgF;gBAChF,SAAS;YACX,CAAC;YAED,MAAM,GAAG,GACP,OAAO,CAAC,YAAY,KAAK,SAAS;gBAChC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,YAAY,CAAC;gBAC3C,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;oBAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI;oBACnB,CAAC,CAAC,SAAS,CAAC;YAElB,IAAI,CAAC,GAAG;gBAAE,SAAS;YAEnB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;YACnE,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,GAAmB,EACnB,IAAoB,EACpB,IAAwB,EACR,EAAE;IAClB,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,cAAc;QAAE,OAAO,GAAG,CAAC;IAEhC,IAAI,OAAwC,CAAC;IAC7C,MAAM,SAAS,GAAG,GAAwB,EAAE;QAC1C,IAAI,CAAC,OAAO;YAAE,OAAO,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;IAC9D,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AACtD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,GAAmB,EACnB,YAAgD,EAChD,UAAkC,EAClB,EAAE;IAClB,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,SAAS,IAAI,CAAC,WAAW;YAAE,SAAS;QACzC,OAAO,GAAG,sBAAsB,CAC9B,OAAO,EACP,WAAW,CAAC,IAAI,EAChB,oBAAoB,CAAC,SAAS,CAAC,CAChC,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAA0B,EACN,EAAE;IACtB,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;QAC/B,CAAC,CAAC,gBAAgB,CAAC,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC9D,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,GAAmB,EACnB,IAAoB,EACpB,IAA0B,EACV,EAAE;IAClB,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,GAAmB,EACnB,OAA0C,EAC1C,EAAyB,EACT,EAAE;IAClB,IAAI,OAAwC,CAAC;IAE7C,MAAM,SAAS,GAAG,GAAwB,EAAE;QAC1C,IAAI,CAAC,OAAO;YAAE,OAAO,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;YAAE,SAAS;QAEjC,MAAM,YAAY,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,uBAAuB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AACtD,CAAC,CAAC"}

package/dist/ir/expression-converter-dispatch.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Expression converter — Main dispatcher
+ *
+ * Converts TypeScript expression nodes to IR expressions by delegating
+ * to specialized converter modules.
+ */
+import * as ts from "typescript";
+import type { IrExpression, IrType } from "./types.js";
+import type { ProgramContext } from "./program-context.js";
+/**
+ * Main expression conversion dispatcher
+ * Converts TypeScript expression nodes to IR expressions
+ *
+ * @param node - The TypeScript expression node to convert
+ * @param ctx - The ProgramContext for symbol resolution and type system access
+ * @param expectedType - Expected type from context (e.g., LHS annotation, parameter type).
+ *                       Pass `undefined` explicitly when no contextual type exists.
+ *                       Used for deterministic typing of literals and arrays.
+ */
+export declare const convertExpression: (node: ts.Expression, ctx: ProgramContext, expectedType: IrType | undefined) => IrExpression;
+//# sourceMappingURL=expression-converter-dispatch.d.ts.map

package/dist/ir/expression-converter-dispatch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-converter-dispatch.d.ts","sourceRoot":"","sources":["../../src/ir/expression-converter-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,KAAK,EACV,YAAY,EAEZ,MAAM,EACP,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AA4N3D;;;;;;;;;GASG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,cAAc,EACnB,cAAc,MAAM,GAAG,SAAS,KAC/B,YA2cF,CAAC"}