@tsonic/emitter 0.0.74 → 0.0.75

package/dist/statements/declarations/function-shared.js

@@ -0,0 +1,246 @@
+import { getAwaitedIrType, } from "@tsonic/frontend";
+import { emitTypeAst } from "../../type-emitter.js";
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
+import { lowerPatternAst } from "../../patterns.js";
+import { allocateLocalName } from "../../core/format/local-names.js";
+import { registerParameterTypes } from "../../core/semantic/symbol-types.js";
+import { stripNullableTypeAst } from "../../core/format/backend-ast/utils.js";
+import { identifierType, nullableType, } from "../../core/format/backend-ast/builders.js";
+import { registerLocalName } from "../../core/format/local-names.js";
+import { canLowerParameterDefaultViaWrapper, canEmitParameterDefaultInSignature, computeWrapperPrefixLengths, isCSharpOptionalParameterDefaultAst, preservesNullableShadowType, signatureDefaultForInitializedParameter, supportsNullCoalescingParameterDefault, } from "../parameter-defaults.js";
+export const captureFunctionScopeContext = (context) => ({
+    typeParameters: context.typeParameters,
+    typeParamConstraints: context.typeParamConstraints,
+    typeParameterNameMap: context.typeParameterNameMap,
+    returnType: context.returnType,
+    narrowedBindings: context.narrowedBindings,
+    voidResolveNames: context.voidResolveNames,
+    promiseResolveValueTypes: context.promiseResolveValueTypes,
+    localNameMap: context.localNameMap,
+    localSemanticTypes: context.localSemanticTypes,
+    localValueTypes: context.localValueTypes,
+    usedLocalNames: context.usedLocalNames,
+});
+export const getAsyncBodyReturnType = (isAsync, returnType) => {
+    if (!isAsync || !returnType)
+        return returnType;
+    return getAwaitedIrType(returnType) ?? returnType;
+};
+export const seedLocalNameMapFromParameters = (params, context, acceptsExplicitUndefinedOverrides) => {
+    const map = new Map(context.localNameMap ?? []);
+    let currentContext = context;
+    const used = new Set();
+    for (let index = 0; index < params.length; index += 1) {
+        const p = params[index];
+        if (!p || p.pattern.kind !== "identifierPattern") {
+            continue;
+        }
+        const emitted = escapeCSharpIdentifier(p.pattern.name);
+        map.set(p.pattern.name, emitted);
+        used.add(emitted);
+        const acceptsExplicitUndefined = acceptsExplicitUndefinedOverrides?.[index] ??
+            ((p.isOptional || p.initializer !== undefined) && !p.isRest);
+        currentContext = registerParameterTypes(p.pattern.name, p.type, acceptsExplicitUndefined, currentContext);
+    }
+    return {
+        ...currentContext,
+        localNameMap: map,
+        usedLocalNames: used,
+    };
+};
+export const applyRuntimeParameterDefaultShadows = (runtimeDefaults, context) => {
+    let currentContext = context;
+    const statements = [];
+    for (const runtimeDefault of runtimeDefaults) {
+        if (!runtimeDefault.sourceName) {
+            continue;
+        }
+        const allocated = allocateLocalName(`__defaulted_${runtimeDefault.sourceName}`, currentContext);
+        currentContext = registerLocalName(runtimeDefault.sourceName, allocated.emittedName, allocated.context);
+        currentContext = registerParameterTypes(runtimeDefault.sourceName, runtimeDefault.semanticType, false, currentContext);
+        statements.push({
+            kind: "localDeclarationStatement",
+            modifiers: [],
+            type: runtimeDefault.typeAst.kind === "nullableType" &&
+                preservesNullableShadowType(runtimeDefault.initializer)
+                ? runtimeDefault.typeAst
+                : stripNullableTypeAst(runtimeDefault.typeAst),
+            declarators: [
+                {
+                    name: allocated.emittedName,
+                    initializer: {
+                        kind: "binaryExpression",
+                        operatorToken: "??",
+                        left: {
+                            kind: "identifierExpression",
+                            identifier: runtimeDefault.paramName,
+                        },
+                        right: runtimeDefault.initializer,
+                    },
+                },
+            ],
+        });
+    }
+    return [statements, currentContext];
+};
+export const restoreFunctionScopeContext = (outerContext, innerContext, savedScoped) => ({
+    ...outerContext,
+    ...innerContext,
+    ...savedScoped,
+    indentLevel: outerContext.indentLevel,
+    isStatic: outerContext.isStatic,
+    isAsync: outerContext.isAsync,
+    className: outerContext.className,
+    localSemanticTypes: outerContext.localSemanticTypes,
+    localValueTypes: outerContext.localValueTypes,
+});
+export const buildParameterAsts = (parameters, context) => {
+    let currentCtx = context;
+    const paramAsts = [];
+    const destructuringParams = [];
+    const runtimeDefaultInitializers = [];
+    const suppressedDefaultArguments = [];
+    const suppressedDefaultIndexes = new Set();
+    let syntheticIndex = 0;
+    for (let index = 0; index < parameters.length; index += 1) {
+        const param = parameters[index];
+        if (!param)
+            continue;
+        const acceptsExplicitUndefined = (param.isOptional || param.initializer !== undefined) && !param.isRest;
+        let typeAst = identifierType("object");
+        if (param.type) {
+            const [t, c] = emitTypeAst(param.type, currentCtx);
+            typeAst = t;
+            currentCtx = c;
+        }
+        if (acceptsExplicitUndefined) {
+            typeAst = nullableType(typeAst);
+        }
+        let name;
+        const isComplexPattern = param.pattern.kind === "arrayPattern" ||
+            param.pattern.kind === "objectPattern";
+        if (isComplexPattern) {
+            name = `__param${syntheticIndex}`;
+            syntheticIndex++;
+            destructuringParams.push({
+                syntheticName: name,
+                pattern: param.pattern,
+                type: param.type,
+            });
+        }
+        else if (param.pattern.kind === "identifierPattern") {
+            name = escapeCSharpIdentifier(param.pattern.name);
+        }
+        else {
+            name = "param";
+        }
+        const modifiers = [];
+        if (param.isExtensionReceiver)
+            modifiers.push("this");
+        if (param.isRest)
+            modifiers.push("params");
+        if (param.passing !== "value")
+            modifiers.push(param.passing);
+        let defaultValue;
+        if (param.initializer) {
+            const [ast, c] = emitExpressionAst(param.initializer, currentCtx);
+            currentCtx = c;
+            const canEmitInSignature = canEmitParameterDefaultInSignature(parameters, index) &&
+                isCSharpOptionalParameterDefaultAst(ast);
+            defaultValue = signatureDefaultForInitializedParameter(parameters, index, typeAst, ast);
+            if (supportsNullCoalescingParameterDefault(typeAst)) {
+                runtimeDefaultInitializers.push({
+                    paramName: name,
+                    typeAst,
+                    initializer: ast,
+                    sourceName: param.pattern.kind === "identifierPattern"
+                        ? param.pattern.name
+                        : undefined,
+                    semanticType: param.type,
+                });
+            }
+            else if (!canEmitInSignature) {
+                suppressedDefaultIndexes.add(index);
+                suppressedDefaultArguments[index] = ast;
+                if (!canLowerParameterDefaultViaWrapper(parameters, index)) {
+                    throw new Error(`ICE: Unsupported runtime parameter default lowering for '${name}'.`);
+                }
+            }
+        }
+        else if (param.isOptional && !param.isRest) {
+            if (canEmitParameterDefaultInSignature(parameters, index)) {
+                defaultValue = { kind: "defaultExpression" };
+            }
+            else {
+                suppressedDefaultIndexes.add(index);
+                suppressedDefaultArguments[index] = {
+                    kind: "defaultExpression",
+                    type: typeAst,
+                };
+            }
+        }
+        paramAsts.push({
+            name,
+            type: typeAst,
+            defaultValue,
+            modifiers: modifiers.length > 0 ? modifiers : undefined,
+        });
+    }
+    return {
+        paramAsts,
+        destructuringParams,
+        runtimeDefaultInitializers,
+        wrapperPrefixLengths: computeWrapperPrefixLengths(parameters, suppressedDefaultIndexes),
+        suppressedDefaultArguments,
+        context: currentCtx,
+    };
+};
+export const generateParameterDestructuringAst = (destructuringParams, context) => {
+    let currentContext = context;
+    const statements = [];
+    for (const info of destructuringParams) {
+        const inputExpr = {
+            kind: "identifierExpression",
+            identifier: info.syntheticName,
+        };
+        const result = lowerPatternAst(info.pattern, inputExpr, info.type, currentContext);
+        statements.push(...result.statements);
+        currentContext = result.context;
+    }
+    return [statements, currentContext];
+};
+export const reserveGeneratorLocals = (context, isGenerator, isBidirectional, hasGeneratorReturnType) => {
+    let currentContext = context;
+    let generatorExchangeVar = "exchange";
+    let generatorIteratorFn = "__iterator";
+    let generatorReturnValueVar = "__returnValue";
+    if (!isGenerator) {
+        return {
+            context: currentContext,
+            generatorExchangeVar,
+            generatorIteratorFn,
+            generatorReturnValueVar,
+        };
+    }
+    const exchangeAlloc = allocateLocalName(generatorExchangeVar, currentContext);
+    generatorExchangeVar = exchangeAlloc.emittedName;
+    currentContext = { ...exchangeAlloc.context, generatorExchangeVar };
+    if (isBidirectional) {
+        const iterAlloc = allocateLocalName(generatorIteratorFn, currentContext);
+        generatorIteratorFn = iterAlloc.emittedName;
+        currentContext = iterAlloc.context;
+        if (hasGeneratorReturnType) {
+            const retAlloc = allocateLocalName(generatorReturnValueVar, currentContext);
+            generatorReturnValueVar = retAlloc.emittedName;
+            currentContext = { ...retAlloc.context, generatorReturnValueVar };
+        }
+    }
+    return {
+        context: currentContext,
+        generatorExchangeVar,
+        generatorIteratorFn,
+        generatorReturnValueVar,
+    };
+};
+//# sourceMappingURL=function-shared.js.map

