@tsonic/frontend 0.0.13 → 0.0.15

package/dist/ir/converters/statements/control/exceptions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"exceptions.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/exceptions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAIlE;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,YAAY,EACrB,SAAS,EAAE,CAAC,WAAW,KACtB,cAWF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,WAAW,EACpB,SAAS,EAAE,CAAC,WAAW,KACtB,aAQF,CAAC"}
+{"version":3,"file":"exceptions.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/exceptions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAElE;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,YAAY,EACrB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,cAWF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,WAAW,EACpB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,aAQF,CAAC"}

package/dist/ir/converters/statements/control/exceptions.js

@@ -1,33 +1,39 @@
 /**
  * Exception handling converters (try, catch)
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of Binding.
  */
-import { convertBindingName } from "../../../type-converter.js";
+import { convertBindingName } from "../../../syntax/binding-patterns.js";
 import { convertBlockStatement } from "./blocks.js";
 /**
  * Convert try statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export const convertTryStatement = (node, checker) => {
+export const convertTryStatement = (node, ctx, expectedReturnType) => {
     return {
         kind: "tryStatement",
-        tryBlock: convertBlockStatement(node.tryBlock, checker),
+        tryBlock: convertBlockStatement(node.tryBlock, ctx, expectedReturnType),
         catchClause: node.catchClause
-            ? convertCatchClause(node.catchClause, checker)
+            ? convertCatchClause(node.catchClause, ctx, expectedReturnType)
             : undefined,
         finallyBlock: node.finallyBlock
-            ? convertBlockStatement(node.finallyBlock, checker)
+            ? convertBlockStatement(node.finallyBlock, ctx, expectedReturnType)
             : undefined,
     };
 };
 /**
  * Convert catch clause
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export const convertCatchClause = (node, checker) => {
+export const convertCatchClause = (node, ctx, expectedReturnType) => {
     return {
         kind: "catchClause",
         parameter: node.variableDeclaration
             ? convertBindingName(node.variableDeclaration.name)
             : undefined,
-        body: convertBlockStatement(node.block, checker),
+        body: convertBlockStatement(node.block, ctx, expectedReturnType),
     };
 };
 //# sourceMappingURL=exceptions.js.map

package/dist/ir/converters/statements/control/exceptions.js.map

@@ -1 +1 @@
-{"version":3,"file":"exceptions.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/exceptions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEpD;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAqB,EACrB,OAAuB,EACP,EAAE;IAClB,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC;QACvD,WAAW,EAAE,IAAI,CAAC,WAAW;YAC3B,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;YAC/C,CAAC,CAAC,SAAS;QACb,YAAY,EAAE,IAAI,CAAC,YAAY;YAC7B,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC;YACnD,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAoB,EACpB,OAAuB,EACR,EAAE;IACjB,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,IAAI,CAAC,mBAAmB;YACjC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;YACnD,CAAC,CAAC,SAAS;QACb,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC;KACjD,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"exceptions.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/exceptions.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAGpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAqB,EACrB,GAAmB,EACnB,kBAA2B,EACX,EAAE;IAClB,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,kBAAkB,CAAC;QACvE,WAAW,EAAE,IAAI,CAAC,WAAW;YAC3B,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,kBAAkB,CAAC;YAC/D,CAAC,CAAC,SAAS;QACb,YAAY,EAAE,IAAI,CAAC,YAAY;YAC7B,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,kBAAkB,CAAC;YACnE,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAoB,EACpB,GAAmB,EACnB,kBAA2B,EACZ,EAAE;IACjB,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,IAAI,CAAC,mBAAmB;YACjC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;YACnD,CAAC,CAAC,SAAS;QACb,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,kBAAkB,CAAC;KACjE,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/control/loops.d.ts

@@ -1,22 +1,33 @@
 /**
  * Loop statement converters (while, for, for-of, for-in)
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of Binding.
  */
 import * as ts from "typescript";
