@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/calls/call-promise-chains.js

@@ -0,0 +1,411 @@
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { identifierType } from "../../core/format/backend-ast/builders.js";
+import { isAsyncWrapperType, isPromiseChainMethod } from "./call-analysis.js";
+import { buildDelegateType, buildTaskRunInvocation, buildTaskTypeAst, containsVoidTypeAst, getTaskResultType, } from "./call-promise-task-types.js";
+import { isAssignable } from "../../core/semantic/index.js";
+import { callbackParameterCount, callbackReturnsAsyncWrapper, containsPromiseChainArtifact, getCallbackDelegateReturnType, getCallbackReturnType, mergePromiseChainResultIrTypes, normalizePromiseChainResultIrType, } from "./call-promise-ir-types.js";
+import { buildAwait, buildInvocation } from "./call-promise-normalization.js";
+const containsUnscopedPromiseChainTypeParameter = (type, context) => {
+    switch (type.kind) {
+        case "typeParameterType":
+            return !(context.typeParameters?.has(type.name) ?? false);
+        case "referenceType":
+            return (type.typeArguments ?? []).some((member) => containsUnscopedPromiseChainTypeParameter(member, context));
+        case "arrayType":
+            return containsUnscopedPromiseChainTypeParameter(type.elementType, context);
+        case "dictionaryType":
+            return (containsUnscopedPromiseChainTypeParameter(type.keyType, context) ||
+                containsUnscopedPromiseChainTypeParameter(type.valueType, context));
+        case "tupleType":
+            return type.elementTypes.some((member) => containsUnscopedPromiseChainTypeParameter(member, context));
+        case "unionType":
+        case "intersectionType":
+            return type.types.some((member) => !!member && containsUnscopedPromiseChainTypeParameter(member, context));
+        default:
+            return false;
+    }
+};
+const prefersFrontendPromiseChainResultType = (type, fallbackType, context) => !!type &&
+    !containsPromiseChainArtifact(type) &&
+    !containsUnscopedPromiseChainTypeParameter(type, context) &&
+    (fallbackType === undefined || isAssignable(type, fallbackType));
+const buildPromiseChainCallbackExpectedType = (callbackExpr, returnType, parameterTypeOverrides) => {
+    const baseFunctionType = callbackExpr.inferredType?.kind === "functionType"
+        ? callbackExpr.inferredType
+        : callbackExpr.kind === "arrowFunction" ||
+            callbackExpr.kind === "functionExpression"
+            ? {
+                kind: "functionType",
+                parameters: callbackExpr.parameters,
+                returnType,
+            }
+            : undefined;
+    if (!baseFunctionType) {
+        return undefined;
+    }
+    return {
+        ...baseFunctionType,
+        parameters: baseFunctionType.parameters.map((parameter, index) => {
+            const overrideType = parameterTypeOverrides[index];
+            return overrideType ? { ...parameter, type: overrideType } : parameter;
+        }),
+        returnType,
+    };
+};
+export const emitPromiseThenCatchFinally = (expr, context) => {
+    if (expr.callee.kind !== "memberAccess")
+        return null;
+    if (typeof expr.callee.property !== "string")
+        return null;
+    if (!isPromiseChainMethod(expr.callee.property))
+        return null;
+    if (expr.callee.isOptional || expr.isOptional)
+        return null;
+    if (!isAsyncWrapperType(expr.callee.object.inferredType))
+        return null;
+    let currentContext = context;
+    const [receiverAst, receiverCtx] = emitExpressionAst(expr.callee.object, currentContext);
+    currentContext = receiverCtx;
+    const outputTypeHint = context.returnType && isAsyncWrapperType(context.returnType)
+        ? context.returnType
+        : expr.inferredType;
+    const [rawOutputTaskType, outputTaskCtx] = emitTypeAst(outputTypeHint ?? { kind: "referenceType", name: "Task" }, currentContext);
+    currentContext = outputTaskCtx;
+    const rawOutputTaskResultType = getTaskResultType(rawOutputTaskType);
+    const defaultOutputTaskType = rawOutputTaskResultType && containsVoidTypeAst(rawOutputTaskResultType)
+        ? identifierType("global::System.Threading.Tasks.Task")
+        : rawOutputTaskType;
+    const [sourceTaskType, sourceTaskCtx] = emitTypeAst(expr.callee.object.inferredType ?? { kind: "referenceType", name: "Task" }, currentContext);
+    currentContext = sourceTaskCtx;
+    const sourceResultType = getTaskResultType(sourceTaskType);
+    const sourceResultIr = normalizePromiseChainResultIrType(expr.callee.object.inferredType);
+    const exIdent = "__tsonic_promise_ex";
+    const valueIdent = "__tsonic_promise_value";
+    const fulfilledArg = expr.arguments[0];
+    const rejectedArg = expr.callee.property === "then" ? expr.arguments[1] : expr.arguments[0];
+    const finallyArg = expr.callee.property === "finally" ? expr.arguments[0] : undefined;
+    const fulfilledExpectedType = fulfilledArg && fulfilledArg.kind !== "spread"
+        ? buildPromiseChainCallbackExpectedType(fulfilledArg, getCallbackDelegateReturnType(fulfilledArg) ?? {
+            kind: "voidType",
+        }, sourceResultIr !== undefined &&
+            callbackParameterCount(fulfilledArg) > 0
+            ? [sourceResultIr]
+            : [])
+        : undefined;
+    const rejectedExpectedType = rejectedArg && rejectedArg.kind !== "spread"
+        ? buildPromiseChainCallbackExpectedType(rejectedArg, getCallbackDelegateReturnType(rejectedArg) ?? {
+            kind: "voidType",
+        }, [])
+        : undefined;
+    const finallyExpectedType = finallyArg && finallyArg.kind !== "spread"
+        ? buildPromiseChainCallbackExpectedType(finallyArg, getCallbackDelegateReturnType(finallyArg) ?? {
+            kind: "voidType",
+        }, [])
+        : undefined;
+    let fulfilledAst;
+    let rejectedAst;
+    let finallyAst;
+    if (fulfilledArg && fulfilledArg.kind !== "spread") {
+        const [fAst, fCtx] = emitExpressionAst(fulfilledArg, currentContext, fulfilledExpectedType);
+        fulfilledAst = fAst;
+        currentContext = fCtx;
+    }
+    if (rejectedArg && rejectedArg.kind !== "spread") {
+        const [rAst, rCtx] = emitExpressionAst(rejectedArg, currentContext, rejectedExpectedType);
+        rejectedAst = rAst;
+        currentContext = rCtx;
+    }
+    if (finallyArg && finallyArg.kind !== "spread") {
+        const [fiAst, fiCtx] = emitExpressionAst(finallyArg, currentContext, finallyExpectedType);
+        finallyAst = fiAst;
+        currentContext = fiCtx;
+    }
+    const fulfilledResultIr = fulfilledArg && fulfilledArg.kind !== "spread"
+        ? normalizePromiseChainResultIrType(getCallbackReturnType(fulfilledArg))
+        : undefined;
+    const rejectedResultIr = rejectedArg && rejectedArg.kind !== "spread"
+        ? normalizePromiseChainResultIrType(getCallbackReturnType(rejectedArg))
+        : undefined;
+    const normalizedPromiseChainResultIr = (() => {
+        if (expr.callee.property === "then") {
+            if (rejectedArg && rejectedArg.kind !== "spread") {
+                return mergePromiseChainResultIrTypes(fulfilledResultIr ?? sourceResultIr, rejectedResultIr);
+            }
+            return fulfilledResultIr ?? sourceResultIr;
+        }
+        if (expr.callee.property === "catch") {
+            return mergePromiseChainResultIrTypes(sourceResultIr, rejectedResultIr);
+        }
+        if (expr.callee.property === "finally") {
+            return sourceResultIr;
+        }
+        return undefined;
+    })();
+    const normalizedFrontendPromiseChainResultIr = normalizePromiseChainResultIrType(expr.inferredType);
+    const preferredPromiseChainResultIr = prefersFrontendPromiseChainResultType(normalizedFrontendPromiseChainResultIr, normalizedPromiseChainResultIr, currentContext)
+        ? normalizedFrontendPromiseChainResultIr
+        : normalizedPromiseChainResultIr;
+    let outputResultType = getTaskResultType(defaultOutputTaskType);
+    let outputTaskType = defaultOutputTaskType;
+    if (preferredPromiseChainResultIr) {
+        const [normalizedResultAst, normalizedCtx] = emitTypeAst(preferredPromiseChainResultIr, currentContext);
+        currentContext = normalizedCtx;
+        outputResultType = containsVoidTypeAst(normalizedResultAst)
+            ? undefined
+            : normalizedResultAst;
+        outputTaskType = buildTaskTypeAst(outputResultType);
+    }
+    const awaitReceiverStatement = sourceResultType === undefined
+        ? {
+            kind: "expressionStatement",
+            expression: buildAwait(receiverAst),
+        }
+        : {
+            kind: "localDeclarationStatement",
+            modifiers: [],
+            type: { kind: "varType" },
+            declarators: [
+                {
+                    name: valueIdent,
+                    initializer: buildAwait(receiverAst),
+                },
+            ],
+        };
+    const invokeFulfilled = () => {
+        if (!fulfilledAst) {
+            if (sourceResultType === undefined)
+                return [];
+            return [
+                {
+                    kind: "returnStatement",
+                    expression: {
+                        kind: "identifierExpression",
+                        identifier: valueIdent,
+                    },
+                },
+            ];
+        }
+        const fulfilledArgs = [];
+        if (sourceResultType !== undefined &&
+            callbackParameterCount(fulfilledArg) > 0) {
+            fulfilledArgs.push({
+                kind: "identifierExpression",
+                identifier: valueIdent,
+            });
+        }
+        const delegateParamTypes = sourceResultType !== undefined &&
+            callbackParameterCount(fulfilledArg) > 0
+            ? [sourceResultType]
+            : [];
+        const callbackReturnIr = getCallbackDelegateReturnType(fulfilledArg);
+        let callbackReturnTypeAst = outputResultType;
+        if (callbackReturnIr !== undefined) {
+            const [cbRetAst, cbRetCtx] = emitTypeAst(callbackReturnIr, currentContext);
+            callbackReturnTypeAst =
+                (cbRetAst.kind === "predefinedType" && cbRetAst.keyword === "void") ||
+                    (cbRetAst.kind === "identifierType" && cbRetAst.name === "void")
+                    ? undefined
+                    : cbRetAst;
+            currentContext = cbRetCtx;
+        }
+        if (outputResultType !== undefined && callbackReturnTypeAst === undefined) {
+            callbackReturnTypeAst = outputResultType;
+        }
+        if (callbackReturnTypeAst === undefined &&
+            fulfilledArg?.kind === "arrowFunction" &&
+            fulfilledArg.body.kind !== "blockStatement") {
+            callbackReturnTypeAst = { kind: "predefinedType", keyword: "object" };
+        }
+        const callbackCallee = fulfilledAst.kind === "lambdaExpression"
+            ? {
+                kind: "castExpression",
+                type: buildDelegateType(delegateParamTypes, callbackReturnTypeAst),
+                expression: fulfilledAst,
+            }
+            : fulfilledAst;
+        const callbackCall = callbackCallee.kind === "castExpression"
+            ? buildInvocation({
+                kind: "memberAccessExpression",
+                expression: callbackCallee,
+                memberName: "Invoke",
+            }, fulfilledArgs)
+            : buildInvocation(callbackCallee, fulfilledArgs);
+        const callbackExpr = callbackReturnsAsyncWrapper(fulfilledArg)
+            ? buildAwait(callbackCall)
+            : callbackCall;
+        if (outputResultType === undefined) {
+            return [{ kind: "expressionStatement", expression: callbackExpr }];
+        }
+        return [{ kind: "returnStatement", expression: callbackExpr }];
+    };
+    const invokeRejected = () => {
+        if (!rejectedAst) {
+            return [{ kind: "throwStatement" }];
+        }
+        const rejectedArgs = [];
+        if (callbackParameterCount(rejectedArg) > 0) {
+            rejectedArgs.push({
+                kind: "identifierExpression",
+                identifier: exIdent,
+            });
+        }
+        const callbackReturnIr = getCallbackDelegateReturnType(rejectedArg);
+        let callbackReturnTypeAst = outputResultType;
+        if (callbackReturnIr !== undefined) {
+            const [cbRetAst, cbRetCtx] = emitTypeAst(callbackReturnIr, currentContext);
+            callbackReturnTypeAst =
+                (cbRetAst.kind === "predefinedType" && cbRetAst.keyword === "void") ||
+                    (cbRetAst.kind === "identifierType" && cbRetAst.name === "void")
+                    ? undefined
+                    : cbRetAst;
+            currentContext = cbRetCtx;
+        }
+        if (outputResultType !== undefined && callbackReturnTypeAst === undefined) {
+            callbackReturnTypeAst = outputResultType;
+        }
+        if (callbackReturnTypeAst === undefined &&
+            rejectedArg?.kind === "arrowFunction" &&
+            rejectedArg.body.kind !== "blockStatement") {
+            callbackReturnTypeAst = { kind: "predefinedType", keyword: "object" };
+        }
+        const callbackCallee = rejectedAst.kind === "lambdaExpression"
+            ? {
+                kind: "castExpression",
+                type: buildDelegateType([identifierType("global::System.Exception")], callbackReturnTypeAst),
+                expression: rejectedAst,
+            }
+            : rejectedAst;
+        const callbackCall = callbackCallee.kind === "castExpression"
+            ? buildInvocation({
+                kind: "memberAccessExpression",
+                expression: callbackCallee,
+                memberName: "Invoke",
+            }, rejectedArgs)
+            : buildInvocation(callbackCallee, rejectedArgs);
+        const callbackExpr = callbackReturnsAsyncWrapper(rejectedArg)
+            ? buildAwait(callbackCall)
+            : callbackCall;
+        if (outputResultType === undefined) {
+            return [{ kind: "expressionStatement", expression: callbackExpr }];
+        }
+        return [{ kind: "returnStatement", expression: callbackExpr }];
+    };
+    const invokeFinally = () => {
+        if (!finallyAst)
+            return [];
+        const callbackReturnIr = getCallbackDelegateReturnType(finallyArg);
+        let callbackReturnTypeAst = undefined;
+        if (callbackReturnIr !== undefined) {
+            const [cbRetAst, cbRetCtx] = emitTypeAst(callbackReturnIr, currentContext);
+            callbackReturnTypeAst = cbRetAst;
+            currentContext = cbRetCtx;
+        }
+        if (callbackReturnTypeAst === undefined &&
+            finallyArg?.kind === "arrowFunction" &&
+            finallyArg.body.kind !== "blockStatement") {
+            callbackReturnTypeAst = { kind: "predefinedType", keyword: "object" };
+        }
+        const callbackCallee = finallyAst.kind === "lambdaExpression"
+            ? {
+                kind: "castExpression",
+                type: buildDelegateType([], callbackReturnTypeAst),
+                expression: finallyAst,
+            }
+            : finallyAst;
+        const callbackCall = callbackCallee.kind === "castExpression"
+            ? buildInvocation({
+                kind: "memberAccessExpression",
+                expression: callbackCallee,
+                memberName: "Invoke",
+            }, [])
+            : buildInvocation(callbackCallee, []);
+        const callbackExpr = callbackReturnsAsyncWrapper(finallyArg)
+            ? buildAwait(callbackCall)
+            : callbackCall;
+        return [{ kind: "expressionStatement", expression: callbackExpr }];
+    };
+    if (expr.callee.property === "then") {
+        const thenStatements = [
+            awaitReceiverStatement,
+            ...invokeFulfilled(),
+        ];
+        const bodyStatements = rejectedAst
+            ? [
+                {
+                    kind: "tryStatement",
+                    body: { kind: "blockStatement", statements: thenStatements },
+                    catches: [
+                        {
+                            type: identifierType("global::System.Exception"),
+                            identifier: exIdent,
+                            body: {
+                                kind: "blockStatement",
+                                statements: invokeRejected(),
+                            },
+                        },
+                    ],
+                },
+            ]
+            : thenStatements;
+        return [
+            buildTaskRunInvocation(outputTaskType, {
+                kind: "blockStatement",
+                statements: bodyStatements,
+            }, true),
+            currentContext,
+        ];
+    }
+    if (expr.callee.property === "catch") {
+        const successPath = sourceResultType === undefined
+            ? [{ kind: "expressionStatement", expression: buildAwait(receiverAst) }]
+            : [{ kind: "returnStatement", expression: buildAwait(receiverAst) }];
+        const catches = [
+            {
+                type: identifierType("global::System.Exception"),
+                identifier: exIdent,
+                body: {
+                    kind: "blockStatement",
+                    statements: invokeRejected(),
+                },
+            },
+        ];
+        return [
+            buildTaskRunInvocation(outputTaskType, {
+                kind: "blockStatement",
+                statements: [
+                    {
+                        kind: "tryStatement",
+                        body: { kind: "blockStatement", statements: successPath },
+                        catches,
+                    },
+                ],
+            }, true),
+            currentContext,
+        ];
+    }
+    if (expr.callee.property === "finally") {
+        const tryStatements = sourceResultType === undefined
+            ? [{ kind: "expressionStatement", expression: buildAwait(receiverAst) }]
+            : [{ kind: "returnStatement", expression: buildAwait(receiverAst) }];
+        return [
+            buildTaskRunInvocation(outputTaskType, {
+                kind: "blockStatement",
+                statements: [
+                    {
+                        kind: "tryStatement",
+                        body: { kind: "blockStatement", statements: tryStatements },
+                        catches: [],
+                        finallyBody: {
+                            kind: "blockStatement",
+                            statements: invokeFinally(),
+                        },
+                    },
+                ],
+            }, true),
+            currentContext,
+        ];
+    }
+    return null;
+};
+//# sourceMappingURL=call-promise-chains.js.map

