@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/lambda-body.js

@@ -0,0 +1,421 @@
+/**
+ * Lambda body emission and async union return planning.
+ *
+ * Extracted from functions.ts — contains the lambda body emitters,
+ * async union return plan resolution, and the public emitFunctionExpression /
+ * emitArrowFunction entry points.
+ */
+import { getAwaitedIrType, isAwaitableIrType, } from "@tsonic/frontend";
+import { withStatic } from "../types.js";
+import { emitExpressionAst } from "../expression-emitter.js";
+import { emitBlockStatementAst } from "../statement-emitter.js";
+import { emitTypeAst } from "../type-emitter.js";
+import { resolveTypeAlias, stripNullish, } from "../core/semantic/type-resolution.js";
+import { emitRuntimeCarrierTypeAst, findRuntimeUnionMemberIndex, } from "../core/semantic/runtime-unions.js";
+import { buildRuntimeUnionFactoryCallAst } from "../core/semantic/runtime-union-projection.js";
+import { identifierType } from "../core/format/backend-ast/builders.js";
+import { stableTypeKeyFromAst } from "../core/format/backend-ast/utils.js";
+import { allocateLocalName } from "../core/format/local-names.js";
+import { seedLocalNameMapFromParameters, resolveContextualFunctionType, emitLambdaParametersAst, lowerLambdaParameterPreludeAst, } from "./lambda-parameters.js";
+const isDefinitelyTerminatingStatement = (stmt) => {
+    if (stmt.kind === "returnStatement" || stmt.kind === "throwStatement") {
+        return true;
+    }
+    if (stmt.kind === "blockStatement") {
+        const last = stmt.statements.at(-1);
+        return last ? isDefinitelyTerminatingStatement(last) : false;
+    }
+    return false;
+};
+const canEmitDirectVoidLambdaStatement = (body) => body.kind === "call" ||
+    body.kind === "new" ||
+    body.kind === "assignment" ||
+    body.kind === "update" ||
+    body.kind === "await";
+const getAsyncUnionReturnPlan = (returnType, context) => {
+    if (!returnType)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(returnType), context);
+    if (resolved.kind !== "unionType") {
+        return undefined;
+    }
+    let awaitableIndex = -1;
+    let awaitedReturnType;
+    let awaitableMemberType;
+    for (let index = 0; index < resolved.types.length; index += 1) {
+        const member = resolved.types[index];
+        if (!member || !isAwaitableIrType(member)) {
+            continue;
+        }
+        if (awaitableIndex !== -1) {
+            return undefined;
+        }
+        awaitableIndex = index;
+        awaitedReturnType = getAwaitedIrType(member) ?? { kind: "voidType" };
+        awaitableMemberType = member;
+    }
+    if (awaitableIndex === -1 || !awaitedReturnType || !awaitableMemberType) {
+        return undefined;
+    }
+    return {
+        unionReturnType: returnType,
+        awaitedReturnType,
+        awaitableMemberType,
+    };
+};
+const buildTaskRunInvocationAst = (body, resultTypeAst) => ({
+    kind: "invocationExpression",
+    expression: {
+        kind: "memberAccessExpression",
+        expression: {
+            kind: "typeReferenceExpression",
+            type: identifierType("global::System.Threading.Tasks.Task"),
+        },
+        memberName: "Run",
+    },
+    typeArguments: resultTypeAst ? [resultTypeAst] : undefined,
+    arguments: [
+        {
+            kind: "lambdaExpression",
+            isAsync: true,
+            parameters: [],
+            body,
+        },
+    ],
+});
+const emitAsyncUnionReturningLambdaBodyAst = (parameters, body, context, unionPlan, capturesObjectLiteralThis) => {
+    const blockContext = withStatic({
+        ...context,
+        objectLiteralThisIdentifier: capturesObjectLiteralThis
+            ? context.objectLiteralThisIdentifier
+            : undefined,
+    }, false);
+    const [preludeStatements, preludeContext] = lowerLambdaParameterPreludeAst(parameters, blockContext);
+    const [awaitedReturnTypeAst, awaitedReturnTypeContext] = emitTypeAst(unionPlan.awaitedReturnType, preludeContext);
+    let currentContext = awaitedReturnTypeContext;
+    let taskBody;
+    const isVoidAwaitedReturn = unionPlan.awaitedReturnType.kind === "voidType";
+    if (body.kind === "blockStatement") {
+        const [blockAst] = emitBlockStatementAst(body, {
+            ...currentContext,
+            returnType: unionPlan.awaitedReturnType,
+        });
+        const needsImplicitUndefinedReturn = !(unionPlan.awaitedReturnType.kind === "voidType" ||
+            isDefinitelyTerminatingStatement(body));
+        taskBody = {
+            kind: "blockStatement",
+            statements: needsImplicitUndefinedReturn
+                ? isVoidAwaitedReturn
+                    ? blockAst.statements
+                    : [
+                        ...blockAst.statements,
+                        {
+                            kind: "returnStatement",
+                            expression: {
+                                kind: "defaultExpression",
+                                type: awaitedReturnTypeAst,
+                            },
+                        },
+                    ]
+                : blockAst.statements,
+        };
+    }
+    else {
+        const [exprAst] = emitExpressionAst(body, currentContext, unionPlan.awaitedReturnType);
+        const isNoopVoidExpression = isVoidAwaitedReturn &&
+            ((body.kind === "literal" &&
+                (body.value === undefined || body.value === null)) ||
+                (body.kind === "identifier" &&
+                    (body.name === "undefined" || body.name === "null")));
+        const discardLocal = isVoidAwaitedReturn
+            ? allocateLocalName("__tsonic_discard", currentContext)
+            : undefined;
+        const discardName = discardLocal?.emittedName;
+        if (isVoidAwaitedReturn &&
+            !isNoopVoidExpression &&
+            discardName === undefined) {
+            throw new Error("Missing discard local for awaited void expression");
+        }
+        currentContext = discardLocal?.context ?? currentContext;
+        let awaitedStatements;
+        if (!isVoidAwaitedReturn) {
+            awaitedStatements = [
+                {
+                    kind: "returnStatement",
+                    expression: exprAst,
+                },
+            ];
+        }
+        else if (isNoopVoidExpression) {
+            awaitedStatements = [];
+        }
+        else {
+            const requiredDiscardName = discardName;
+            if (requiredDiscardName === undefined) {
+                throw new Error("Missing discard local for awaited void expression");
+            }
+            awaitedStatements = [
+                {
+                    kind: "localDeclarationStatement",
+                    modifiers: [],
+                    type: identifierType("var"),
+                    declarators: [
+                        {
+                            name: requiredDiscardName,
+                            initializer: exprAst,
+                        },
+                    ],
+                },
+            ];
+        }
+        taskBody = {
+            kind: "blockStatement",
+            statements: awaitedStatements,
+        };
+    }
+    const resultTypeAst = awaitedReturnTypeAst.kind === "predefinedType" &&
+        awaitedReturnTypeAst.keyword === "void"
+        ? undefined
+        : awaitedReturnTypeAst;
+    const taskInvocationAst = buildTaskRunInvocationAst(taskBody, resultTypeAst);
+    const [unionTypeAst, runtimeLayout, unionTypeContext] = emitRuntimeCarrierTypeAst(unionPlan.unionReturnType, currentContext, emitTypeAst);
+    const concreteUnionTypeAst = unionTypeAst.kind === "nullableType"
+        ? unionTypeAst.underlyingType
+        : unionTypeAst;
+    if (!runtimeLayout) {
+        return [taskInvocationAst, unionTypeContext];
+    }
+    const [awaitableMemberTypeAst, awaitableMemberTypeContext] = emitTypeAst(unionPlan.awaitableMemberType, unionTypeContext);
+    const awaitableMemberTypeKey = stableTypeKeyFromAst(awaitableMemberTypeAst);
+    const awaitableMemberIndex = runtimeLayout?.memberTypeAsts.findIndex((memberTypeAst) => stableTypeKeyFromAst(memberTypeAst) === awaitableMemberTypeKey) ?? -1;
+    const resolvedAwaitableMemberIndex = awaitableMemberIndex >= 0
+        ? awaitableMemberIndex
+        : runtimeLayout
+            ? findRuntimeUnionMemberIndex(runtimeLayout.members, unionPlan.awaitableMemberType, awaitableMemberTypeContext)
+            : undefined;
+    if (resolvedAwaitableMemberIndex === undefined) {
+        return [taskInvocationAst, awaitableMemberTypeContext];
+    }
+    const wrappedTaskAst = buildRuntimeUnionFactoryCallAst(concreteUnionTypeAst, resolvedAwaitableMemberIndex + 1, taskInvocationAst);
+    if (preludeStatements.length === 0) {
+        return [wrappedTaskAst, awaitableMemberTypeContext];
+    }
+    return [
+        {
+            kind: "blockStatement",
+            statements: [
+                ...preludeStatements,
+                {
+                    kind: "returnStatement",
+                    expression: wrappedTaskAst,
+                },
+            ],
+        },
+        awaitableMemberTypeContext,
+    ];
+};
+const emitLambdaBodyAst = (parameters, body, context, returnType, capturesObjectLiteralThis) => {
+    const blockContext = withStatic({
+        ...context,
+        objectLiteralThisIdentifier: capturesObjectLiteralThis
+            ? context.objectLiteralThisIdentifier
+            : undefined,
+    }, false);
+    const [preludeStatements, preludeContext] = lowerLambdaParameterPreludeAst(parameters, blockContext);
+    if (body.kind === "blockStatement") {
+        const [blockAst] = emitBlockStatementAst(body, {
+            ...preludeContext,
+            returnType,
+        });
+        return [
+            {
+                kind: "blockStatement",
+                statements: [...preludeStatements, ...blockAst.statements],
+            },
+            preludeContext,
+        ];
+    }
+    const [exprAst] = emitExpressionAst(body, preludeContext, returnType);
+    const isVoidReturn = returnType?.kind === "voidType";
+    const isNoopVoidExpression = isVoidReturn &&
+        ((body.kind === "literal" &&
+            (body.value === undefined || body.value === null)) ||
+            (body.kind === "identifier" &&
+                (body.name === "undefined" || body.name === "null")));
+    if (isVoidReturn) {
+        const emitsDirectStatement = canEmitDirectVoidLambdaStatement(body);
+        const discardLocal = isNoopVoidExpression ||
+            exprAst.kind === "defaultExpression" ||
+            emitsDirectStatement
+            ? undefined
+            : allocateLocalName("__tsonic_discard", preludeContext);
+        const statements = emitsDirectStatement
+            ? [{ kind: "expressionStatement", expression: exprAst }]
+            : discardLocal && discardLocal.emittedName
+                ? [
+                    {
+                        kind: "localDeclarationStatement",
+                        modifiers: [],
+                        type: identifierType("var"),
+                        declarators: [
+                            {
+                                name: discardLocal.emittedName,
+                                initializer: exprAst,
+                            },
+                        ],
+                    },
+                ]
+                : [];
+        return [
+            {
+                kind: "blockStatement",
+                statements: [...preludeStatements, ...statements],
+            },
+            discardLocal?.context ?? preludeContext,
+        ];
+    }
+    return [
+        {
+            kind: "blockStatement",
+            statements: [
+                ...preludeStatements,
+                {
+                    kind: "returnStatement",
+                    expression: exprAst,
+                },
+            ],
+        },
+        preludeContext,
+    ];
+};
+const resolveFunctionExpressionReturnType = (expr, contextualFunctionType) => {
+    if (contextualFunctionType?.returnType) {
+        return contextualFunctionType.returnType;
+    }
+    if (expr.returnType) {
+        return expr.returnType;
+    }
+    if (expr.inferredType?.kind === "functionType") {
+        return expr.inferredType.returnType;
+    }
+    return undefined;
+};
+const emitGeneratorFunctionExpression = (expr, parameters, context, returnType) => {
+    const blockContext = withStatic({
+        ...context,
+        objectLiteralThisIdentifier: expr.capturesObjectLiteralThis
+            ? context.objectLiteralThisIdentifier
+            : undefined,
+    }, false);
+    const [preludeStatements, preludeContext] = lowerLambdaParameterPreludeAst(parameters, blockContext);
+    const iteratorName = allocateLocalName("__tsonic_generator_expr", preludeContext);
+    const [returnTypeAst, returnTypeContext] = emitTypeAst(returnType ?? { kind: "unknownType" }, iteratorName.context);
+    const [bodyAst] = emitBlockStatementAst(expr.body, {
+        ...returnTypeContext,
+        returnType,
+    });
+    return [
+        {
+            kind: "lambdaExpression",
+            isAsync: false,
+            parameters: parameters.flatMap((parameter) => parameter.ast ? [parameter.ast] : []),
+            body: {
+                kind: "blockStatement",
+                statements: [
+                    ...preludeStatements,
+                    {
+                        kind: "localFunctionStatement",
+                        modifiers: expr.isAsync ? ["async"] : [],
+                        returnType: returnTypeAst,
+                        name: iteratorName.emittedName,
+                        parameters: [],
+                        body: bodyAst,
+                    },
+                    {
+                        kind: "returnStatement",
+                        expression: {
+                            kind: "invocationExpression",
+                            expression: {
+                                kind: "identifierExpression",
+                                identifier: iteratorName.emittedName,
+                            },
+                            arguments: [],
+                        },
+                    },
+                ],
+            },
+        },
+        returnTypeContext,
+    ];
+};
+/**
+ * Emit a function expression as CSharpExpressionAst (C# lambda)
+ */
+export const emitFunctionExpression = (expr, context, expectedType) => {
+    const contextualFunctionType = resolveContextualFunctionType(expr, expectedType, context);
+    const [paramInfos, paramContext] = emitLambdaParametersAst(expr.parameters, context, contextualFunctionType);
+    const bodyContextSeeded = seedLocalNameMapFromParameters(paramInfos, paramContext);
+    const returnType = resolveFunctionExpressionReturnType(expr, contextualFunctionType);
+    if (expr.isGenerator) {
+        return emitGeneratorFunctionExpression(expr, paramInfos, bodyContextSeeded, returnType);
+    }
+    const asyncUnionReturnPlan = expr.isAsync && returnType
+        ? getAsyncUnionReturnPlan(returnType, bodyContextSeeded)
+        : undefined;
+    const [bodyAst] = asyncUnionReturnPlan
+        ? emitAsyncUnionReturningLambdaBodyAst(paramInfos, expr.body, bodyContextSeeded, asyncUnionReturnPlan, expr.capturesObjectLiteralThis)
+        : emitLambdaBodyAst(paramInfos, expr.body, bodyContextSeeded, returnType, expr.capturesObjectLiteralThis);
+    const result = {
+        kind: "lambdaExpression",
+        isAsync: asyncUnionReturnPlan ? false : (expr.isAsync ?? false),
+        parameters: paramInfos.flatMap((p) => (p.ast ? [p.ast] : [])),
+        body: bodyAst,
+    };
+    return [result, paramContext];
+};
+/**
+ * Emit an arrow function as CSharpExpressionAst (C# lambda)
+ */
+export const emitArrowFunction = (expr, context, expectedType) => {
+    const contextualFunctionType = resolveContextualFunctionType(expr, expectedType, context);
+    const [paramInfos, paramContext] = emitLambdaParametersAst(expr.parameters, context, contextualFunctionType);
+    const bodyContextSeeded = seedLocalNameMapFromParameters(paramInfos, paramContext);
+    const returnType = resolveFunctionExpressionReturnType(expr, contextualFunctionType);
+    const asyncUnionReturnPlan = expr.isAsync && returnType
+        ? getAsyncUnionReturnPlan(returnType, bodyContextSeeded)
+        : undefined;
+    const requiresLoweredBody = paramInfos.some((p) => !p.bindsDirectly);
+    const requiresVoidLoweredBody = returnType?.kind === "voidType";
+    if (asyncUnionReturnPlan) {
+        const [bodyAst] = emitAsyncUnionReturningLambdaBodyAst(paramInfos, expr.body, bodyContextSeeded, asyncUnionReturnPlan, undefined);
+        const result = {
+            kind: "lambdaExpression",
+            isAsync: false,
+            parameters: paramInfos.flatMap((p) => (p.ast ? [p.ast] : [])),
+            body: bodyAst,
+        };
+        return [result, paramContext];
+    }
+    if (expr.body.kind === "blockStatement" ||
+        requiresLoweredBody ||
+        requiresVoidLoweredBody) {
+        const [bodyAst] = emitLambdaBodyAst(paramInfos, expr.body, bodyContextSeeded, returnType, undefined);
+        const result = {
+            kind: "lambdaExpression",
+            isAsync: expr.isAsync ?? false,
+            parameters: paramInfos.flatMap((p) => (p.ast ? [p.ast] : [])),
+            body: bodyAst,
+        };
+        return [result, paramContext];
+    }
+    // Expression body: (params) => expression
+    const [exprAst] = emitExpressionAst(expr.body, bodyContextSeeded, returnType);
+    const result = {
+        kind: "lambdaExpression",
+        isAsync: expr.isAsync ?? false,
+        parameters: paramInfos.flatMap((p) => (p.ast ? [p.ast] : [])),
+        body: exprAst,
+    };
+    return [result, paramContext];
+};
+//# sourceMappingURL=lambda-body.js.map