package/dist/statements/declarations/function-shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-shared.js","sourceRoot":"","sources":["../../../src/statements/declarations/function-shared.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,GAGjB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EACL,cAAc,EACd,YAAY,GACb,MAAM,2CAA2C,CAAC;AAOnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EAClC,2BAA2B,EAC3B,mCAAmC,EACnC,2BAA2B,EAE3B,uCAAuC,EACvC,sCAAsC,GACvC,MAAM,0BAA0B,CAAC;AAgBlC,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,OAAuB,EACI,EAAE,CAAC,CAAC;IAC/B,cAAc,EAAE,OAAO,CAAC,cAAc;IACtC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;IAClD,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;IAClD,UAAU,EAAE,OAAO,CAAC,UAAU;IAC9B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;IAC1C,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;IAC1C,wBAAwB,EAAE,OAAO,CAAC,wBAAwB;IAC1D,YAAY,EAAE,OAAO,CAAC,YAAY;IAClC,kBAAkB,EAAE,OAAO,CAAC,kBAAkB;IAC9C,eAAe,EAAE,OAAO,CAAC,eAAe;IACxC,cAAc,EAAE,OAAO,CAAC,cAAc;CACvC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAgB,EAChB,UAA8B,EACV,EAAE;IACtB,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU;QAAE,OAAO,UAAU,CAAC;IAC/C,OAAO,gBAAgB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,MAA8B,EAC9B,OAAuB,EACvB,iCAAsD,EACtC,EAAE;IAClB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAChD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACjD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACvD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,MAAM,wBAAwB,GAC5B,iCAAiC,EAAE,CAAC,KAAK,CAAC;YAC1C,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/D,cAAc,GAAG,sBAAsB,CACrC,CAAC,CAAC,OAAO,CAAC,IAAI,EACd,CAAC,CAAC,IAAI,EACN,wBAAwB,EACxB,cAAc,CACf,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,cAAc;QACjB,YAAY,EAAE,GAAG;QACjB,cAAc,EAAE,IAAI;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,eAAuD,EACvD,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,cAAc,IAAI,eAAe,EAAE,CAAC;QAC7C,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,iBAAiB,CACjC,eAAe,cAAc,CAAC,UAAU,EAAE,EAC1C,cAAc,CACf,CAAC;QACF,cAAc,GAAG,iBAAiB,CAChC,cAAc,CAAC,UAAU,EACzB,SAAS,CAAC,WAAW,EACrB,SAAS,CAAC,OAAO,CAClB,CAAC;QACF,cAAc,GAAG,sBAAsB,CACrC,cAAc,CAAC,UAAU,EACzB,cAAc,CAAC,YAAY,EAC3B,KAAK,EACL,cAAc,CACf,CAAC;QAEF,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,2BAA2B;YACjC,SAAS,EAAE,EAAE;YACb,IAAI,EACF,cAAc,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;gBAC9C,2BAA2B,CAAC,cAAc,CAAC,WAAW,CAAC;gBACrD,CAAC,CAAC,cAAc,CAAC,OAAO;gBACxB,CAAC,CAAC,oBAAoB,CAAC,cAAc,CAAC,OAAO,CAAC;YAClD,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,SAAS,CAAC,WAAW;oBAC3B,WAAW,EAAE;wBACX,IAAI,EAAE,kBAAkB;wBACxB,aAAa,EAAE,IAAI;wBACnB,IAAI,EAAE;4BACJ,IAAI,EAAE,sBAAsB;4BAC5B,UAAU,EAAE,cAAc,CAAC,SAAS;yBACrC;wBACD,KAAK,EAAE,cAAc,CAAC,WAAW;qBAClC;iBACF;aACF;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,YAA4B,EAC5B,YAA4B,EAC5B,WAAsC,EACtB,EAAE,CAAC,CAAC;IACpB,GAAG,YAAY;IACf,GAAG,YAAY;IACf,GAAG,WAAW;IACd,WAAW,EAAE,YAAY,CAAC,WAAW;IACrC,QAAQ,EAAE,YAAY,CAAC,QAAQ;IAC/B,OAAO,EAAE,YAAY,CAAC,OAAO;IAC7B,SAAS,EAAE,YAAY,CAAC,SAAS;IACjC,kBAAkB,EAAE,YAAY,CAAC,kBAAkB;IACnD,eAAe,EAAE,YAAY,CAAC,eAAe;CAC9C,CAAC,CAAC;AAQH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,UAAkC,EAClC,OAAuB,EAWvB,EAAE;IACF,IAAI,UAAU,GAAG,OAAO,CAAC;IACzB,MAAM,SAAS,GAAyB,EAAE,CAAC;IAC3C,MAAM,mBAAmB,GAA6B,EAAE,CAAC;IACzD,MAAM,0BAA0B,GAAkC,EAAE,CAAC;IACrE,MAAM,0BAA0B,GAA2C,EAAE,CAAC;IAC9E,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU,CAAC;IACnD,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,wBAAwB,GAC5B,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QACzE,IAAI,OAAO,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACnD,OAAO,GAAG,CAAC,CAAC;YACZ,UAAU,GAAG,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,wBAAwB,EAAE,CAAC;YAC7B,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,IAAY,CAAC;QACjB,MAAM,gBAAgB,GACpB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;YACrC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC;QAEzC,IAAI,gBAAgB,EAAE,CAAC;YACrB,IAAI,GAAG,UAAU,cAAc,EAAE,CAAC;YAClC,cAAc,EAAE,CAAC;YACjB,mBAAmB,CAAC,IAAI,CAAC;gBACvB,aAAa,EAAE,IAAI;gBACnB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtD,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,OAAO,CAAC;QACjB,CAAC;QAED,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,mBAAmB;YAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,MAAM;YAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO;YAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAE7D,IAAI,YAA6C,CAAC;QAClD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;YAClE,UAAU,GAAG,CAAC,CAAC;YACf,MAAM,kBAAkB,GACtB,kCAAkC,CAAC,UAAU,EAAE,KAAK,CAAC;gBACrD,mCAAmC,CAAC,GAAG,CAAC,CAAC;YAC3C,YAAY,GAAG,uCAAuC,CACpD,UAAU,EACV,KAAK,EACL,OAAO,EACP,GAAG,CACJ,CAAC;YAEF,IAAI,sCAAsC,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpD,0BAA0B,CAAC,IAAI,CAAC;oBAC9B,SAAS,EAAE,IAAI;oBACf,OAAO;oBACP,WAAW,EAAE,GAAG;oBAChB,UAAU,EACR,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;wBACxC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI;wBACpB,CAAC,CAAC,SAAS;oBACf,YAAY,EAAE,KAAK,CAAC,IAAI;iBACzB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBAC/B,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpC,0BAA0B,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;gBACxC,IAAI,CAAC,kCAAkC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;oBAC3D,MAAM,IAAI,KAAK,CACb,4DAA4D,IAAI,IAAI,CACrE,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YAC7C,IAAI,kCAAkC,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC1D,YAAY,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;YAC/C,CAAC;iBAAM,CAAC;gBACN,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpC,0BAA0B,CAAC,KAAK,CAAC,GAAG;oBAClC,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;iBACd,CAAC;YACJ,CAAC;QACH,CAAC;QAED,SAAS,CAAC,IAAI,CAAC;YACb,IAAI;YACJ,IAAI,EAAE,OAAO;YACb,YAAY;YACZ,SAAS,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;SACxD,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,SAAS;QACT,mBAAmB;QACnB,0BAA0B;QAC1B,oBAAoB,EAAE,2BAA2B,CAC/C,UAAU,EACV,wBAAwB,CACzB;QACD,0BAA0B;QAC1B,OAAO,EAAE,UAAU;KACpB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,mBAAsD,EACtD,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;QACvC,MAAM,SAAS,GAAwB;YACrC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,IAAI,CAAC,aAAa;SAC/B,CAAC;QACF,MAAM,MAAM,GAAG,eAAe,CAC5B,IAAI,CAAC,OAAO,EACZ,SAAS,EACT,IAAI,CAAC,IAAI,EACT,cAAc,CACf,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACtC,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC;IAClC,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAAuB,EACvB,WAAoB,EACpB,eAAwB,EACxB,sBAA+B,EAM/B,EAAE;IACF,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,IAAI,oBAAoB,GAAG,UAAU,CAAC;IACtC,IAAI,mBAAmB,GAAG,YAAY,CAAC;IACvC,IAAI,uBAAuB,GAAG,eAAe,CAAC;IAE9C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,oBAAoB;YACpB,mBAAmB;YACnB,uBAAuB;SACxB,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,iBAAiB,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAC;IAC9E,oBAAoB,GAAG,aAAa,CAAC,WAAW,CAAC;IACjD,cAAc,GAAG,EAAE,GAAG,aAAa,CAAC,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAEpE,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,SAAS,GAAG,iBAAiB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;QACzE,mBAAmB,GAAG,SAAS,CAAC,WAAW,CAAC;QAC5C,cAAc,GAAG,SAAS,CAAC,OAAO,CAAC;QAEnC,IAAI,sBAAsB,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,iBAAiB,CAChC,uBAAuB,EACvB,cAAc,CACf,CAAC;YACF,uBAAuB,GAAG,QAAQ,CAAC,WAAW,CAAC;YAC/C,cAAc,GAAG,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,uBAAuB,EAAE,CAAC;QACpE,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,cAAc;QACvB,oBAAoB;QACpB,mBAAmB;QACnB,uBAAuB;KACxB,CAAC;AACJ,CAAC,CAAC"}