package/dist/expressions/calls/call-promise-chains.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-chains.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-chains.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAOpD,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAE3E,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EACL,iBAAiB,EACjB,sBAAsB,EACtB,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,6BAA6B,EAC7B,qBAAqB,EACrB,8BAA8B,EAC9B,iCAAiC,GAClC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAE9E,MAAM,yCAAyC,GAAG,CAChD,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,OAAO,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;QAC5D,KAAK,eAAe;YAClB,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAChD,yCAAyC,CAAC,MAAM,EAAE,OAAO,CAAC,CAC3D,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,yCAAyC,CAC9C,IAAI,CAAC,WAAW,EAChB,OAAO,CACR,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,CACL,yCAAyC,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC;gBAChE,yCAAyC,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CACnE,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,yCAAyC,CAAC,MAAM,EAAE,OAAO,CAAC,CAC3D,CAAC;QACJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,CAAC,MAAM,IAAI,yCAAyC,CAAC,MAAM,EAAE,OAAO,CAAC,CACzE,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,IAAwB,EACxB,YAAgC,EAChC,OAAuB,EACP,EAAE,CAClB,CAAC,CAAC,IAAI;IACN,CAAC,4BAA4B,CAAC,IAAI,CAAC;IACnC,CAAC,yCAAyC,CAAC,IAAI,EAAE,OAAO,CAAC;IACzD,CAAC,YAAY,KAAK,SAAS,IAAI,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;AAEnE,MAAM,qCAAqC,GAAG,CAC5C,YAA0B,EAC1B,UAAkB,EAClB,sBAAuD,EACA,EAAE;IACzD,MAAM,gBAAgB,GACpB,YAAY,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc;QAChD,CAAC,CAAC,YAAY,CAAC,YAAY;QAC3B,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe;YACnC,YAAY,CAAC,IAAI,KAAK,oBAAoB;YAC5C,CAAC,CAAC;gBACE,IAAI,EAAE,cAAuB;gBAC7B,UAAU,EAAE,YAAY,CAAC,UAAU;gBACnC,UAAU;aACX;YACH,CAAC,CAAC,SAAS,CAAC;IAClB,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,GAAG,gBAAgB;QACnB,UAAU,EAAE,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YAC/D,MAAM,YAAY,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;YACnD,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzE,CAAC,CAAC;QACF,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6C,EAC7C,OAAuB,EACuB,EAAE;IAChD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IACrD,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtE,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAClD,IAAI,CAAC,MAAM,CAAC,MAAM,EAClB,cAAc,CACf,CAAC;IACF,cAAc,GAAG,WAAW,CAAC;IAE7B,MAAM,cAAc,GAClB,OAAO,CAAC,UAAU,IAAI,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC;QAC1D,CAAC,CAAC,OAAO,CAAC,UAAU;QACpB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;IACxB,MAAM,CAAC,iBAAiB,EAAE,aAAa,CAAC,GAAG,WAAW,CACpD,cAAc,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EACzD,cAAc,CACf,CAAC;IACF,cAAc,GAAG,aAAa,CAAC;IAC/B,MAAM,uBAAuB,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;IACrE,MAAM,qBAAqB,GACzB,uBAAuB,IAAI,mBAAmB,CAAC,uBAAuB,CAAC;QACrE,CAAC,CAAC,cAAc,CAAC,qCAAqC,CAAC;QACvD,CAAC,CAAC,iBAAiB,CAAC;IAExB,MAAM,CAAC,cAAc,EAAE,aAAa,CAAC,GAAG,WAAW,CACjD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EAC1E,cAAc,CACf,CAAC;IACF,cAAc,GAAG,aAAa,CAAC;IAE/B,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,cAAc,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAG,iCAAiC,CACtD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAChC,CAAC;IACF,MAAM,OAAO,GAAG,qBAAqB,CAAC;IACtC,MAAM,UAAU,GAAG,wBAAwB,CAAC;IAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,WAAW,GACf,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,UAAU,GACd,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAErE,MAAM,qBAAqB,GACzB,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ;QAC5C,CAAC,CAAC,qCAAqC,CACnC,YAA4B,EAC5B,6BAA6B,CAAC,YAA4B,CAAC,IAAI;YAC7D,IAAI,EAAE,UAAU;SACjB,EACD,cAAc,KAAK,SAAS;YAC1B,sBAAsB,CAAC,YAA4B,CAAC,GAAG,CAAC;YACxD,CAAC,CAAC,CAAC,cAAc,CAAC;YAClB,CAAC,CAAC,EAAE,CACP;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,oBAAoB,GACxB,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ;QAC1C,CAAC,CAAC,qCAAqC,CACnC,WAA2B,EAC3B,6BAA6B,CAAC,WAA2B,CAAC,IAAI;YAC5D,IAAI,EAAE,UAAU;SACjB,EACD,EAAE,CACH;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,mBAAmB,GACvB,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;QACxC,CAAC,CAAC,qCAAqC,CACnC,UAA0B,EAC1B,6BAA6B,CAAC,UAA0B,CAAC,IAAI;YAC3D,IAAI,EAAE,UAAU;SACjB,EACD,EAAE,CACH;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,YAA6C,CAAC;IAClD,IAAI,WAA4C,CAAC;IACjD,IAAI,UAA2C,CAAC;IAEhD,IAAI,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,iBAAiB,CACpC,YAAY,EACZ,cAAc,EACd,qBAAqB,CACtB,CAAC;QACF,YAAY,GAAG,IAAI,CAAC;QACpB,cAAc,GAAG,IAAI,CAAC;IACxB,CAAC;IACD,IAAI,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjD,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,iBAAiB,CACpC,WAAW,EACX,cAAc,EACd,oBAAoB,CACrB,CAAC;QACF,WAAW,GAAG,IAAI,CAAC;QACnB,cAAc,GAAG,IAAI,CAAC;IACxB,CAAC;IACD,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/C,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,iBAAiB,CACtC,UAAU,EACV,cAAc,EACd,mBAAmB,CACpB,CAAC;QACF,UAAU,GAAG,KAAK,CAAC;QACnB,cAAc,GAAG,KAAK,CAAC;IACzB,CAAC;IAED,MAAM,iBAAiB,GACrB,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ;QAC5C,CAAC,CAAC,iCAAiC,CAC/B,qBAAqB,CAAC,YAA4B,CAAC,CACpD;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,gBAAgB,GACpB,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ;QAC1C,CAAC,CAAC,iCAAiC,CAC/B,qBAAqB,CAAC,WAA2B,CAAC,CACnD;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,8BAA8B,GAAG,CAAC,GAAG,EAAE;QAC3C,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YACpC,IAAI,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACjD,OAAO,8BAA8B,CACnC,iBAAiB,IAAI,cAAc,EACnC,gBAAgB,CACjB,CAAC;YACJ,CAAC;YACD,OAAO,iBAAiB,IAAI,cAAc,CAAC;QAC7C,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACrC,OAAO,8BAA8B,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,sCAAsC,GAC1C,iCAAiC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACvD,MAAM,6BAA6B,GAAG,qCAAqC,CACzE,sCAAsC,EACtC,8BAA8B,EAC9B,cAAc,CACf;QACC,CAAC,CAAC,sCAAsC;QACxC,CAAC,CAAC,8BAA8B,CAAC;IAEnC,IAAI,gBAAgB,GAAG,iBAAiB,CAAC,qBAAqB,CAAC,CAAC;IAChE,IAAI,cAAc,GAAG,qBAAqB,CAAC;IAC3C,IAAI,6BAA6B,EAAE,CAAC;QAClC,MAAM,CAAC,mBAAmB,EAAE,aAAa,CAAC,GAAG,WAAW,CACtD,6BAA6B,EAC7B,cAAc,CACf,CAAC;QACF,cAAc,GAAG,aAAa,CAAC;QAC/B,gBAAgB,GAAG,mBAAmB,CAAC,mBAAmB,CAAC;YACzD,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,mBAAmB,CAAC;QACxB,cAAc,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,sBAAsB,GAC1B,gBAAgB,KAAK,SAAS;QAC5B,CAAC,CAAE;YACC,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,UAAU,CAAC,WAAW,CAAC;SACG;QAC1C,CAAC,CAAE;YACC,IAAI,EAAE,2BAA2B;YACjC,SAAS,EAAE,EAAE;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YACzB,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,UAAU;oBAChB,WAAW,EAAE,UAAU,CAAC,WAAW,CAAC;iBACrC;aACF;SACqC,CAAC;IAE/C,MAAM,eAAe,GAAG,GAAkC,EAAE;QAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,IAAI,gBAAgB,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAC;YAC9C,OAAO;gBACL;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,UAAU;qBACvB;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,aAAa,GAA0B,EAAE,CAAC;QAChD,IACE,gBAAgB,KAAK,SAAS;YAC9B,sBAAsB,CAAC,YAA4B,CAAC,GAAG,CAAC,EACxD,CAAC;YACD,aAAa,CAAC,IAAI,CAAC;gBACjB,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,UAAU;aACvB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,kBAAkB,GACtB,gBAAgB,KAAK,SAAS;YAC9B,sBAAsB,CAAC,YAA4B,CAAC,GAAG,CAAC;YACtD,CAAC,CAAC,CAAC,gBAAgB,CAAC;YACpB,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,gBAAgB,GAAG,6BAA6B,CACpD,YAA4B,CAC7B,CAAC;QACF,IAAI,qBAAqB,GAA8B,gBAAgB,CAAC;QACxE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,WAAW,CACtC,gBAAgB,EAChB,cAAc,CACf,CAAC;YACF,qBAAqB;gBACnB,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC;oBACnE,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;oBAC9D,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,QAAQ,CAAC;YACf,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;QACD,IAAI,gBAAgB,KAAK,SAAS,IAAI,qBAAqB,KAAK,SAAS,EAAE,CAAC;YAC1E,qBAAqB,GAAG,gBAAgB,CAAC;QAC3C,CAAC;QACD,IACE,qBAAqB,KAAK,SAAS;YACnC,YAAY,EAAE,IAAI,KAAK,eAAe;YACtC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAC3C,CAAC;YACD,qBAAqB,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QACxE,CAAC;QACD,MAAM,cAAc,GAClB,YAAY,CAAC,IAAI,KAAK,kBAAkB;YACtC,CAAC,CAAE;gBACC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,iBAAiB,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;gBAClE,UAAU,EAAE,YAAY;aACe;YAC3C,CAAC,CAAC,YAAY,CAAC;QACnB,MAAM,YAAY,GAChB,cAAc,CAAC,IAAI,KAAK,gBAAgB;YACtC,CAAC,CAAC,eAAe,CACb;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,QAAQ;aACrB,EACD,aAAa,CACd;YACH,CAAC,CAAC,eAAe,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,2BAA2B,CAC9C,YAA4B,CAC7B;YACC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;YAC1B,CAAC,CAAC,YAAY,CAAC;QAEjB,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;QACrE,CAAC;QAED,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,GAAkC,EAAE;QACzD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,YAAY,GAA0B,EAAE,CAAC;QAC/C,IAAI,sBAAsB,CAAC,WAA2B,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,YAAY,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,OAAO;aACpB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,gBAAgB,GAAG,6BAA6B,CACpD,WAA2B,CAC5B,CAAC;QACF,IAAI,qBAAqB,GAA8B,gBAAgB,CAAC;QACxE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,WAAW,CACtC,gBAAgB,EAChB,cAAc,CACf,CAAC;YACF,qBAAqB;gBACnB,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC;oBACnE,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;oBAC9D,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,QAAQ,CAAC;YACf,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;QACD,IAAI,gBAAgB,KAAK,SAAS,IAAI,qBAAqB,KAAK,SAAS,EAAE,CAAC;YAC1E,qBAAqB,GAAG,gBAAgB,CAAC;QAC3C,CAAC;QACD,IACE,qBAAqB,KAAK,SAAS;YACnC,WAAW,EAAE,IAAI,KAAK,eAAe;YACrC,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAC1C,CAAC;YACD,qBAAqB,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QACxE,CAAC;QACD,MAAM,cAAc,GAClB,WAAW,CAAC,IAAI,KAAK,kBAAkB;YACrC,CAAC,CAAE;gBACC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,iBAAiB,CACrB,CAAC,cAAc,CAAC,0BAA0B,CAAC,CAAC,EAC5C,qBAAqB,CACtB;gBACD,UAAU,EAAE,WAAW;aACgB;YAC3C,CAAC,CAAC,WAAW,CAAC;QAClB,MAAM,YAAY,GAChB,cAAc,CAAC,IAAI,KAAK,gBAAgB;YACtC,CAAC,CAAC,eAAe,CACb;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,QAAQ;aACrB,EACD,YAAY,CACb;YACH,CAAC,CAAC,eAAe,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;QACpD,MAAM,YAAY,GAAG,2BAA2B,CAC9C,WAA2B,CAC5B;YACC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;YAC1B,CAAC,CAAC,YAAY,CAAC;QAEjB,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;QACrE,CAAC;QAED,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,GAAkC,EAAE;QACxD,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,CAAC;QAC3B,MAAM,gBAAgB,GAAG,6BAA6B,CACpD,UAA0B,CAC3B,CAAC;QACF,IAAI,qBAAqB,GAA8B,SAAS,CAAC;QACjE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,WAAW,CACtC,gBAAgB,EAChB,cAAc,CACf,CAAC;YACF,qBAAqB,GAAG,QAAQ,CAAC;YACjC,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;QACD,IACE,qBAAqB,KAAK,SAAS;YACnC,UAAU,EAAE,IAAI,KAAK,eAAe;YACpC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EACzC,CAAC;YACD,qBAAqB,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QACxE,CAAC;QACD,MAAM,cAAc,GAClB,UAAU,CAAC,IAAI,KAAK,kBAAkB;YACpC,CAAC,CAAE;gBACC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,iBAAiB,CAAC,EAAE,EAAE,qBAAqB,CAAC;gBAClD,UAAU,EAAE,UAAU;aACiB;YAC3C,CAAC,CAAC,UAAU,CAAC;QACjB,MAAM,YAAY,GAChB,cAAc,CAAC,IAAI,KAAK,gBAAgB;YACtC,CAAC,CAAC,eAAe,CACb;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,QAAQ;aACrB,EACD,EAAE,CACH;YACH,CAAC,CAAC,eAAe,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAC1C,MAAM,YAAY,GAAG,2BAA2B,CAAC,UAA0B,CAAC;YAC1E,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;YAC1B,CAAC,CAAC,YAAY,CAAC;QACjB,OAAO,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;IACrE,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QACpC,MAAM,cAAc,GAAyB;YAC3C,sBAAsB;YACtB,GAAG,eAAe,EAAE;SACrB,CAAC;QACF,MAAM,cAAc,GAAyB,WAAW;YACtD,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,cAAc;oBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,cAAc,EAAE;oBAC5D,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,cAAc,CAAC,0BAA0B,CAAC;4BAChD,UAAU,EAAE,OAAO;4BACnB,IAAI,EAAE;gCACJ,IAAI,EAAE,gBAAgB;gCACtB,UAAU,EAAE,cAAc,EAAE;6BAC7B;yBACF;qBACF;iBACF;aACF;YACH,CAAC,CAAC,cAAc,CAAC;QACnB,OAAO;YACL,sBAAsB,CACpB,cAAc,EACd;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,cAAc;aAC3B,EACD,IAAI,CACL;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACrC,MAAM,WAAW,GACf,gBAAgB,KAAK,SAAS;YAC5B,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACzE,MAAM,OAAO,GAAoC;YAC/C;gBACE,IAAI,EAAE,cAAc,CAAC,0BAA0B,CAAC;gBAChD,UAAU,EAAE,OAAO;gBACnB,IAAI,EAAE;oBACJ,IAAI,EAAE,gBAAgB;oBACtB,UAAU,EAAE,cAAc,EAAE;iBAC7B;aACF;SACF,CAAC;QACF,OAAO;YACL,sBAAsB,CACpB,cAAc,EACd;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,WAAW,EAAE;wBACzD,OAAO;qBACR;iBACF;aACF,EACD,IAAI,CACL;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,aAAa,GACjB,gBAAgB,KAAK,SAAS;YAC5B,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACzE,OAAO;YACL,sBAAsB,CACpB,cAAc,EACd;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,aAAa,EAAE;wBAC3D,OAAO,EAAE,EAAE;wBACX,WAAW,EAAE;4BACX,IAAI,EAAE,gBAAgB;4BACtB,UAAU,EAAE,aAAa,EAAE;yBAC5B;qBACF;iBACF;aACF,EACD,IAAI,CACL;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/expressions/calls/call-promise-ir-types.d.ts