package/dist/expressions/lambda-body.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lambda-body.js","sourceRoot":"","sources":["../../src/expressions/lambda-body.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAIL,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAkB,UAAU,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,gBAAgB,EAChB,YAAY,GACb,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,+BAA+B,EAAE,MAAM,8CAA8C,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAOlE,OAAO,EAEL,8BAA8B,EAC9B,6BAA6B,EAC7B,uBAAuB,EACvB,8BAA8B,GAC/B,MAAM,wBAAwB,CAAC;AAQhC,MAAM,gCAAgC,GAAG,CAAC,IAAiB,EAAW,EAAE;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC,CAAC,CAAC,gCAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,IAGS,EACA,EAAE,CACX,IAAI,CAAC,IAAI,KAAK,MAAM;IACpB,IAAI,CAAC,IAAI,KAAK,KAAK;IACnB,IAAI,CAAC,IAAI,KAAK,YAAY;IAC1B,IAAI,CAAC,IAAI,KAAK,QAAQ;IACtB,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;AAExB,MAAM,uBAAuB,GAAG,CAC9B,UAA8B,EAC9B,OAAuB,EACW,EAAE;IACpC,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IACrE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAC,CAAC;IACxB,IAAI,iBAAqC,CAAC;IAC1C,IAAI,mBAAuC,CAAC;IAE5C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,SAAS;QACX,CAAC;QAED,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,cAAc,GAAG,KAAK,CAAC;QACvB,iBAAiB,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QACrE,mBAAmB,GAAG,MAAM,CAAC;IAC/B,CAAC;IAED,IAAI,cAAc,KAAK,CAAC,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,eAAe,EAAE,UAAU;QAC3B,iBAAiB;QACjB,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAA6B,EAC7B,aAAwC,EACnB,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE;QACV,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE;YACV,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE,cAAc,CAAC,qCAAqC,CAAC;SAC5D;QACD,UAAU,EAAE,KAAK;KAClB;IACD,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;IAC1D,SAAS,EAAE;QACT;YACE,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,IAAI;YACb,UAAU,EAAE,EAAE;YACd,IAAI;SACL;KACF;CACF,CAAC,CAAC;AAEH,MAAM,oCAAoC,GAAG,CAC3C,UAA6C,EAC7C,IAGS,EACT,OAAuB,EACvB,SAA+B,EAC/B,yBAA8C,EACmB,EAAE;IACnE,MAAM,YAAY,GAAG,UAAU,CAC7B;QACE,GAAG,OAAO;QACV,2BAA2B,EAAE,yBAAyB;YACpD,CAAC,CAAC,OAAO,CAAC,2BAA2B;YACrC,CAAC,CAAC,SAAS;KACd,EACD,KAAK,CACN,CAAC;IAEF,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC,GAAG,8BAA8B,CACxE,UAAU,EACV,YAAY,CACb,CAAC;IAEF,MAAM,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,GAAG,WAAW,CAClE,SAAS,CAAC,iBAAiB,EAC3B,cAAc,CACf,CAAC;IAEF,IAAI,cAAc,GAAG,wBAAwB,CAAC;IAC9C,IAAI,QAAiC,CAAC;IACtC,MAAM,mBAAmB,GAAG,SAAS,CAAC,iBAAiB,CAAC,IAAI,KAAK,UAAU,CAAC;IAE5E,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,CAAC,QAAQ,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE;YAC7C,GAAG,cAAc;YACjB,UAAU,EAAE,SAAS,CAAC,iBAAiB;SACxC,CAAC,CAAC;QACH,MAAM,4BAA4B,GAAG,CAAC,CACpC,SAAS,CAAC,iBAAiB,CAAC,IAAI,KAAK,UAAU;YAC/C,gCAAgC,CAAC,IAAI,CAAC,CACvC,CAAC;QAEF,QAAQ,GAAG;YACT,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,4BAA4B;gBACtC,CAAC,CAAC,mBAAmB;oBACnB,CAAC,CAAC,QAAQ,CAAC,UAAU;oBACrB,CAAC,CAAC;wBACE,GAAG,QAAQ,CAAC,UAAU;wBACtB;4BACE,IAAI,EAAE,iBAAiB;4BACvB,UAAU,EAAE;gCACV,IAAI,EAAE,mBAAmB;gCACzB,IAAI,EAAE,oBAAoB;6BAC3B;yBACF;qBACF;gBACL,CAAC,CAAC,QAAQ,CAAC,UAAU;SACxB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CACjC,IAAI,EACJ,cAAc,EACd,SAAS,CAAC,iBAAiB,CAC5B,CAAC;QACF,MAAM,oBAAoB,GACxB,mBAAmB;YACnB,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;gBACvB,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;gBAClD,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;oBACzB,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,YAAY,GAAG,mBAAmB;YACtC,CAAC,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,cAAc,CAAC;YACvD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,WAAW,GAAG,YAAY,EAAE,WAAW,CAAC;QAC9C,IACE,mBAAmB;YACnB,CAAC,oBAAoB;YACrB,WAAW,KAAK,SAAS,EACzB,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvE,CAAC;QACD,cAAc,GAAG,YAAY,EAAE,OAAO,IAAI,cAAc,CAAC;QACzD,IAAI,iBAAgD,CAAC;QACrD,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACzB,iBAAiB,GAAG;gBAClB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,OAAO;iBACpB;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,oBAAoB,EAAE,CAAC;YAChC,iBAAiB,GAAG,EAAE,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,MAAM,mBAAmB,GAAG,WAAW,CAAC;YACxC,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACvE,CAAC;YACD,iBAAiB,GAAG;gBAClB;oBACE,IAAI,EAAE,2BAA2B;oBACjC,SAAS,EAAE,EAAE;oBACb,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC;oBAC3B,WAAW,EAAE;wBACX;4BACE,IAAI,EAAE,mBAAmB;4BACzB,WAAW,EAAE,OAAO;yBACrB;qBACF;iBACF;aACF,CAAC;QACJ,CAAC;QACD,QAAQ,GAAG;YACT,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,iBAAiB;SAC9B,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GACjB,oBAAoB,CAAC,IAAI,KAAK,gBAAgB;QAC9C,oBAAoB,CAAC,OAAO,KAAK,MAAM;QACrC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,oBAAoB,CAAC;IAE3B,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC7E,MAAM,CAAC,YAAY,EAAE,aAAa,EAAE,gBAAgB,CAAC,GACnD,yBAAyB,CACvB,SAAS,CAAC,eAAe,EACzB,cAAc,EACd,WAAW,CACZ,CAAC;IACJ,MAAM,oBAAoB,GACxB,YAAY,CAAC,IAAI,KAAK,cAAc;QAClC,CAAC,CAAC,YAAY,CAAC,cAAc;QAC7B,CAAC,CAAC,YAAY,CAAC;IAEnB,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,CAAC,sBAAsB,EAAE,0BAA0B,CAAC,GAAG,WAAW,CACtE,SAAS,CAAC,mBAAmB,EAC7B,gBAAgB,CACjB,CAAC;IACF,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;IAC5E,MAAM,oBAAoB,GACxB,aAAa,EAAE,cAAc,CAAC,SAAS,CACrC,CAAC,aAAa,EAAE,EAAE,CAChB,oBAAoB,CAAC,aAAa,CAAC,KAAK,sBAAsB,CACjE,IAAI,CAAC,CAAC,CAAC;IAEV,MAAM,4BAA4B,GAChC,oBAAoB,IAAI,CAAC;QACvB,CAAC,CAAC,oBAAoB;QACtB,CAAC,CAAC,aAAa;YACb,CAAC,CAAC,2BAA2B,CACzB,aAAa,CAAC,OAAO,EACrB,SAAS,CAAC,mBAAmB,EAC7B,0BAA0B,CAC3B;YACH,CAAC,CAAC,SAAS,CAAC;IAElB,IAAI,4BAA4B,KAAK,SAAS,EAAE,CAAC;QAC/C,OAAO,CAAC,iBAAiB,EAAE,0BAA0B,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,oBAAoB,EACpB,4BAA4B,GAAG,CAAC,EAChC,iBAAiB,CAClB,CAAC;IAEF,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,cAAc,EAAE,0BAA0B,CAAC,CAAC;IACtD,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE;gBACV,GAAG,iBAAiB;gBACpB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,cAAc;iBAC3B;aACF;SACF;QACD,0BAA0B;KAC3B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,UAA6C,EAC7C,IAGS,EACT,OAAuB,EACvB,UAA8B,EAC9B,yBAA8C,EACmB,EAAE;IACnE,MAAM,YAAY,GAAG,UAAU,CAC7B;QACE,GAAG,OAAO;QACV,2BAA2B,EAAE,yBAAyB;YACpD,CAAC,CAAC,OAAO,CAAC,2BAA2B;YACrC,CAAC,CAAC,SAAS;KACd,EACD,KAAK,CACN,CAAC;IAEF,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC,GAAG,8BAA8B,CACxE,UAAU,EACV,YAAY,CACb,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,CAAC,QAAQ,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE;YAC7C,GAAG,cAAc;YACjB,UAAU;SACX,CAAC,CAAC;QACH,OAAO;YACL;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,CAAC,GAAG,iBAAiB,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC;aAC3D;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG,UAAU,EAAE,IAAI,KAAK,UAAU,CAAC;IACrD,MAAM,oBAAoB,GACxB,YAAY;QACZ,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;YAClD,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;gBACzB,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAE5D,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,oBAAoB,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,YAAY,GAChB,oBAAoB;YACpB,OAAO,CAAC,IAAI,KAAK,mBAAmB;YACpC,oBAAoB;YAClB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAyB,oBAAoB;YAC3D,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;YACxD,CAAC,CAAC,YAAY,IAAI,YAAY,CAAC,WAAW;gBACxC,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,2BAA2B;wBACjC,SAAS,EAAE,EAAE;wBACb,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC;wBAC3B,WAAW,EAAE;4BACX;gCACE,IAAI,EAAE,YAAY,CAAC,WAAW;gCAC9B,WAAW,EAAE,OAAO;6BACrB;yBACF;qBACF;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;QAET,OAAO;YACL;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,CAAC,GAAG,iBAAiB,EAAE,GAAG,UAAU,CAAC;aAClD;YACD,YAAY,EAAE,OAAO,IAAI,cAAc;SACxC,CAAC;IACJ,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE;gBACV,GAAG,iBAAiB;gBACpB;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,OAAO;iBACpB;aACF;SACF;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,IAA6E,EAC7E,sBAA6E,EACzD,EAAE;IACtB,IAAI,sBAAsB,EAAE,UAAU,EAAE,CAAC;QACvC,OAAO,sBAAsB,CAAC,UAAU,CAAC;IAC3C,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC;IACtC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,IAA2D,EAC3D,UAA6C,EAC7C,OAAuB,EACvB,UAA8B,EACS,EAAE;IACzC,MAAM,YAAY,GAAG,UAAU,CAC7B;QACE,GAAG,OAAO;QACV,2BAA2B,EAAE,IAAI,CAAC,yBAAyB;YACzD,CAAC,CAAC,OAAO,CAAC,2BAA2B;YACrC,CAAC,CAAC,SAAS;KACd,EACD,KAAK,CACN,CAAC;IAEF,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAAC,GAAG,8BAA8B,CACxE,UAAU,EACV,YAAY,CACb,CAAC;IACF,MAAM,YAAY,GAAG,iBAAiB,CACpC,yBAAyB,EACzB,cAAc,CACf,CAAC;IACF,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,WAAW,CACpD,UAAU,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,EACrC,YAAY,CAAC,OAAO,CACrB,CAAC;IACF,MAAM,CAAC,OAAO,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE;QACjD,GAAG,iBAAiB;QACpB,UAAU;KACX,CAAC,CAAC;IAEH,OAAO;QACL;YACE,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,KAAK;YACd,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3C,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CACrC;YACD,IAAI,EAAE;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE;oBACV,GAAG,iBAAiB;oBACpB;wBACE,IAAI,EAAE,wBAAwB;wBAC9B,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;wBACxC,UAAU,EAAE,aAAa;wBACzB,IAAI,EAAE,YAAY,CAAC,WAAW;wBAC9B,UAAU,EAAE,EAAE;wBACd,IAAI,EAAE,OAAO;qBACd;oBACD;wBACE,IAAI,EAAE,iBAAiB;wBACvB,UAAU,EAAE;4BACV,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE;gCACV,IAAI,EAAE,sBAAsB;gCAC5B,UAAU,EAAE,YAAY,CAAC,WAAW;6BACrC;4BACD,SAAS,EAAE,EAAE;yBACd;qBACF;iBACF;aACF;SACF;QACD,iBAAiB;KAClB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA2D,EAC3D,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,MAAM,sBAAsB,GAAG,6BAA6B,CAC1D,IAAI,EACJ,YAAY,EACZ,OAAO,CACR,CAAC;IACF,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,GAAG,uBAAuB,CACxD,IAAI,CAAC,UAAU,EACf,OAAO,EACP,sBAAsB,CACvB,CAAC;IACF,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,UAAU,EACV,YAAY,CACb,CAAC;IACF,MAAM,UAAU,GAAG,mCAAmC,CACpD,IAAI,EACJ,sBAAsB,CACvB,CAAC;IAEF,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,OAAO,+BAA+B,CACpC,IAAI,EACJ,UAAU,EACV,iBAAiB,EACjB,UAAU,CACX,CAAC;IACJ,CAAC;IAED,MAAM,oBAAoB,GACxB,IAAI,CAAC,OAAO,IAAI,UAAU;QACxB,CAAC,CAAC,uBAAuB,CAAC,UAAU,EAAE,iBAAiB,CAAC;QACxD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,CAAC,OAAO,CAAC,GAAG,oBAAoB;QACpC,CAAC,CAAC,oCAAoC,CAClC,UAAU,EACV,IAAI,CAAC,IAAI,EACT,iBAAiB,EACjB,oBAAoB,EACpB,IAAI,CAAC,yBAAyB,CAC/B;QACH,CAAC,CAAC,iBAAiB,CACf,UAAU,EACV,IAAI,CAAC,IAAI,EACT,iBAAiB,EACjB,UAAU,EACV,IAAI,CAAC,yBAAyB,CAC/B,CAAC;IAEN,MAAM,MAAM,GAAwB;QAClC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC;QAC/D,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAI,EAAE,OAAO;KACd,CAAC;IACF,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAsD,EACtD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,MAAM,sBAAsB,GAAG,6BAA6B,CAC1D,IAAI,EACJ,YAAY,EACZ,OAAO,CACR,CAAC;IACF,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,GAAG,uBAAuB,CACxD,IAAI,CAAC,UAAU,EACf,OAAO,EACP,sBAAsB,CACvB,CAAC;IACF,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,UAAU,EACV,YAAY,CACb,CAAC;IACF,MAAM,UAAU,GAAG,mCAAmC,CACpD,IAAI,EACJ,sBAAsB,CACvB,CAAC;IACF,MAAM,oBAAoB,GACxB,IAAI,CAAC,OAAO,IAAI,UAAU;QACxB,CAAC,CAAC,uBAAuB,CAAC,UAAU,EAAE,iBAAiB,CAAC;QACxD,CAAC,CAAC,SAAS,CAAC;IAEhB,MAAM,mBAAmB,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;IACrE,MAAM,uBAAuB,GAAG,UAAU,EAAE,IAAI,KAAK,UAAU,CAAC;IAEhE,IAAI,oBAAoB,EAAE,CAAC;QACzB,MAAM,CAAC,OAAO,CAAC,GAAG,oCAAoC,CACpD,UAAU,EACV,IAAI,CAAC,IAAI,EACT,iBAAiB,EACjB,oBAAoB,EACpB,SAAS,CACV,CAAC;QACF,MAAM,MAAM,GAAwB;YAClC,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,KAAK;YACd,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7D,IAAI,EAAE,OAAO;SACd,CAAC;QACF,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAChC,CAAC;IAED,IACE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QACnC,mBAAmB;QACnB,uBAAuB,EACvB,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CACjC,UAAU,EACV,IAAI,CAAC,IAAI,EACT,iBAAiB,EACjB,UAAU,EACV,SAAS,CACV,CAAC;QACF,MAAM,MAAM,GAAwB;YAClC,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;YAC9B,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7D,IAAI,EAAE,OAAO;SACd,CAAC;QACF,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAChC,CAAC;IAED,0CAA0C;IAC1C,MAAM,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,EAAE,UAAU,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAwB;QAClC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;QAC9B,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAI,EAAE,OAAO;KACd,CAAC;IACF,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AAChC,CAAC,CAAC"}

