@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/validation/arrow-return-finalization-pass.js

@@ -7,423 +7,7 @@
  * This pass runs AFTER numeric proof pass, so that the body expression's
  * inferredType has been finalized with proper numeric kinds.
  *
- * Example:
- *   xs.map(x => x + 1)
- *   - x is inferred as number from contextual type
- *   - x + 1 has inferredType: primitiveType("number")
- *   - Arrow's returnType is set to primitiveType("number")
+ * FACADE: re-exports from arrow-return-statement-walk and arrow-return-expression-walk.
  */
-/**
- * Run arrow return finalization pass on modules
- */
-export const runArrowReturnFinalizationPass = (modules) => {
-    const processedModules = modules.map(processModule);
-    return { ok: true, modules: processedModules };
-};
-/**
- * Process a single module
- */
-const processModule = (module) => ({
-    ...module,
-    body: module.body.map(processStatement),
-    exports: module.exports.map((exp) => {
-        switch (exp.kind) {
-            case "declaration":
-                return {
-                    ...exp,
-                    declaration: processStatement(exp.declaration),
-                };
-            case "default":
-                return {
-                    ...exp,
-                    expression: processExpression(exp.expression),
-                };
-            case "named":
-            case "reexport":
-                return exp;
-            default:
-                return exp;
-        }
-    }),
-});
-/**
- * Process a statement, recursively handling nested expressions
- */
-const processStatement = (stmt) => {
-    switch (stmt.kind) {
-        case "variableDeclaration":
-            return {
-                ...stmt,
-                declarations: stmt.declarations.map((decl) => ({
-                    ...decl,
-                    initializer: decl.initializer
-                        ? processExpression(decl.initializer)
-                        : undefined,
-                })),
-            };
-        case "functionDeclaration":
-            return {
-                ...stmt,
-                body: processBlockStatement(stmt.body),
-            };
-        case "classDeclaration":
-            return {
-                ...stmt,
-                members: stmt.members.map(processClassMember),
-            };
-        case "interfaceDeclaration":
-            return stmt;
-        case "typeAliasDeclaration":
-            return stmt;
-        case "expressionStatement":
-            return {
-                ...stmt,
-                expression: processExpression(stmt.expression),
-            };
-        case "returnStatement":
-            return {
-                ...stmt,
-                expression: stmt.expression
-                    ? processExpression(stmt.expression)
-                    : undefined,
-            };
-        case "ifStatement":
-            return {
-                ...stmt,
-                condition: processExpression(stmt.condition),
-                thenStatement: processStatement(stmt.thenStatement),
-                elseStatement: stmt.elseStatement
-                    ? processStatement(stmt.elseStatement)
-                    : undefined,
-            };
-        case "blockStatement":
-            return processBlockStatement(stmt);
-        case "forStatement":
-            return {
-                ...stmt,
-                initializer: stmt.initializer
-                    ? "kind" in stmt.initializer &&
-                        stmt.initializer.kind === "variableDeclaration"
-                        ? processStatement(stmt.initializer)
-                        : processExpression(stmt.initializer)
-                    : undefined,
-                condition: stmt.condition
-                    ? processExpression(stmt.condition)
-                    : undefined,
-                update: stmt.update ? processExpression(stmt.update) : undefined,
-                body: processStatement(stmt.body),
-            };
-        case "forOfStatement":
-            return {
-                ...stmt,
-                expression: processExpression(stmt.expression),
-                body: processStatement(stmt.body),
-            };
-        case "whileStatement":
-            return {
-                ...stmt,
-                condition: processExpression(stmt.condition),
-                body: processStatement(stmt.body),
-            };
-        case "switchStatement":
-            return {
-                ...stmt,
-                expression: processExpression(stmt.expression),
-                cases: stmt.cases.map((c) => ({
-                    ...c,
-                    test: c.test ? processExpression(c.test) : undefined,
-                    statements: c.statements.map(processStatement),
-                })),
-            };
-        case "throwStatement":
-            return {
-                ...stmt,
-                expression: processExpression(stmt.expression),
-            };
-        case "tryStatement":
-            return {
-                ...stmt,
-                tryBlock: processBlockStatement(stmt.tryBlock),
-                catchClause: stmt.catchClause
-                    ? {
-                        ...stmt.catchClause,
-                        body: processBlockStatement(stmt.catchClause.body),
-                    }
-                    : undefined,
-                finallyBlock: stmt.finallyBlock
-                    ? processBlockStatement(stmt.finallyBlock)
-                    : undefined,
-            };
-        case "yieldStatement":
-            return {
-                ...stmt,
-                output: stmt.output ? processExpression(stmt.output) : undefined,
-            };
-        case "generatorReturnStatement":
-            return {
-                ...stmt,
-                expression: stmt.expression
-                    ? processExpression(stmt.expression)
-                    : undefined,
-            };
-        case "breakStatement":
-        case "continueStatement":
-        case "emptyStatement":
-            return stmt;
-        default:
-            return stmt;
-    }
-};
-/**
- * Process a block statement
- */
-const processBlockStatement = (block) => ({
-    ...block,
-    statements: block.statements.map(processStatement),
-});
-/**
- * Process a class member
- */
-const processClassMember = (member) => {
-    switch (member.kind) {
-        case "methodDeclaration":
-            return member.body
-                ? {
-                    ...member,
-                    body: processBlockStatement(member.body),
-                }
-                : member;
-        case "constructorDeclaration":
-            return member.body
-                ? {
-                    ...member,
-                    body: processBlockStatement(member.body),
-                }
-                : member;
-        case "propertyDeclaration":
-            return member.initializer
-                ? {
-                    ...member,
-                    initializer: processExpression(member.initializer),
-                }
-                : member;
-        default:
-            return member;
-    }
-};
-/**
- * Process an expression, handling arrow functions specially
- */
-const processExpression = (expr) => {
-    switch (expr.kind) {
-        case "arrowFunction":
-            return processArrowFunction(expr);
-        case "functionExpression":
-            return processFunctionExpression(expr);
-        case "array":
-            return {
-                ...expr,
-                elements: expr.elements.map((el) => el === undefined ? undefined : processExpression(el)),
-            };
-        case "object":
-            return {
-                ...expr,
-                properties: expr.properties.map((prop) => {
-                    if (prop.kind === "spread") {
-                        return {
-                            ...prop,
-                            expression: processExpression(prop.expression),
-                        };
-                    }
-                    return {
-                        ...prop,
-                        key: typeof prop.key === "string"
-                            ? prop.key
-                            : processExpression(prop.key),
-                        value: processExpression(prop.value),
-                    };
-                }),
-            };
-        case "call":
-            return {
-                ...expr,
-                callee: processExpression(expr.callee),
-                arguments: expr.arguments.map((arg) => arg.kind === "spread"
-                    ? { ...arg, expression: processExpression(arg.expression) }
-                    : processExpression(arg)),
-                dynamicImportNamespace: expr.dynamicImportNamespace
-                    ? processExpression(expr.dynamicImportNamespace)
-                    : undefined,
-            };
-        case "new":
-            return {
-                ...expr,
-                callee: processExpression(expr.callee),
-                arguments: expr.arguments.map((arg) => arg.kind === "spread"
-                    ? { ...arg, expression: processExpression(arg.expression) }
-                    : processExpression(arg)),
-            };
-        case "memberAccess":
-            return {
-                ...expr,
-                object: processExpression(expr.object),
-                property: typeof expr.property === "string"
-                    ? expr.property
-                    : processExpression(expr.property),
-            };
-        case "binary":
-            return {
-                ...expr,
-                left: processExpression(expr.left),
-                right: processExpression(expr.right),
-            };
-        case "logical":
-            return {
-                ...expr,
-                left: processExpression(expr.left),
-                right: processExpression(expr.right),
-            };
-        case "unary":
-            return {
-                ...expr,
-                expression: processExpression(expr.expression),
-            };
-        case "update":
-            return {
-                ...expr,
-                expression: processExpression(expr.expression),
-            };
-        case "conditional":
-            return {
-                ...expr,
-                condition: processExpression(expr.condition),
-                whenTrue: processExpression(expr.whenTrue),
-                whenFalse: processExpression(expr.whenFalse),
-            };
-        case "assignment":
-            return {
-                ...expr,
-                left: "kind" in expr.left && expr.left.kind !== undefined
-                    ? processExpression(expr.left)
-                    : expr.left,
-                right: processExpression(expr.right),
-            };
-        case "templateLiteral":
-            return {
-                ...expr,
-                expressions: expr.expressions.map(processExpression),
-            };
-        case "spread":
-            return {
-                ...expr,
-                expression: processExpression(expr.expression),
-            };
-        case "await":
-            return {
-                ...expr,
-                expression: processExpression(expr.expression),
-            };
-        case "yield":
-            return {
-                ...expr,
-                expression: expr.expression
-                    ? processExpression(expr.expression)
-                    : undefined,
-            };
-        case "numericNarrowing":
-            return {
-                ...expr,
-                expression: processExpression(expr.expression),
-            };
-        case "typeAssertion":
-            return {
-                ...expr,
-                expression: processExpression(expr.expression),
-            };
-        case "trycast":
-            return {
-                ...expr,
-                expression: processExpression(expr.expression),
-            };
-        case "stackalloc":
-            return {
-                ...expr,
-                size: processExpression(expr.size),
-            };
-        // Leaf expressions - no recursion needed
-        case "literal":
-        case "identifier":
-        case "this":
-            return expr;
-        default:
-            return expr;
-    }
-};
-/**
- * Process arrow function - finalize return type from body if needed
- */
-const processArrowFunction = (expr) => {
-    // Process nested expressions in parameters (default values)
-    const processedParams = expr.parameters.map(processParameter);
-    // Process the body
-    const processedBody = expr.body.kind === "blockStatement"
-        ? processBlockStatement(expr.body)
-        : processExpression(expr.body);
-    // If returnType is already set (explicit annotation), keep it
-    if (expr.returnType !== undefined) {
-        return {
-            ...expr,
-            parameters: processedParams,
-            body: processedBody,
-        };
-    }
-    // For expression-bodied arrows without explicit return type,
-    // infer return type from body's inferredType
-    if (processedBody.kind !== "blockStatement") {
-        // Prefer the arrow's own inferred function signature when available.
-        //
-        // This is critical for airplane-grade correctness:
-        // - The anonymous-type lowering pass runs before this pass and *does* lower
-        //   `arrow.inferredType.returnType` (when inferredType is a functionType).
-        // - Expression `inferredType` fields (including object literals) are intentionally
-        //   not lowered/validated globally, so using `body.inferredType` here can
-        //   reintroduce IrObjectType into a type position and crash the emitter.
-        const inferredReturnType = expr.inferredType?.kind === "functionType"
-            ? expr.inferredType.returnType
-            : processedBody.inferredType;
-        if (inferredReturnType !== undefined) {
-            return {
-                ...expr,
-                parameters: processedParams,
-                body: processedBody,
-                returnType: inferredReturnType,
-            };
-        }
-    }
-    // Block-bodied arrows without explicit return type:
-    // The escape hatch validation (TSN7430) should have caught this.
-    // If we reach here, just return the processed arrow without returnType.
-    return {
-        ...expr,
-        parameters: processedParams,
-        body: processedBody,
-    };
-};
-/**
- * Process function expression
- */
-const processFunctionExpression = (expr) => ({
-    ...expr,
-    parameters: expr.parameters.map(processParameter),
-    body: processBlockStatement(expr.body),
-});
-/**
- * Process a parameter (handle default values)
- */
-const processParameter = (param) => ({
-    ...param,
-    initializer: param.initializer
-        ? processExpression(param.initializer)
-        : undefined,
-});
+export { runArrowReturnFinalizationPass } from "./arrow-return-statement-walk.js";
 //# sourceMappingURL=arrow-return-finalization-pass.js.map