@@ -0,0 +1,11 @@
+import { IrExpression, IrType } from "@tsonic/frontend";
+export declare const callbackParameterCount: (callbackExpr: IrExpression) => number;
+export declare const getCallbackReturnType: (callbackExpr: IrExpression) => IrType | undefined;
+export declare const getCallbackDelegateReturnType: (callbackExpr: IrExpression) => IrType | undefined;
+export declare const callbackReturnsAsyncWrapper: (callbackExpr: IrExpression) => boolean;
+export declare const containsPromiseChainArtifact: (type: IrType | undefined) => boolean;
+export declare const normalizePromiseChainResultIrType: (type: IrType | undefined) => IrType | undefined;
+export declare const mergePromiseChainResultIrTypes: (...types: readonly (IrType | undefined)[]) => IrType | undefined;
+export declare const getSequenceElementIrType: (type: IrType | undefined) => IrType | undefined;
+export declare const isValueTaskLikeIrType: (type: IrType | undefined) => boolean;
+//# sourceMappingURL=call-promise-ir-types.d.ts.map

package/dist/expressions/calls/call-promise-ir-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-ir-types.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-ir-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,YAAY,EAEZ,MAAM,EAGP,MAAM,kBAAkB,CAAC;AAG1B,eAAO,MAAM,sBAAsB,GAAI,cAAc,YAAY,KAAG,MAYnE,CAAC;AA6DF,eAAO,MAAM,qBAAqB,GAChC,cAAc,YAAY,KACzB,MAAM,GAAG,SAyBX,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,cAAc,YAAY,KACzB,MAAM,GAAG,SA+BX,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,cAAc,YAAY,KACzB,OAGF,CAAC;AAKF,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,GAAG,SAAS,KACvB,OAcF,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SA6BX,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,GAAG,OAAO,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KACxC,MAAM,GAAG,SA2BX,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SAiCX,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAWhE,CAAC"}