package/dist/statements/declarations/functions.d.ts

@@ -1,28 +1,3 @@
-/**
- * Function declaration emission
- */
-import { IrStatement } from "@tsonic/frontend";
-import { EmitterContext } from "../../types.js";
-import type { CSharpStatementAst, CSharpMemberAst } from "../../core/format/backend-ast/types.js";
-/**
- * Emit a module-level function declaration as CSharpMethodDeclarationAst.
- *
- * For generators, builds exchange initialization and wrapper structures
- * in the method body using AST nodes.
- */
-export declare const emitFunctionDeclaration: (stmt: Extract<IrStatement, {
-    kind: "functionDeclaration";
-}>, context: EmitterContext) => [readonly CSharpMemberAst[], EmitterContext];
-/**
- * Emit a local (non-static) function declaration as AST.
- *
- * Returns CSharpLocalFunctionStatementAst for regular functions.
- * For generators, builds exchange initialization and wrapper structures.
- *
- * Static function declarations (module-level methods) are handled by
- * the text-based emitFunctionDeclaration above.
- */
-export declare const emitFunctionDeclarationAst: (stmt: Extract<IrStatement, {
-    kind: "functionDeclaration";
-}>, context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+export { emitFunctionDeclaration } from "./function-module-emitter.js";
+export { emitFunctionDeclarationAst } from "./function-local-emitter.js";
 //# sourceMappingURL=functions.d.ts.map

package/dist/statements/declarations/functions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../src/statements/declarations/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAEL,WAAW,EAGZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAyB,MAAM,gBAAgB,CAAC;AAevE,OAAO,KAAK,EACV,kBAAkB,EAIlB,eAAe,EAChB,MAAM,wCAAwC,CAAC;AAiDhD;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,eAAe,EAAE,EAAE,cAAc,CAiW7C,CAAC;AAkHF;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CA+VhD,CAAC"}
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../src/statements/declarations/functions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC"}