package/dist/ir/validation/arrow-return-finalization-pass.js.map

@@ -1 +1 @@
-{"version":3,"file":"arrow-return-finalization-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/arrow-return-finalization-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAqBH;;GAEG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,OAA4B,EACG,EAAE;IACjC,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACpD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;AACjD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAY,EAAE,CAAC,CAAC;IACrD,GAAG,MAAM;IACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,aAAa;gBAChB,OAAO;oBACL,GAAG,GAAG;oBACN,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC;iBAC/C,CAAC;YACJ,KAAK,SAAS;gBACZ,OAAO;oBACL,GAAG,GAAG;oBACN,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC;iBAC9C,CAAC;YACJ,KAAK,OAAO,CAAC;YACb,KAAK,UAAU;gBACb,OAAO,GAAG,CAAC;YACb;gBACE,OAAO,GAAG,CAAC;QACf,CAAC;IACH,CAAC,CAAC;CACH,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,gBAAgB,GAAG,CAAC,IAAiB,EAAe,EAAE;IAC1D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC7C,GAAG,IAAI;oBACP,WAAW,EAAE,IAAI,CAAC,WAAW;wBAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC;wBACrC,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;aACvC,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC;aAC9C,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO,IAAI,CAAC;QAEd,KAAK,sBAAsB;YACzB,OAAO,IAAI,CAAC;QAEd,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;oBACpC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5C,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACnD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC;oBACtC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAErC,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,WAAW;wBAC1B,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC/C,CAAC,CAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAA6B;wBACjE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAA2B,CAAC;oBACvD,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;oBACnC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;gBAChE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;aAClC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC9C,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;aAClC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5C,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;aAClC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC9C,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;oBACpD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;iBAC/C,CAAC,CAAC;aACJ,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC9C,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;qBACnD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,YAAY,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;aACjE,CAAC;QAEJ,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;oBACpC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB,CAAC;QACzB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC;QAEd;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAAC,KAAuB,EAAoB,EAAE,CAAC,CAAC;IAC5E,GAAG,KAAK;IACR,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;CACnD,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,MAAqB,EAAiB,EAAE;IAClE,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,mBAAmB;YACtB,OAAO,MAAM,CAAC,IAAI;gBAChB,CAAC,CAAC;oBACE,GAAG,MAAM;oBACT,IAAI,EAAE,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC;iBACzC;gBACH,CAAC,CAAC,MAAM,CAAC;QAEb,KAAK,wBAAwB;YAC3B,OAAO,MAAM,CAAC,IAAI;gBAChB,CAAC,CAAC;oBACE,GAAG,MAAM;oBACT,IAAI,EAAE,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC;iBACzC;gBACH,CAAC,CAAC,MAAM,CAAC;QAEb,KAAK,qBAAqB;YACxB,OAAO,MAAM,CAAC,WAAW;gBACvB,CAAC,CAAC;oBACE,GAAG,MAAM;oBACT,WAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC,WAAW,CAAC;iBACnD;gBACH,CAAC,CAAC,MAAM,CAAC;QAEb;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAAkB,EAAgB,EAAE;IAC7D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAEpC,KAAK,oBAAoB;YACvB,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC;QAEzC,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACjC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC,CACrD;aACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;oBACvC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC3B,OAAO;4BACL,GAAG,IAAI;4BACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;yBAC/C,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,IAAI;wBACP,GAAG,EACD,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;4BAC1B,CAAC,CAAC,IAAI,CAAC,GAAG;4BACV,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC;wBACjC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;qBACrC,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QAEJ,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;oBAC3D,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAC3B;gBACD,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;oBACjD,CAAC,CAAE,iBAAiB,CAChB,IAAI,CAAC,sBAAsB,CACW;oBAC1C,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,KAAK;YACR,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACnB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;oBAC3D,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAC3B;aACF,CAAC;QAEJ,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,QAAQ,EACN,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;oBACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;aACvC,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC5C,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAC1C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;aAC7C,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;oBACjD,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAoB,CAAC;oBAC9C,CAAC,CAAC,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;aACrC,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC;aACrD,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;oBACpC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC;aAC/C,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;aACnC,CAAC;QAEJ,yCAAyC;QACzC,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QAEd;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAA+B,EACJ,EAAE;IAC7B,4DAA4D;IAC5D,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAE9D,mBAAmB;IACnB,MAAM,aAAa,GACjB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QACjC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;QAClC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEnC,8DAA8D;IAC9D,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO;YACL,GAAG,IAAI;YACP,UAAU,EAAE,eAAe;YAC3B,IAAI,EAAE,aAAa;SACpB,CAAC;IACJ,CAAC;IAED,6DAA6D;IAC7D,6CAA6C;IAC7C,IAAI,aAAa,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC5C,qEAAqE;QACrE,EAAE;QACF,mDAAmD;QACnD,4EAA4E;QAC5E,2EAA2E;QAC3E,mFAAmF;QACnF,0EAA0E;QAC1E,yEAAyE;QACzE,MAAM,kBAAkB,GACtB,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc;YACxC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU;YAC9B,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC;QAEjC,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;YACrC,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe;gBAC3B,IAAI,EAAE,aAAa;gBACnB,UAAU,EAAE,kBAAkB;aAC/B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,iEAAiE;IACjE,wEAAwE;IACxE,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,eAAe;QAC3B,IAAI,EAAE,aAAa;KACpB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,yBAAyB,GAAG,CAChC,IAA0B,EACJ,EAAE,CAAC,CAAC;IAC1B,GAAG,IAAI;IACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;IACjD,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;CACvC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,gBAAgB,GAAG,CAAC,KAAkB,EAAe,EAAE,CAAC,CAAC;IAC7D,GAAG,KAAK;IACR,WAAW,EAAE,KAAK,CAAC,WAAW;QAC5B,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC;QACtC,CAAC,CAAC,SAAS;CACd,CAAC,CAAC"}
+{"version":3,"file":"arrow-return-finalization-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/arrow-return-finalization-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC"}