package/dist/expressions/calls/call-promise-ir-types.js

@@ -0,0 +1,219 @@
+import { getAwaitedIrType, isAwaitableIrType, irTypesEqual, normalizedUnionType, } from "@tsonic/frontend";
+import { isAsyncWrapperType } from "./call-analysis.js";
+export const callbackParameterCount = (callbackExpr) => {
+    if (callbackExpr.kind === "arrowFunction" ||
+        callbackExpr.kind === "functionExpression") {
+        return callbackExpr.parameters.length;
+    }
+    const callbackType = callbackExpr.inferredType;
+    if (callbackType?.kind === "functionType") {
+        return callbackType.parameters.length;
+    }
+    return 1;
+};
+const collectBlockReturnTypes = (block) => {
+    const collectFromStatement = (statement) => {
+        switch (statement.kind) {
+            case "returnStatement":
+                return statement.expression?.inferredType
+                    ? [statement.expression.inferredType]
+                    : [];
+            case "blockStatement":
+                return statement.statements.flatMap(collectFromStatement);
+            case "ifStatement":
+                return [
+                    ...collectFromStatement(statement.thenStatement),
+                    ...(statement.elseStatement
+                        ? collectFromStatement(statement.elseStatement)
+                        : []),
+                ];
+            case "whileStatement":
+            case "forStatement":
+            case "forOfStatement":
+            case "forInStatement":
+                return collectFromStatement(statement.body);
+            case "switchStatement":
+                return statement.cases.flatMap((switchCase) => switchCase.statements.flatMap(collectFromStatement));
+            case "tryStatement":
+                return [
+                    ...statement.tryBlock.statements.flatMap(collectFromStatement),
+                    ...(statement.catchClause
+                        ? statement.catchClause.body.statements.flatMap(collectFromStatement)
+                        : []),
+                    ...(statement.finallyBlock
+                        ? statement.finallyBlock.statements.flatMap(collectFromStatement)
+                        : []),
+                ];
+            case "functionDeclaration":
+            case "classDeclaration":
+            case "interfaceDeclaration":
+            case "enumDeclaration":
+            case "typeAliasDeclaration":
+                return [];
+            default:
+                return [];
+        }
+    };
+    return block.statements.flatMap(collectFromStatement);
+};
+const isVoidOrUnknownIrType = (type) => type === undefined ||
+    type.kind === "voidType" ||
+    type.kind === "unknownType" ||
+    (type.kind === "primitiveType" && type.name === "undefined");
+export const getCallbackReturnType = (callbackExpr) => {
+    if (callbackExpr.kind === "arrowFunction" &&
+        callbackExpr.body.kind !== "blockStatement" &&
+        !isVoidOrUnknownIrType(callbackExpr.body.inferredType)) {
+        return callbackExpr.body.inferredType;
+    }
+    const declared = callbackExpr.inferredType?.kind === "functionType"
+        ? callbackExpr.inferredType.returnType
+        : undefined;
+    if (!isVoidOrUnknownIrType(declared)) {
+        return declared;
+    }
+    if (callbackExpr.kind === "arrowFunction" &&
+        callbackExpr.body.kind !== "blockStatement") {
+        return callbackExpr.body.inferredType;
+    }
+    return undefined;
+};
+export const getCallbackDelegateReturnType = (callbackExpr) => {
+    if ((callbackExpr.kind === "arrowFunction" ||
+        callbackExpr.kind === "functionExpression") &&
+        callbackExpr.body.kind === "blockStatement") {
+        const returnTypes = collectBlockReturnTypes(callbackExpr.body);
+        const concreteReturnTypes = returnTypes.filter((type) => !isVoidOrUnknownIrType(type));
+        if (concreteReturnTypes.length === 0) {
+            return undefined;
+        }
+        const deduped = concreteReturnTypes.filter((type, index, all) => all.findIndex((candidate) => irTypesEqual(candidate, type)) === index);
+        if (deduped.length === 1) {
+            return deduped[0];
+        }
+        return {
+            kind: "unionType",
+            types: deduped,
+        };
+    }
+    return getCallbackReturnType(callbackExpr);
+};
+export const callbackReturnsAsyncWrapper = (callbackExpr) => {
+    const delegateReturnType = getCallbackDelegateReturnType(callbackExpr);
+    return delegateReturnType ? isAsyncWrapperType(delegateReturnType) : false;
+};
+const isAsyncWrapperIrTypeLike = (type) => isAwaitableIrType(type);
+export const containsPromiseChainArtifact = (type) => {
+    if (!type)
+        return false;
+    if (isAsyncWrapperIrTypeLike(type)) {
+        return true;
+    }
+    if (type.kind === "unionType" || type.kind === "intersectionType") {
+        return type.types.some((member) => !!member && containsPromiseChainArtifact(member));
+    }
+    return false;
+};
+export const normalizePromiseChainResultIrType = (type) => {
+    if (!type)
+        return undefined;
+    const awaited = getAwaitedIrType(type);
+    if (awaited) {
+        return awaited.kind === "voidType"
+            ? awaited
+            : normalizePromiseChainResultIrType(awaited);
+    }
+    if (type.kind === "unionType") {
+        const normalizedTypes = [];
+        for (const member of type.types) {
+            if (!member)
+                continue;
+            const normalized = normalizePromiseChainResultIrType(member);
+            if (!normalized)
+                continue;
+            if (normalizedTypes.some((candidate) => irTypesEqual(candidate, normalized))) {
+                continue;
+            }
+            normalizedTypes.push(normalized);
+        }
+        if (normalizedTypes.length === 0)
+            return undefined;
+        if (normalizedTypes.length === 1)
+            return normalizedTypes[0];
+        return normalizedUnionType(normalizedTypes);
+    }
+    return type;
+};
+export const mergePromiseChainResultIrTypes = (...types) => {
+    const merged = [];
+    for (const type of types) {
+        const normalized = normalizePromiseChainResultIrType(type);
+        if (!normalized)
+            continue;
+        if (normalized.kind === "unionType") {
+            for (const member of normalized.types) {
+                if (!member)
+                    continue;
+                if (merged.some((candidate) => irTypesEqual(candidate, member))) {
+                    continue;
+                }
+                merged.push(member);
+            }
+            continue;
+        }
+        if (merged.some((candidate) => irTypesEqual(candidate, normalized))) {
+            continue;
+        }
+        merged.push(normalized);
+    }
+    if (merged.length === 0)
+        return undefined;
+    if (merged.length === 1)
+        return merged[0];
+    return normalizedUnionType(merged);
+};
+export const getSequenceElementIrType = (type) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "arrayType")
+        return type.elementType;
+    if (type.kind === "tupleType") {
+        if (type.elementTypes.length === 0)
+            return undefined;
+        if (type.elementTypes.length === 1)
+            return type.elementTypes[0];
+        return normalizedUnionType(type.elementTypes);
+    }
+    if (type.kind === "referenceType" &&
+        type.typeArguments &&
+        type.typeArguments.length > 0) {
+        const simpleName = type.name.split(".").pop() ?? type.name;
+        switch (simpleName) {
+            case "Array":
+            case "ReadonlyArray":
+            case "Iterable":
+            case "IterableIterator":
+            case "IEnumerable":
+            case "IReadOnlyList":
+            case "List":
+            case "Set":
+            case "ReadonlySet":
+                return type.typeArguments[0];
+            default:
+                return undefined;
+        }
+    }
+    return undefined;
+};
+export const isValueTaskLikeIrType = (type) => {
+    if (!type || type.kind !== "referenceType")
+        return false;
+    const simpleName = type.name.split(".").pop() ?? type.name;
+    const clrName = type.resolvedClrType ?? type.name;
+    return (simpleName === "ValueTask" ||
+        simpleName === "ValueTask_1" ||
+        simpleName === "ValueTask`1" ||
+        clrName === "System.Threading.Tasks.ValueTask" ||
+        clrName.startsWith("System.Threading.Tasks.ValueTask`1"));
+};
+//# sourceMappingURL=call-promise-ir-types.js.map