-import { IrWhileStatement, IrForStatement, IrForOfStatement } from "../../../types.js";
+import { IrWhileStatement, IrForStatement, IrForOfStatement, IrType } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
 /**
  * Convert while statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export declare const convertWhileStatement: (node: ts.WhileStatement, checker: ts.TypeChecker) => IrWhileStatement;
+export declare const convertWhileStatement: (node: ts.WhileStatement, ctx: ProgramContext, expectedReturnType?: IrType) => IrWhileStatement;
 /**
  * Convert for statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export declare const convertForStatement: (node: ts.ForStatement, checker: ts.TypeChecker) => IrForStatement;
+export declare const convertForStatement: (node: ts.ForStatement, ctx: ProgramContext, expectedReturnType?: IrType) => IrForStatement;
 /**
  * Convert for-of statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export declare const convertForOfStatement: (node: ts.ForOfStatement, checker: ts.TypeChecker) => IrForOfStatement;
+export declare const convertForOfStatement: (node: ts.ForOfStatement, ctx: ProgramContext, expectedReturnType?: IrType) => IrForOfStatement;
 /**
  * Convert for-in statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export declare const convertForInStatement: (node: ts.ForInStatement, checker: ts.TypeChecker) => IrForStatement;
+export declare const convertForInStatement: (node: ts.ForInStatement, ctx: ProgramContext, expectedReturnType?: IrType) => IrForStatement;
 //# sourceMappingURL=loops.d.ts.map

package/dist/ir/converters/statements/control/loops.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loops.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EACjB,MAAM,mBAAmB,CAAC;AAM3B;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,SAAS,EAAE,CAAC,WAAW,KACtB,gBAOF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,YAAY,EACrB,SAAS,EAAE,CAAC,WAAW,KACtB,cAiBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,SAAS,EAAE,CAAC,WAAW,KACtB,gBAiBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,SAAS,EAAE,CAAC,WAAW,KACtB,cAaF,CAAC"}
+{"version":3,"file":"loops.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,gBAAgB,EAChB,MAAM,EACP,MAAM,mBAAmB,CAAC;AAK3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAElE;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,gBAOF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,YAAY,EACrB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,cAiBF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,gBAiBF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,cAAc,EACvB,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,cAaF,CAAC"}

package/dist/ir/converters/statements/control/loops.js

@@ -1,69 +1,79 @@
 /**
  * Loop statement converters (while, for, for-of, for-in)
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of Binding.
  */
 import * as ts from "typescript";
 import { convertExpression } from "../../../expression-converter.js";
-import { convertBindingName } from "../../../type-converter.js";
+import { convertBindingName } from "../../../syntax/binding-patterns.js";
 import { convertStatementSingle } from "../../../statement-converter.js";
 import { convertVariableDeclarationList } from "../helpers.js";
 /**
  * Convert while statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export const convertWhileStatement = (node, checker) => {
-    const body = convertStatementSingle(node.statement, checker);
+export const convertWhileStatement = (node, ctx, expectedReturnType) => {
+    const body = convertStatementSingle(node.statement, ctx, expectedReturnType);
     return {
         kind: "whileStatement",
-        condition: convertExpression(node.expression, checker),
+        condition: convertExpression(node.expression, ctx, undefined),
         body: body ?? { kind: "emptyStatement" },
     };
 };
 /**
  * Convert for statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export const convertForStatement = (node, checker) => {
-    const body = convertStatementSingle(node.statement, checker);
+export const convertForStatement = (node, ctx, expectedReturnType) => {
+    const body = convertStatementSingle(node.statement, ctx, expectedReturnType);
     return {
         kind: "forStatement",
         initializer: node.initializer
             ? ts.isVariableDeclarationList(node.initializer)
-                ? convertVariableDeclarationList(node.initializer, checker)
-                : convertExpression(node.initializer, checker)
+                ? convertVariableDeclarationList(node.initializer, ctx)
+                : convertExpression(node.initializer, ctx, undefined)
             : undefined,
         condition: node.condition
-            ? convertExpression(node.condition, checker)
+            ? convertExpression(node.condition, ctx, undefined)
             : undefined,
         update: node.incrementor
-            ? convertExpression(node.incrementor, checker)
+            ? convertExpression(node.incrementor, ctx, undefined)
             : undefined,
         body: body ?? { kind: "emptyStatement" },
     };
 };
 /**
  * Convert for-of statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export const convertForOfStatement = (node, checker) => {
+export const convertForOfStatement = (node, ctx, expectedReturnType) => {
     const firstDecl = ts.isVariableDeclarationList(node.initializer)
         ? node.initializer.declarations[0]
         : undefined;
     const variable = ts.isVariableDeclarationList(node.initializer)
         ? convertBindingName(firstDecl?.name ?? ts.factory.createIdentifier("_"))
         : convertBindingName(node.initializer);
-    const body = convertStatementSingle(node.statement, checker);
+    const body = convertStatementSingle(node.statement, ctx, expectedReturnType);
     return {
         kind: "forOfStatement",
         variable,
-        expression: convertExpression(node.expression, checker),
+        expression: convertExpression(node.expression, ctx, undefined),
         body: body ?? { kind: "emptyStatement" },
         isAwait: !!node.awaitModifier,
     };
 };
 /**
  * Convert for-in statement
+ *
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
  */