package/dist/ir/validation/arrow-return-statement-walk.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Arrow Return Finalization — Statement & Block Walkers
+ *
+ * Recursive statement and block walkers for the arrow return finalization pass.
+ * Processes module bodies, class members, and all statement kinds.
+ */
+import { IrModule, IrStatement, IrBlockStatement } from "../types.js";
+/**
+ * Result of arrow return finalization pass
+ */
+export type ArrowReturnFinalizationResult = {
+    readonly ok: true;
+    readonly modules: readonly IrModule[];
+};
+/**
+ * Run arrow return finalization pass on modules
+ */
+export declare const runArrowReturnFinalizationPass: (modules: readonly IrModule[]) => ArrowReturnFinalizationResult;
+/**
+ * Process a statement, recursively handling nested expressions
+ */
+export declare const processStatement: (stmt: IrStatement) => IrStatement;
+/**
+ * Process a block statement
+ */
+export declare const processBlockStatement: (block: IrBlockStatement) => IrBlockStatement;
+//# sourceMappingURL=arrow-return-statement-walk.d.ts.map

package/dist/ir/validation/arrow-return-statement-walk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrow-return-statement-walk.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/arrow-return-statement-walk.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,QAAQ,EACR,WAAW,EAEX,gBAAgB,EAEjB,MAAM,aAAa,CAAC;AAIrB;;GAEG;AACH,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,8BAA8B,GACzC,SAAS,SAAS,QAAQ,EAAE,KAC3B,6BAGF,CAAC;AA6BF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,WAAW,KAAG,WA8IpD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,gBAAgB,KACtB,gBAGD,CAAC"}