package/dist/expressions/lambda-parameters.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Lambda parameter emission and lowering.
+ *
+ * Extracted from functions.ts — contains parameter type resolution,
+ * typed parameter AST emission, default-value lowering, and destructuring
+ * prelude generation for lambda expressions.
+ */
+import { IrExpression, IrParameter, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+import type { CSharpExpressionAst, CSharpLambdaParameterAst, CSharpStatementAst } from "../core/format/backend-ast/types.js";
+export type EmittedLambdaParameter = {
+    readonly parameter?: IrParameter;
+    readonly ast?: CSharpLambdaParameterAst;
+    readonly emittedName: string;
+    readonly bindsDirectly: boolean;
+    readonly resolvedType?: IrType;
+    readonly bindingSourceExpression?: CSharpExpressionAst;
+    readonly bindingSourceType?: IrType;
+};
+export declare const seedLocalNameMapFromParameters: (params: readonly EmittedLambdaParameter[], context: EmitterContext) => EmitterContext;
+export type ContextualFunctionType = Extract<IrType, {
+    kind: "functionType";
+}>;
+export declare const resolveContextualFunctionType: (expr: Extract<IrExpression, {
+    kind: "functionExpression" | "arrowFunction";
+}>, expectedType: IrType | undefined, context: EmitterContext) => ContextualFunctionType | undefined;
+/**
+ * Emit lambda parameters as typed AST nodes.
+ */
+export declare const emitLambdaParametersAst: (parameters: readonly IrParameter[], context: EmitterContext, contextualFunctionType?: ContextualFunctionType) => [readonly EmittedLambdaParameter[], EmitterContext];
+export declare const lowerLambdaParameterPreludeAst: (parameters: readonly EmittedLambdaParameter[], context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+//# sourceMappingURL=lambda-parameters.d.ts.map

package/dist/expressions/lambda-parameters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lambda-parameters.d.ts","sourceRoot":"","sources":["../../src/expressions/lambda-parameters.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAa7C,OAAO,KAAK,EACV,mBAAmB,EACnB,wBAAwB,EACxB,kBAAkB,EAEnB,MAAM,qCAAqC,CAAC;AAE7C,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,GAAG,CAAC,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,uBAAuB,CAAC,EAAE,mBAAmB,CAAC;IACvD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,QAAQ,SAAS,sBAAsB,EAAE,EACzC,SAAS,cAAc,KACtB,cAuBF,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC;AAa/E,eAAO,MAAM,6BAA6B,GACxC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,oBAAoB,GAAG,eAAe,CAAA;CAAE,CAAC,EAC7E,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,sBAAsB,GAAG,SAgB3B,CAAC;AAiCF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,YAAY,SAAS,WAAW,EAAE,EAClC,SAAS,cAAc,EACvB,yBAAyB,sBAAsB,KAC9C,CAAC,SAAS,sBAAsB,EAAE,EAAE,cAAc,CAyOpD,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,YAAY,SAAS,sBAAsB,EAAE,EAC7C,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAuChD,CAAC"}