-export const convertForInStatement = (node, checker) => {
+export const convertForInStatement = (node, ctx, expectedReturnType) => {
     // Note: for...in needs special handling in C# - variable extraction will be handled in emitter
     // We'll need to extract the variable info in the emitter phase
-    const body = convertStatementSingle(node.statement, checker);
+    const body = convertStatementSingle(node.statement, ctx, expectedReturnType);
     // Note: for...in needs special handling in C#
     return {
         kind: "forStatement",

package/dist/ir/converters/statements/control/loops.js.map

@@ -1 +1 @@
-{"version":3,"file":"loops.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAC;AAE/D;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,OAAuB,EACL,EAAE;IACpB,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACtD,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAqB,EACrB,OAAuB,EACP,EAAE;IAClB,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC3B,CAAC,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC9C,CAAC,CAAC,8BAA8B,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;gBAC3D,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;YAChD,CAAC,CAAC,SAAS;QACb,SAAS,EAAE,IAAI,CAAC,SAAS;YACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC;YAC5C,CAAC,CAAC,SAAS;QACb,MAAM,EAAE,IAAI,CAAC,WAAW;YACtB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;YAC9C,CAAC,CAAC,SAAS;QACb,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,OAAuB,EACL,EAAE;IACpB,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,QAAQ,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC7D,CAAC,CAAC,kBAAkB,CAAC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACzE,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAA6B,CAAC,CAAC;IAE3D,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,QAAQ;QACR,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACvD,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;QACxC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,OAAuB,EACP,EAAE;IAClB,+FAA+F;IAC/F,+DAA+D;IAE/D,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,8CAA8C;IAC9C,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,WAAW,EAAE,SAAS;QACtB,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,SAAS;QACjB,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"loops.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/control/loops.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,8BAA8B,EAAE,MAAM,eAAe,CAAC;AAG/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACT,EAAE;IACpB,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC7E,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC7D,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAqB,EACrB,GAAmB,EACnB,kBAA2B,EACX,EAAE;IAClB,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC7E,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC3B,CAAC,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC9C,CAAC,CAAC,8BAA8B,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;gBACvD,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC;YACvD,CAAC,CAAC,SAAS;QACb,SAAS,EAAE,IAAI,CAAC,SAAS;YACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC;YACnD,CAAC,CAAC,SAAS;QACb,MAAM,EAAE,IAAI,CAAC,WAAW;YACtB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC;YACrD,CAAC,CAAC,SAAS;QACb,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACT,EAAE;IACpB,MAAM,SAAS,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC;IAEd,MAAM,QAAQ,GAAG,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC;QAC7D,CAAC,CAAC,kBAAkB,CAAC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACzE,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAA6B,CAAC,CAAC;IAE3D,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC7E,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,QAAQ;QACR,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;QAC9D,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;QACxC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAuB,EACvB,GAAmB,EACnB,kBAA2B,EACX,EAAE;IAClB,+FAA+F;IAC/F,+DAA+D;IAE/D,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC7E,8CAA8C;IAC9C,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,WAAW,EAAE,SAAS;QACtB,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,SAAS;QACjB,IAAI,EAAE,IAAI,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;KACzC,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/classes/constructors.d.ts

@@ -3,12 +3,13 @@
  */
 import * as ts from "typescript";
 import { IrClassMember } from "../../../../types.js";
+import type { ProgramContext } from "../../../../program-context.js";
 /**
  * Convert constructor declaration to IR
  */
-export declare const convertConstructor: (node: ts.ConstructorDeclaration, checker: ts.TypeChecker, constructorParams?: ts.NodeArray<ts.ParameterDeclaration>) => IrClassMember;
+export declare const convertConstructor: (node: ts.ConstructorDeclaration, ctx: ProgramContext, constructorParams?: ts.NodeArray<ts.ParameterDeclaration>) => IrClassMember;
 /**
  * Extract parameter properties from constructor
  */
-export declare const extractParameterProperties: (constructor: ts.ConstructorDeclaration | undefined, checker: ts.TypeChecker) => IrClassMember[];
+export declare const extractParameterProperties: (constructor: ts.ConstructorDeclaration | undefined, ctx: ProgramContext) => IrClassMember[];
 //# sourceMappingURL=constructors.d.ts.map

package/dist/ir/converters/statements/declarations/classes/constructors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constructors.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAe,MAAM,sBAAsB,CAAC;AASlE;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,sBAAsB,EAC/B,SAAS,EAAE,CAAC,WAAW,EACvB,oBAAoB,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,oBAAoB,CAAC,KACxD,aAoDF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,aAAa,EAAE,CAAC,sBAAsB,GAAG,SAAS,EAClD,SAAS,EAAE,CAAC,WAAW,KACtB,aAAa,EAsCf,CAAC"}
+{"version":3,"file":"constructors.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAe,MAAM,sBAAsB,CAAC;AAOlE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAErE;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,sBAAsB,EAC/B,KAAK,cAAc,EACnB,oBAAoB,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,oBAAoB,CAAC,KACxD,aAsDF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,aAAa,EAAE,CAAC,sBAAsB,GAAG,SAAS,EAClD,KAAK,cAAc,KAClB,aAAa,EA2Cf,CAAC"}

package/dist/ir/converters/statements/declarations/classes/constructors.js

@@ -2,13 +2,12 @@
  * Constructor conversion with parameter properties
  */
 import * as ts from "typescript";
-import { convertType } from "../../../../type-converter.js";
 import { convertBlockStatement } from "../../control.js";
 import { hasReadonlyModifier, getAccessibility, convertParameters, } from "../../helpers.js";
 /**
  * Convert constructor declaration to IR
  */
-export const convertConstructor = (node, checker, constructorParams) => {
+export const convertConstructor = (node, ctx, constructorParams) => {
     // Build constructor body with parameter property assignments
     const statements = [];
     // Add assignments for parameter properties (parameters with explicit modifiers)
@@ -28,7 +27,9 @@ export const convertConstructor = (node, checker, constructorParams) => {
                         operator: "=",
                         left: {
                             kind: "memberAccess",
-                            object: { kind: "this" },
+                            object: {
+                                kind: "this",
+                            },
                             property: param.name.text,
                             isComputed: false,
                             isOptional: false,
@@ -44,12 +45,12 @@ export const convertConstructor = (node, checker, constructorParams) => {
     }
     // Add existing constructor body statements
     if (node.body) {
-        const existingBody = convertBlockStatement(node.body, checker);
+        const existingBody = convertBlockStatement(node.body, ctx, undefined);
         statements.push(...existingBody.statements);
     }
     return {
         kind: "constructorDeclaration",
-        parameters: convertParameters(node.parameters, checker),
+        parameters: convertParameters(node.parameters, ctx),
         body: { kind: "blockStatement", statements },
         accessibility: getAccessibility(node),
     };
@@ -57,7 +58,7 @@ export const convertConstructor = (node, checker, constructorParams) => {
 /**
  * Extract parameter properties from constructor
  */
-export const extractParameterProperties = (constructor, checker) => {
+export const extractParameterProperties = (constructor, ctx) => {
     if (!constructor) {
         return [];
     }
@@ -74,11 +75,14 @@ export const extractParameterProperties = (constructor, checker) => {
         }
         // Create a field declaration for this parameter property
         if (ts.isIdentifier(param.name)) {
+            // PHASE 4 (Alice's spec): Use captureTypeSyntax + typeFromSyntax
             const accessibility = getAccessibility(param);
             parameterProperties.push({
                 kind: "propertyDeclaration",
                 name: param.name.text,
-                type: param.type ? convertType(param.type, checker) : undefined,
+                type: param.type
+                    ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(param.type))
+                    : undefined,
                 initializer: undefined, // Will be assigned in constructor
                 isStatic: false,
                 isReadonly: hasReadonlyModifier(param),

package/dist/ir/converters/statements/declarations/classes/constructors.js.map

@@ -1 +1 @@
-{"version":3,"file":"constructors.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAA+B,EAC/B,OAAuB,EACvB,iBAAyD,EAC1C,EAAE;IACjB,6DAA6D;IAC7D,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,gFAAgF;IAChF,IAAI,iBAAiB,EAAE,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,iBAAiB,EAAE,CAAC;YACtC,4DAA4D;YAC5D,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,wBAAwB,GAAG,SAAS,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;gBACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAC5C,CAAC;YAEF,IAAI,wBAAwB,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5D,4BAA4B;gBAC5B,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,YAAY;wBAClB,QAAQ,EAAE,GAAG;wBACb,IAAI,EAAE;4BACJ,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;4BACxB,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;4BACzB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,KAAK,EAAE;4BACL,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;yBACtB;qBACF;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/D,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACvD,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE;QAC5C,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,WAAkD,EAClD,OAAuB,EACN,EAAE;IACnB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,mBAAmB,GAAoB,EAAE,CAAC;IAEhD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC3C,4DAA4D;QAC5D,2DAA2D;QAC3D,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,wBAAwB,GAAG,SAAS,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAC5C,CAAC;QAEF,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAC9B,SAAS,CAAC,2BAA2B;QACvC,CAAC;QAED,yDAAyD;QACzD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC9C,mBAAmB,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;gBACrB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC/D,WAAW,EAAE,SAAS,EAAE,kCAAkC;gBAC1D,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC;gBACtC,aAAa;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC"}
+{"version":3,"file":"constructors.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/constructors.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAG1B;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAA+B,EAC/B,GAAmB,EACnB,iBAAyD,EAC1C,EAAE;IACjB,6DAA6D;IAC7D,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,gFAAgF;IAChF,IAAI,iBAAiB,EAAE,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,iBAAiB,EAAE,CAAC;YACtC,4DAA4D;YAC5D,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,wBAAwB,GAAG,SAAS,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;gBACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAC5C,CAAC;YAEF,IAAI,wBAAwB,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5D,4BAA4B;gBAC5B,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE;wBACV,IAAI,EAAE,YAAY;wBAClB,QAAQ,EAAE,GAAG;wBACb,IAAI,EAAE;4BACJ,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,MAAM;6BACb;4BACD,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;4BACzB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;wBACD,KAAK,EAAE;4BACL,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;yBACtB;qBACF;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;QACnD,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE;QAC5C,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,WAAkD,EAClD,GAAmB,EACF,EAAE;IACnB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,mBAAmB,GAAoB,EAAE,CAAC;IAEhD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC3C,4DAA4D;QAC5D,2DAA2D;QAC3D,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,wBAAwB,GAAG,SAAS,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAC5C,CAAC;QAEF,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAC9B,SAAS,CAAC,2BAA2B;QACvC,CAAC;QAED,yDAAyD;QACzD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,iEAAiE;YACjE,MAAM,aAAa,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAC9C,mBAAmB,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;gBACrB,IAAI,EAAE,KAAK,CAAC,IAAI;oBACd,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAC1C;oBACH,CAAC,CAAC,SAAS;gBACb,WAAW,EAAE,SAAS,EAAE,kCAAkC;gBAC1D,QAAQ,EAAE,KAAK;gBACf,UAAU,EAAE,mBAAmB,CAAC,KAAK,CAAC;gBACtC,aAAa;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/classes/methods.d.ts

@@ -3,8 +3,9 @@
  */
 import * as ts from "typescript";
 import { IrClassMember } from "../../../../types.js";
+import type { ProgramContext } from "../../../../program-context.js";
 /**
  * Convert method declaration to IR
  */
-export declare const convertMethod: (node: ts.MethodDeclaration, checker: ts.TypeChecker, superClass: ts.ExpressionWithTypeArguments | undefined) => IrClassMember;
+export declare const convertMethod: (node: ts.MethodDeclaration, ctx: ProgramContext, superClass: ts.ExpressionWithTypeArguments | undefined) => IrClassMember;
 //# sourceMappingURL=methods.d.ts.map

package/dist/ir/converters/statements/declarations/classes/methods.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAWrD;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,EACvB,YAAY,EAAE,CAAC,2BAA2B,GAAG,SAAS,KACrD,aAqCF,CAAC"}
+{"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AASrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAqDrE;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,EAAE,CAAC,iBAAiB,EAC1B,KAAK,cAAc,EACnB,YAAY,EAAE,CAAC,2BAA2B,GAAG,SAAS,KACrD,aA4CF,CAAC"}

package/dist/ir/converters/statements/declarations/classes/methods.js

@@ -2,32 +2,84 @@
  * Method member conversion
  */
 import * as ts from "typescript";
-import { convertType } from "../../../../type-converter.js";
 import { convertBlockStatement } from "../../control.js";
 import { hasStaticModifier, getAccessibility, convertTypeParameters, convertParameters, } from "../../helpers.js";
 import { detectOverride } from "./override-detection.js";
+/**
+ * DETERMINISTIC: Convert a TypeNode to a string for signature matching.
+ * Uses only AST structure, not TypeScript's type inference.
+ */
+const typeNodeToSignatureString = (typeNode) => {
+    // Handle type references: Foo, List<T>, etc.
+    if (ts.isTypeReferenceNode(typeNode)) {
+        // EntityName is Identifier | QualifiedName - handle both
+        const name = ts.isIdentifier(typeNode.typeName)
+            ? typeNode.typeName.text
+            : typeNode.typeName.right.text; // QualifiedName: get rightmost identifier
+        return name;
+    }
+    // Handle keyword types
+    switch (typeNode.kind) {
+        case ts.SyntaxKind.NumberKeyword:
+            return "number";
+        case ts.SyntaxKind.StringKeyword:
+            return "string";
+        case ts.SyntaxKind.BooleanKeyword:
+            return "boolean";
+        case ts.SyntaxKind.VoidKeyword:
+            return "void";
+        case ts.SyntaxKind.AnyKeyword:
+            return "any";
+        case ts.SyntaxKind.UnknownKeyword:
+            return "unknown";
+        case ts.SyntaxKind.NeverKeyword:
+            return "never";
+        case ts.SyntaxKind.ObjectKeyword:
+            return "object";
+        case ts.SyntaxKind.SymbolKeyword:
+            return "symbol";
+        case ts.SyntaxKind.BigIntKeyword:
+            return "bigint";
+        case ts.SyntaxKind.UndefinedKeyword:
+            return "undefined";
+        case ts.SyntaxKind.NullKeyword:
+            return "null";
+    }
+    // Handle array types: T[]
+    if (ts.isArrayTypeNode(typeNode)) {
+        return `${typeNodeToSignatureString(typeNode.elementType)}[]`;
+    }
+    // For other complex types, fall back to any
+    return "any";
+};
 /**
  * Convert method declaration to IR
  */
-export const convertMethod = (node, checker, superClass) => {
+export const convertMethod = (node, ctx, superClass) => {
     const memberName = ts.isIdentifier(node.name) ? node.name.text : "[computed]";
-    // Extract parameter types for method signature
+    // DETERMINISTIC: Extract parameter types directly from TypeNodes
     const parameterTypes = node.parameters.map((param) => {
         if (param.type) {
-            // Get type string representation
-            const type = checker.getTypeAtLocation(param.type);
-            return checker.typeToString(type);
+            return typeNodeToSignatureString(param.type);
         }
         return "any";
     });
-    const overrideInfo = detectOverride(memberName, "method", superClass, checker, parameterTypes);
+    const overrideInfo = detectOverride(memberName, "method", superClass, ctx, parameterTypes);
+    // Get return type from declared annotation for contextual typing
+    // PHASE 4 (Alice's spec): Use captureTypeSyntax + typeFromSyntax
+    const returnType = node.type
+        ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(node.type))
+        : undefined;
     return {
         kind: "methodDeclaration",
         name: memberName,
-        typeParameters: convertTypeParameters(node.typeParameters, checker),
-        parameters: convertParameters(node.parameters, checker),
-        returnType: node.type ? convertType(node.type, checker) : undefined,
-        body: node.body ? convertBlockStatement(node.body, checker) : undefined,
+        typeParameters: convertTypeParameters(node.typeParameters, ctx),
+        parameters: convertParameters(node.parameters, ctx),
+        returnType,
+        // Pass return type to body for contextual typing of return statements
+        body: node.body
+            ? convertBlockStatement(node.body, ctx, returnType)
+            : undefined,
         isStatic: hasStaticModifier(node),
         isAsync: !!node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword),
         isGenerator: !!node.asteriskToken,

package/dist/ir/converters/statements/declarations/classes/methods.js.map

@@ -1 +1 @@
-{"version":3,"file":"methods.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA0B,EAC1B,OAAuB,EACvB,UAAsD,EACvC,EAAE;IACjB,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;IAE9E,+CAA+C;IAC/C,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACnD,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,iCAAiC;YACjC,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,OAAO,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,cAAc,CACjC,UAAU,EACV,QAAQ,EACR,UAAU,EACV,OAAO,EACP,cAAc,CACf,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,UAAU;QAChB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;QACnE,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACvD,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACnE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACvE,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC7C;QACD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;QACjC,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC;QACrC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACtD,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KACnD,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"methods.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/methods.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAGzD;;;GAGG;AACH,MAAM,yBAAyB,GAAG,CAAC,QAAqB,EAAU,EAAE;IAClE,6CAA6C;IAC7C,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,yDAAyD;QACzD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC7C,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI;YACxB,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,0CAA0C;QAC5E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uBAAuB;IACvB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,QAAQ,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,QAAQ,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,SAAS,CAAC;QACnB,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,MAAM,CAAC;QAChB,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,OAAO,KAAK,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,SAAS,CAAC;QACnB,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC7B,OAAO,OAAO,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,QAAQ,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,QAAQ,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,QAAQ,CAAC;QAClB,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,WAAW,CAAC;QACrB,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,MAAM,CAAC;IAClB,CAAC;IAED,0BAA0B;IAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,yBAAyB,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC;IAChE,CAAC;IAED,4CAA4C;IAC5C,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAA0B,EAC1B,GAAmB,EACnB,UAAsD,EACvC,EAAE;IACjB,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;IAE9E,iEAAiE;IACjE,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACnD,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,OAAO,yBAAyB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,cAAc,CACjC,UAAU,EACV,QAAQ,EACR,UAAU,EACV,GAAG,EACH,cAAc,CACf,CAAC;IAEF,iEAAiE;IACjE,iEAAiE;IACjE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI;QAC1B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,UAAU;QAChB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;QACnD,UAAU;QACV,sEAAsE;QACtE,IAAI,EAAE,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC;YACnD,CAAC,CAAC,SAAS;QACb,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC7C;QACD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;QACjC,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC;QACrC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACtD,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KACnD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/classes/orchestrator.d.ts

@@ -3,8 +3,9 @@
  */
 import * as ts from "typescript";
 import { IrClassDeclaration } from "../../../../types.js";
+import type { ProgramContext } from "../../../../program-context.js";
 /**
  * Convert class declaration to IR
  */
-export declare const convertClassDeclaration: (node: ts.ClassDeclaration, checker: ts.TypeChecker) => IrClassDeclaration | null;
+export declare const convertClassDeclaration: (node: ts.ClassDeclaration, ctx: ProgramContext) => IrClassDeclaration | null;
 //# sourceMappingURL=orchestrator.d.ts.map

package/dist/ir/converters/statements/declarations/classes/orchestrator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAiB,MAAM,sBAAsB,CAAC;AAgGzE;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,gBAAgB,EACzB,SAAS,EAAE,CAAC,WAAW,KACtB,kBAAkB,GAAG,IA0DvB,CAAC"}
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAiB,MAAM,sBAAsB,CAAC;AAQzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AA4ErE;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,gBAAgB,EACzB,KAAK,cAAc,KAClB,kBAAkB,GAAG,IAwGvB,CAAC"}