package/dist/ir/validation/arrow-return-statement-walk.js

@@ -0,0 +1,206 @@
+/**
+ * Arrow Return Finalization — Statement & Block Walkers
+ *
+ * Recursive statement and block walkers for the arrow return finalization pass.
+ * Processes module bodies, class members, and all statement kinds.
+ */
+import { processExpression } from "./arrow-return-expression-walk.js";
+/**
+ * Run arrow return finalization pass on modules
+ */
+export const runArrowReturnFinalizationPass = (modules) => {
+    const processedModules = modules.map(processModule);
+    return { ok: true, modules: processedModules };
+};
+/**
+ * Process a single module
+ */
+const processModule = (module) => ({
+    ...module,
+    body: module.body.map(processStatement),
+    exports: module.exports.map((exp) => {
+        switch (exp.kind) {
+            case "declaration":
+                return {
+                    ...exp,
+                    declaration: processStatement(exp.declaration),
+                };
+            case "default":
+                return {
+                    ...exp,
+                    expression: processExpression(exp.expression),
+                };
+            case "named":
+            case "reexport":
+                return exp;
+            default:
+                return exp;
+        }
+    }),
+});
+/**
+ * Process a statement, recursively handling nested expressions
+ */
+export const processStatement = (stmt) => {
+    switch (stmt.kind) {
+        case "variableDeclaration":
+            return {
+                ...stmt,
+                declarations: stmt.declarations.map((decl) => ({
+                    ...decl,
+                    initializer: decl.initializer
+                        ? processExpression(decl.initializer)
+                        : undefined,
+                })),
+            };
+        case "functionDeclaration":
+            return {
+                ...stmt,
+                body: processBlockStatement(stmt.body),
+            };
+        case "classDeclaration":
+            return {
+                ...stmt,
+                members: stmt.members.map(processClassMember),
+            };
+        case "interfaceDeclaration":
+            return stmt;
+        case "typeAliasDeclaration":
+            return stmt;
+        case "expressionStatement":
+            return {
+                ...stmt,
+                expression: processExpression(stmt.expression),
+            };
+        case "returnStatement":
+            return {
+                ...stmt,
+                expression: stmt.expression
+                    ? processExpression(stmt.expression)
+                    : undefined,
+            };
+        case "ifStatement":
+            return {
+                ...stmt,
+                condition: processExpression(stmt.condition),
+                thenStatement: processStatement(stmt.thenStatement),
+                elseStatement: stmt.elseStatement
+                    ? processStatement(stmt.elseStatement)
+                    : undefined,
+            };
+        case "blockStatement":
+            return processBlockStatement(stmt);
+        case "forStatement":
+            return {
+                ...stmt,
+                initializer: stmt.initializer
+                    ? "kind" in stmt.initializer &&
+                        stmt.initializer.kind === "variableDeclaration"
+                        ? processStatement(stmt.initializer)
+                        : processExpression(stmt.initializer)
+                    : undefined,
+                condition: stmt.condition
+                    ? processExpression(stmt.condition)
+                    : undefined,
+                update: stmt.update ? processExpression(stmt.update) : undefined,
+                body: processStatement(stmt.body),
+            };
+        case "forOfStatement":
+            return {
+                ...stmt,
+                expression: processExpression(stmt.expression),
+                body: processStatement(stmt.body),
+            };
+        case "whileStatement":
+            return {
+                ...stmt,
+                condition: processExpression(stmt.condition),
+                body: processStatement(stmt.body),
+            };
+        case "switchStatement":
+            return {
+                ...stmt,
+                expression: processExpression(stmt.expression),
+                cases: stmt.cases.map((c) => ({
+                    ...c,
+                    test: c.test ? processExpression(c.test) : undefined,
+                    statements: c.statements.map(processStatement),
+                })),
+            };
+        case "throwStatement":
+            return {
+                ...stmt,
+                expression: processExpression(stmt.expression),
+            };
+        case "tryStatement":
+            return {
+                ...stmt,
+                tryBlock: processBlockStatement(stmt.tryBlock),
+                catchClause: stmt.catchClause
+                    ? {
+                        ...stmt.catchClause,
+                        body: processBlockStatement(stmt.catchClause.body),
+                    }
+                    : undefined,
+                finallyBlock: stmt.finallyBlock
+                    ? processBlockStatement(stmt.finallyBlock)
+                    : undefined,
+            };
+        case "yieldStatement":
+            return {
+                ...stmt,
+                output: stmt.output ? processExpression(stmt.output) : undefined,
+            };
+        case "generatorReturnStatement":
+            return {
+                ...stmt,
+                expression: stmt.expression
+                    ? processExpression(stmt.expression)
+                    : undefined,
+            };
+        case "breakStatement":
+        case "continueStatement":
+        case "emptyStatement":
+            return stmt;
+        default:
+            return stmt;
+    }
+};
+/**
+ * Process a block statement
+ */
+export const processBlockStatement = (block) => ({
+    ...block,
+    statements: block.statements.map(processStatement),
+});
+/**
+ * Process a class member
+ */
+const processClassMember = (member) => {
+    switch (member.kind) {
+        case "methodDeclaration":
+            return member.body
+                ? {
+                    ...member,
+                    body: processBlockStatement(member.body),
+                }
+                : member;
+        case "constructorDeclaration":
+            return member.body
+                ? {
+                    ...member,
+                    body: processBlockStatement(member.body),
+                }
+                : member;
+        case "propertyDeclaration":
+            return member.initializer
+                ? {
+                    ...member,
+                    initializer: processExpression(member.initializer),
+                }
+                : member;
+        default:
+            return member;
+    }
+};
+//# sourceMappingURL=arrow-return-statement-walk.js.map