@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/calls/call-runtime-union-guards.js

@@ -0,0 +1,131 @@
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { buildRuntimeUnionLayout } from "../../core/semantic/runtime-unions.js";
+import { currentNarrowedType, isArrayLikeNarrowingCandidate, } from "../../core/semantic/narrowing-builders.js";
+import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
+import { unwrapTransparentNarrowingTarget } from "../../core/semantic/transparent-expressions.js";
+import { getMemberAccessNarrowKey } from "../../core/semantic/narrowing-keys.js";
+import { booleanLiteral, identifierType, nullLiteral, } from "../../core/format/backend-ast/builders.js";
+import { resolveRuntimeCarrierExpressionAst, resolveRuntimeCarrierIrType, } from "../direct-storage-types.js";
+const buildRuntimeUnionMemberOrChain = (receiver, memberNs) => {
+    if (memberNs.length === 0) {
+        return booleanLiteral(false);
+    }
+    const checks = memberNs.map((memberN) => ({
+        kind: "invocationExpression",
+        expression: {
+            kind: "memberAccessExpression",
+            expression: receiver,
+            memberName: `Is${memberN}`,
+        },
+        arguments: [],
+    }));
+    return (checks.reduce((current, check) => current
+        ? {
+            kind: "parenthesizedExpression",
+            expression: {
+                kind: "binaryExpression",
+                operatorToken: "||",
+                left: current,
+                right: check,
+            },
+        }
+        : check, undefined) ?? booleanLiteral(false));
+};
+const buildRuntimeUnionMemberCheck = (opts) => {
+    const { receiver, memberNs, context } = opts;
+    if (memberNs.length === 0) {
+        return [booleanLiteral(false), context];
+    }
+    return [
+        {
+            kind: "binaryExpression",
+            operatorToken: "&&",
+            left: {
+                kind: "binaryExpression",
+                operatorToken: "!=",
+                left: {
+                    kind: "parenthesizedExpression",
+                    expression: {
+                        kind: "castExpression",
+                        type: identifierType("global::System.Object"),
+                        expression: {
+                            kind: "parenthesizedExpression",
+                            expression: receiver,
+                        },
+                    },
+                },
+                right: nullLiteral(),
+            },
+            right: buildRuntimeUnionMemberOrChain(receiver, memberNs),
+        },
+        context,
+    ];
+};
+const buildSystemArrayCheck = (expression) => ({
+    kind: "isExpression",
+    expression,
+    pattern: {
+        kind: "typePattern",
+        type: identifierType("global::System.Array"),
+    },
+});
+export const emitRuntimeUnionArrayIsArrayCall = (expr, context) => {
+    if (expr.arguments.length !== 1) {
+        return undefined;
+    }
+    if (expr.callee.kind !== "memberAccess" || expr.callee.isComputed) {
+        return undefined;
+    }
+    if (expr.callee.property !== "isArray") {
+        return undefined;
+    }
+    if (expr.callee.object.kind !== "identifier" ||
+        expr.callee.object.name !== "Array") {
+        return undefined;
+    }
+    const [argument] = expr.arguments;
+    if (!argument || argument.kind === "spread") {
+        return undefined;
+    }
+    const argumentType = argument.inferredType;
+    if (!argumentType) {
+        return undefined;
+    }
+    const target = unwrapTransparentNarrowingTarget(argument);
+    if (target?.kind === "memberAccess" && target.isOptional) {
+        return undefined;
+    }
+    const bindingKey = target?.kind === "identifier"
+        ? target.name
+        : target
+            ? getMemberAccessNarrowKey(target)
+            : undefined;
+    const effectiveType = (bindingKey
+        ? currentNarrowedType(bindingKey, target?.inferredType ?? argumentType, context)
+        : undefined) ?? argumentType;
+    const [argumentAst, argumentContext] = emitExpressionAst(target ?? argument, context);
+    const runtimeCarrierAst = resolveRuntimeCarrierExpressionAst(target ?? argument, argumentContext) ??
+        argumentAst;
+    const runtimeCarrierType = resolveRuntimeCarrierIrType(target ?? argument, argumentContext) ??
+        (willCarryAsRuntimeUnion(effectiveType, argumentContext)
+            ? effectiveType
+            : undefined);
+    if (!runtimeCarrierType) {
+        return [buildSystemArrayCheck(argumentAst), argumentContext];
+    }
+    const [runtimeLayout, layoutContext] = buildRuntimeUnionLayout(runtimeCarrierType, argumentContext, emitTypeAst);
+    if (!runtimeLayout) {
+        return [buildSystemArrayCheck(argumentAst), argumentContext];
+    }
+    const runtimeMembers = runtimeLayout.members;
+    const matchingMemberNs = runtimeMembers.flatMap((member, index) => member && isArrayLikeNarrowingCandidate(member, layoutContext)
+        ? [index + 1]
+        : []);
+    return buildRuntimeUnionMemberCheck({
+        receiver: runtimeCarrierAst,
+        memberNs: matchingMemberNs,
+        context: layoutContext,
+    });
+};
+//# sourceMappingURL=call-runtime-union-guards.js.map

package/dist/expressions/calls/call-runtime-union-guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-runtime-union-guards.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-runtime-union-guards.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EACL,mBAAmB,EACnB,6BAA6B,GAC9B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,gCAAgC,EAAE,MAAM,gDAAgD,CAAC;AAClG,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EACL,cAAc,EACd,cAAc,EACd,WAAW,GACZ,MAAM,2CAA2C,CAAC;AAEnD,OAAO,EACL,kCAAkC,EAClC,2BAA2B,GAC5B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,8BAA8B,GAAG,CACrC,QAA6B,EAC7B,QAA2B,EACN,EAAE;IACvB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAsB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC7D,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,KAAK,OAAO,EAAE;SAC3B;QACD,SAAS,EAAE,EAAE;KACd,CAAC,CAAC,CAAC;IAEJ,OAAO,CACL,MAAM,CAAC,MAAM,CACX,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,OAAO;QACL,CAAC,CAAC;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,KAAK;aACb;SACF;QACH,CAAC,CAAC,KAAK,EACX,SAAS,CACV,IAAI,cAAc,CAAC,KAAK,CAAC,CAC3B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CAAC,IAIrC,EAAyC,EAAE;IAC1C,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAE7C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE;gBACJ,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE;oBACJ,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE;wBACV,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,cAAc,CAAC,uBAAuB,CAAC;wBAC7C,UAAU,EAAE;4BACV,IAAI,EAAE,yBAAyB;4BAC/B,UAAU,EAAE,QAAQ;yBACrB;qBACF;iBACF;gBACD,KAAK,EAAE,WAAW,EAAE;aACrB;YACD,KAAK,EAAE,8BAA8B,CAAC,QAAQ,EAAE,QAAQ,CAAC;SAC1D;QACD,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,UAA+B,EACV,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,cAAc;IACpB,UAAU;IACV,OAAO,EAAE;QACP,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,cAAc,CAAC,sBAAsB,CAAC;KAC7C;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAA6C,EAC7C,OAAuB,EAC4B,EAAE;IACrD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EACnC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,gCAAgC,CAAC,QAAQ,CAAC,CAAC;IAC1D,IAAI,MAAM,EAAE,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GACd,MAAM,EAAE,IAAI,KAAK,YAAY;QAC3B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,MAAM;YACN,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,SAAS,CAAC;IAClB,MAAM,aAAa,GACjB,CAAC,UAAU;QACT,CAAC,CAAC,mBAAmB,CACjB,UAAU,EACV,MAAM,EAAE,YAAY,IAAI,YAAY,EACpC,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC,IAAI,YAAY,CAAC;IAEjC,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,iBAAiB,CACtD,MAAM,IAAI,QAAQ,EAClB,OAAO,CACR,CAAC;IACF,MAAM,iBAAiB,GACrB,kCAAkC,CAAC,MAAM,IAAI,QAAQ,EAAE,eAAe,CAAC;QACvE,WAAW,CAAC;IACd,MAAM,kBAAkB,GACtB,2BAA2B,CAAC,MAAM,IAAI,QAAQ,EAAE,eAAe,CAAC;QAChE,CAAC,uBAAuB,CAAC,aAAa,EAAE,eAAe,CAAC;YACtD,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,SAAS,CAAC,CAAC;IACjB,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,OAAO,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,CAAC,aAAa,EAAE,aAAa,CAAC,GAAG,uBAAuB,CAC5D,kBAAkB,EAClB,eAAe,EACf,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAAC;IAE7C,MAAM,gBAAgB,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChE,MAAM,IAAI,6BAA6B,CAAC,MAAM,EAAE,aAAa,CAAC;QAC5D,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QACb,CAAC,CAAC,EAAE,CACP,CAAC;IAEF,OAAO,4BAA4B,CAAC;QAClC,QAAQ,EAAE,iBAAiB;QAC3B,QAAQ,EAAE,gBAAgB;QAC1B,OAAO,EAAE,aAAa;KACvB,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/expressions/calls/call-symbol.d.ts

@@ -0,0 +1,7 @@
+import { IrExpression } from "@tsonic/frontend";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+import type { EmitterContext } from "../../types.js";
+export declare const emitGlobalSymbolCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=call-symbol.d.ts.map

package/dist/expressions/calls/call-symbol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-symbol.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-symbol.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AAExD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AASrD,eAAO,MAAM,oBAAoB,GAC/B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CA4BtC,CAAC"}

package/dist/expressions/calls/call-symbol.js

@@ -0,0 +1,26 @@
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { emitCallArguments } from "./call-arguments.js";
+const SYMBOL_DESCRIPTION_TYPE = {
+    kind: "referenceType",
+    name: "object",
+    typeArguments: [],
+};
+export const emitGlobalSymbolCall = (expr, context) => {
+    const args = expr.arguments.filter((arg) => arg.kind !== "spread");
+    if (args.length !== expr.arguments.length) {
+        throw new Error("ICE: Symbol(...) does not support spread arguments.");
+    }
+    if (args.length > 1) {
+        throw new Error("ICE: Symbol(...) received more than one argument.");
+    }
+    const [emittedArgs, nextContext] = emitCallArguments(args, expr, context, args.length === 0 ? [] : [SYMBOL_DESCRIPTION_TYPE]);
+    return [
+        {
+            kind: "invocationExpression",
+            expression: identifierExpression("global::Tsonic.Runtime.Symbol.Create"),
+            arguments: emittedArgs,
+        },
+        nextContext,
+    ];
+};
+//# sourceMappingURL=call-symbol.js.map

package/dist/expressions/calls/call-symbol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-symbol.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-symbol.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,uBAAuB,GAAW;IACtC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,aAAa,EAAE,EAAE;CAClB,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA6C,EAC7C,OAAuB,EACgB,EAAE;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAChC,CAAC,GAAG,EAAuB,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CACpD,CAAC;IAEF,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAClD,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CACnD,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,oBAAoB,CAAC,sCAAsC,CAAC;YACxE,SAAS,EAAE,WAAW;SACvB;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/new-emitter-collections.d.ts

@@ -0,0 +1,31 @@
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const isListConstructorWithArrayLiteral: (expr: Extract<IrExpression, {
+    kind: "new";
+}>) => boolean;
+export declare const emitListCollectionInitializer: (expr: Extract<IrExpression, {
+    kind: "new";
+}>, context: EmitterContext, emitFallback: (expr: Extract<IrExpression, {
+    kind: "new";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext]) => [CSharpExpressionAst, EmitterContext];
+export declare const isArrayConstructorCall: (expr: Extract<IrExpression, {
+    kind: "new";
+}>) => boolean;
+export declare const getTypedArrayStorageElementType: (type: IrType | undefined) => IrType | undefined;
+export declare const isUint8ArrayConstructorWithArrayLiteral: (expr: Extract<IrExpression, {
+    kind: "new";
+}>) => boolean;
+export declare const emitUint8ArrayArrayLiteralConstructor: (expr: Extract<IrExpression, {
+    kind: "new";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+export declare const isUint8ArrayConstructorWithNumericLength: (expr: Extract<IrExpression, {
+    kind: "new";
+}>) => boolean;
+export declare const emitUint8ArrayNumericLengthConstructor: (expr: Extract<IrExpression, {
+    kind: "new";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+export declare const emitArrayConstructor: (expr: Extract<IrExpression, {
+    kind: "new";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=new-emitter-collections.d.ts.map

package/dist/expressions/calls/new-emitter-collections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-emitter-collections.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/new-emitter-collections.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAgBhD,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,wCAAwC,CAAC;AAUhD,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,KAC3C,OAqCF,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,EACvB,cAAc,CACZ,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAC5C,OAAO,EAAE,cAAc,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAAC,KACzC,CAAC,mBAAmB,EAAE,cAAc,CA+DtC,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,KAC3C,OAUF,CAAC;AA2FF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SAQX,CAAC;AAkEF,eAAO,MAAM,uCAAuC,GAClD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,KAC3C,OAeF,CAAC;AAEF,eAAO,MAAM,qCAAqC,GAChD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAiCtC,CAAC;AAEF,eAAO,MAAM,wCAAwC,GACnD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,KAC3C,OA4BF,CAAC;AAEF,eAAO,MAAM,sCAAsC,GACjD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAyBtC,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAqCtC,CAAC"}

package/dist/expressions/calls/new-emitter-collections.js

@@ -0,0 +1,310 @@
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeArgumentsAst, generateSpecializedName, } from "../identifiers.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { clrTypeNameToTypeAst, extractCalleeNameFromAst, normalizeClrQualifiedName, } from "../../core/format/backend-ast/utils.js";
+import { decimalIntegerLiteral, identifierType, } from "../../core/format/backend-ast/builders.js";
+import { referenceTypeHasClrIdentity } from "../../core/semantic/clr-type-identity.js";
+const TYPED_ARRAY_NUMERIC_LENGTH_CLR_NAMES = new Set([
+    "System.Int32",
+    "global::System.Int32",
+    "System.Double",
+    "global::System.Double",
+]);
+export const isListConstructorWithArrayLiteral = (expr) => {
+    const inferredType = expr.inferredType;
+    if (inferredType?.kind !== "referenceType") {
+        return false;
+    }
+    const typeId = inferredType.typeId;
+    if (!typeId ||
+        !typeId.clrName.startsWith("System.Collections.Generic.List")) {
+        return false;
+    }
+    if (!expr.typeArguments || expr.typeArguments.length !== 1) {
+        return false;
+    }
+    if (expr.callee.kind !== "identifier" || expr.callee.name !== "List") {
+        return false;
+    }
+    if (expr.arguments.length !== 1) {
+        return false;
+    }
+    const arg = expr.arguments[0];
+    if (!arg || arg.kind === "spread" || arg.kind !== "array") {
+        return false;
+    }
+    for (const element of arg.elements) {
+        if (!element || element.kind === "spread") {
+            return false;
+        }
+    }
+    return true;
+};
+export const emitListCollectionInitializer = (expr, context, emitFallback) => {
+    let currentContext = context;
+    const [calleeAst, calleeContext] = emitExpressionAst(expr.callee, currentContext);
+    currentContext = calleeContext;
+    let calleeText = extractCalleeNameFromAst(calleeAst);
+    let typeArgAsts = [];
+    if (expr.typeArguments && expr.typeArguments.length > 0) {
+        if (expr.requiresSpecialization) {
+            const [specializedName, specContext] = generateSpecializedName(calleeText, expr.typeArguments, currentContext);
+            calleeText = specializedName;
+            currentContext = specContext;
+        }
+        else {
+            const [typeArgs, typeContext] = emitTypeArgumentsAst(expr.typeArguments, currentContext);
+            typeArgAsts = typeArgs;
+            currentContext = typeContext;
+        }
+    }
+    const arrayLiteral = expr.arguments[0];
+    const elemAsts = [];
+    for (const element of arrayLiteral.elements) {
+        if (element === undefined) {
+            continue;
+        }
+        if (element.kind === "spread") {
+            return emitFallback(expr, currentContext);
+        }
+        const [elemAst, ctx] = emitExpressionAst(element, currentContext);
+        elemAsts.push(elemAst);
+        currentContext = ctx;
+    }
+    const typeAst = typeArgAsts.length > 0
+        ? identifierType(calleeText, typeArgAsts)
+        : identifierType(calleeText);
+    return [
+        {
+            kind: "objectCreationExpression",
+            type: typeAst,
+            arguments: [],
+            initializer: elemAsts.length > 0 ? elemAsts : undefined,
+        },
+        currentContext,
+    ];
+};
+export const isArrayConstructorCall = (expr) => {
+    if (expr.callee.kind !== "identifier" || expr.callee.name !== "Array") {
+        return false;
+    }
+    return (expr.inferredType?.kind === "arrayType" &&
+        !!expr.typeArguments &&
+        expr.typeArguments.length === 1);
+};
+const makeClrValueArrayType = (name, clrName, tsName) => ({
+    kind: "arrayType",
+    elementType: {
+        kind: "referenceType",
+        name,
+        typeId: {
+            stableId: `System.Private.CoreLib:${clrName}`,
+            clrName,
+            assemblyName: "System.Private.CoreLib",
+            tsName,
+        },
+    },
+    origin: "explicit",
+});
+const typedArrayArgumentTypes = new Map([
+    ["Uint8Array", makeClrValueArrayType("byte", "System.Byte", "Byte")],
+    ["Uint8ClampedArray", makeClrValueArrayType("byte", "System.Byte", "Byte")],
+    ["Int8Array", makeClrValueArrayType("sbyte", "System.SByte", "SByte")],
+    ["Int16Array", makeClrValueArrayType("short", "System.Int16", "Int16")],
+    ["Uint16Array", makeClrValueArrayType("ushort", "System.UInt16", "UInt16")],
+    ["Int32Array", makeClrValueArrayType("int", "System.Int32", "Int32")],
+    ["Uint32Array", makeClrValueArrayType("uint", "System.UInt32", "UInt32")],
+    ["Float32Array", makeClrValueArrayType("float", "System.Single", "Single")],
+    ["Float64Array", makeClrValueArrayType("double", "System.Double", "Double")],
+]);
+const typedArrayNumericLengthClrNames = new Set([
+    ...typedArrayArgumentTypes.keys(),
+    "ArrayBuffer",
+]);
+const getTypedArrayLeafName = (type) => {
+    if (!type || type.kind !== "referenceType") {
+        return undefined;
+    }
+    const candidates = [
+        type.resolvedClrType,
+        type.typeId?.clrName,
+        type.typeId?.tsName,
+        type.name,
+    ];
+    for (const candidate of candidates) {
+        if (!candidate) {
+            continue;
+        }
+        const leaf = candidate.split(".").pop() ?? candidate;
+        if (typedArrayArgumentTypes.has(leaf)) {
+            return leaf;
+        }
+        if (leaf === "ArrayBuffer") {
+            return leaf;
+        }
+    }
+    return undefined;
+};
+const getReferenceTypeIdentity = (type) => {
+    if (!type || type.kind !== "referenceType") {
+        return undefined;
+    }
+    return (type.resolvedClrType ??
+        type.typeId?.clrName ??
+        type.typeId?.tsName ??
+        type.name);
+};
+export const getTypedArrayStorageElementType = (type) => {
+    const leaf = getTypedArrayLeafName(type);
+    if (!leaf) {
+        return undefined;
+    }
+    const arrayType = typedArrayArgumentTypes.get(leaf);
+    return arrayType?.kind === "arrayType" ? arrayType.elementType : undefined;
+};
+const isQualifiedConstructorIdentity = (name) => {
+    if (!name) {
+        return false;
+    }
+    const trimmed = name.trim();
+    return (trimmed.startsWith("global::") ||
+        trimmed.includes(".") ||
+        trimmed.includes("+"));
+};
+const INT_IR_TYPE = {
+    kind: "primitiveType",
+    name: "int",
+};
+const getConstructorKey = (expr) => {
+    const inferredTypeKey = getReferenceTypeIdentity(expr.inferredType);
+    if (inferredTypeKey) {
+        return inferredTypeKey;
+    }
+    const calleeTypeKey = getReferenceTypeIdentity(expr.callee.inferredType);
+    if (calleeTypeKey) {
+        return calleeTypeKey;
+    }
+    if (expr.callee.kind === "identifier") {
+        return expr.callee.resolvedClrType ?? expr.callee.name;
+    }
+    return undefined;
+};
+const getConstructorGlobalTypeName = (expr) => {
+    const key = getConstructorKey(expr);
+    if (!isQualifiedConstructorIdentity(key))
+        return undefined;
+    return normalizeClrQualifiedName(key, true);
+};
+const getConstructorTypeAst = (expr, calleeAst) => {
+    if (calleeAst.kind === "typeReferenceExpression") {
+        return calleeAst.type;
+    }
+    const globalTypeName = getConstructorGlobalTypeName(expr);
+    if (globalTypeName) {
+        return clrTypeNameToTypeAst(globalTypeName);
+    }
+    return identifierType(extractCalleeNameFromAst(calleeAst));
+};
+export const isUint8ArrayConstructorWithArrayLiteral = (expr) => {
+    if (expr.arguments.length !== 1) {
+        return false;
+    }
+    const arg = expr.arguments[0];
+    if (!arg || arg.kind === "spread" || arg.kind !== "array") {
+        return false;
+    }
+    const key = getConstructorKey(expr);
+    return (key !== undefined &&
+        typedArrayArgumentTypes.has(key.split(".").pop() ?? key));
+};
+export const emitUint8ArrayArrayLiteralConstructor = (expr, context) => {
+    let currentContext = context;
+    const [calleeAst, calleeContext] = emitExpressionAst(expr.callee, currentContext);
+    currentContext = calleeContext;
+    const typeAst = getConstructorTypeAst(expr, calleeAst);
+    const key = getConstructorKey(expr)?.split(".").pop();
+    const argumentType = (key ? typedArrayArgumentTypes.get(key) : undefined) ??
+        typedArrayArgumentTypes.get("Uint8Array");
+    if (!argumentType) {
+        throw new Error("ICE: Missing typed array argument type mapping");
+    }
+    const [argAst, argContext] = emitExpressionAst(expr.arguments[0], currentContext, argumentType);
+    currentContext = argContext;
+    return [
+        {
+            kind: "objectCreationExpression",
+            type: typeAst,
+            arguments: [argAst],
+        },
+        currentContext,
+    ];
+};
+export const isUint8ArrayConstructorWithNumericLength = (expr) => {
+    if (expr.arguments.length !== 1) {
+        return false;
+    }
+    const arg = expr.arguments[0];
+    if (!arg || arg.kind === "spread" || arg.kind === "array") {
+        return false;
+    }
+    const key = getConstructorKey(expr)?.split(".").pop();
+    if (!key || !typedArrayNumericLengthClrNames.has(key)) {
+        return false;
+    }
+    const argType = arg.inferredType;
+    return ((argType?.kind === "primitiveType" &&
+        (argType.name === "number" || argType.name === "int")) ||
+        (argType?.kind === "literalType" && typeof argType.value === "number") ||
+        (argType?.kind === "referenceType" &&
+            (argType.name === "int" ||
+                argType.name === "double" ||
+                referenceTypeHasClrIdentity(argType, TYPED_ARRAY_NUMERIC_LENGTH_CLR_NAMES))));
+};
+export const emitUint8ArrayNumericLengthConstructor = (expr, context) => {
+    let currentContext = context;
+    const [calleeAst, calleeContext] = emitExpressionAst(expr.callee, currentContext);
+    currentContext = calleeContext;
+    const typeAst = getConstructorTypeAst(expr, calleeAst);
+    const [argAst, argContext] = emitExpressionAst(expr.arguments[0], currentContext, INT_IR_TYPE);
+    currentContext = argContext;
+    return [
+        {
+            kind: "objectCreationExpression",
+            type: typeAst,
+            arguments: [argAst],
+        },
+        currentContext,
+    ];
+};
+export const emitArrayConstructor = (expr, context) => {
+    let currentContext = context;
+    const elementType = expr.typeArguments?.[0];
+    if (!elementType) {
+        return [
+            {
+                kind: "arrayCreationExpression",
+                elementType: { kind: "predefinedType", keyword: "object" },
+                sizeExpression: decimalIntegerLiteral(0),
+            },
+            currentContext,
+        ];
+    }
+    const [elementTypeAst, typeContext] = emitTypeAst(elementType, currentContext);
+    currentContext = typeContext;
+    let sizeAstNode = decimalIntegerLiteral(0);
+    const sizeArg = expr.arguments[0];
+    if (sizeArg && sizeArg.kind !== "spread") {
+        const [sizeAst, sizeContext] = emitExpressionAst(sizeArg, currentContext);
+        sizeAstNode = sizeAst;
+        currentContext = sizeContext;
+    }
+    return [
+        {
+            kind: "arrayCreationExpression",
+            elementType: elementTypeAst,
+            sizeExpression: sizeAstNode,
+        },
+        currentContext,
+    ];
+};
+//# sourceMappingURL=new-emitter-collections.js.map

package/dist/expressions/calls/new-emitter-collections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-emitter-collections.js","sourceRoot":"","sources":["../../../src/expressions/calls/new-emitter-collections.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EACL,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,qBAAqB,EACrB,cAAc,GACf,MAAM,2CAA2C,CAAC;AAKnD,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AAEvF,MAAM,oCAAoC,GAAG,IAAI,GAAG,CAAC;IACnD,cAAc;IACd,sBAAsB;IACtB,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAA4C,EACnC,EAAE;IACX,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IAAI,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;IACnC,IACE,CAAC,MAAM;QACP,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,iCAAiC,CAAC,EAC7D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAA4C,EAC5C,OAAuB,EACvB,YAG0C,EACH,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,IAAI,CAAC,MAAM,EACX,cAAc,CACf,CAAC;IACF,cAAc,GAAG,aAAa,CAAC;IAC/B,IAAI,UAAU,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAErD,IAAI,WAAW,GAA6B,EAAE,CAAC;IAC/C,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,uBAAuB,CAC5D,UAAU,EACV,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,UAAU,GAAG,eAAe,CAAC;YAC7B,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,oBAAoB,CAClD,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAGpC,CAAC;IAEF,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC5C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC5C,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAClE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,cAAc,GAAG,GAAG,CAAC;IACvB,CAAC;IAED,MAAM,OAAO,GACX,WAAW,CAAC,MAAM,GAAG,CAAC;QACpB,CAAC,CAAC,cAAc,CAAC,UAAU,EAAE,WAAW,CAAC;QACzC,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAEjC,OAAO;QACL;YACE,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,EAAE;YACb,WAAW,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;SACxD;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAA4C,EACnC,EAAE;IACX,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,WAAW;QACvC,CAAC,CAAC,IAAI,CAAC,aAAa;QACpB,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAChC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAQY,EACZ,OAAe,EACf,MAAc,EACN,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE;QACX,IAAI,EAAE,eAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,QAAQ,EAAE,0BAA0B,OAAO,EAAE;YAC7C,OAAO;YACP,YAAY,EAAE,wBAAwB;YACtC,MAAM;SACP;KACF;IACD,MAAM,EAAE,UAAU;CACnB,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAiB;IACtD,CAAC,YAAY,EAAE,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IACpE,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAC3E,CAAC,WAAW,EAAE,qBAAqB,CAAC,OAAO,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC,YAAY,EAAE,qBAAqB,CAAC,OAAO,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC,aAAa,EAAE,qBAAqB,CAAC,QAAQ,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IAC3E,CAAC,YAAY,EAAE,qBAAqB,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IACrE,CAAC,aAAa,EAAE,qBAAqB,CAAC,MAAM,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IACzE,CAAC,cAAc,EAAE,qBAAqB,CAAC,OAAO,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IAC3E,CAAC,cAAc,EAAE,qBAAqB,CAAC,QAAQ,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;CAC7E,CAAC,CAAC;AAEH,MAAM,+BAA+B,GAAG,IAAI,GAAG,CAAC;IAC9C,GAAG,uBAAuB,CAAC,IAAI,EAAE;IACjC,aAAa;CACd,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,CAC5B,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,eAAe;QACpB,IAAI,CAAC,MAAM,EAAE,OAAO;QACpB,IAAI,CAAC,MAAM,EAAE,MAAM;QACnB,IAAI,CAAC,IAAI;KACV,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,SAAS,CAAC;QACrD,IAAI,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CACL,IAAI,CAAC,eAAe;QACpB,IAAI,CAAC,MAAM,EAAE,OAAO;QACpB,IAAI,CAAC,MAAM,EAAE,MAAM;QACnB,IAAI,CAAC,IAAI,CACV,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAwB,EACJ,EAAE;IACtB,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,SAAS,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAwB,EACR,EAAE;IAClB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,OAAO,CACL,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;QAC9B,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CACtB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,WAAW,GAAW;IAC1B,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,KAAK;CACZ,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAA4C,EACxB,EAAE;IACtB,MAAM,eAAe,GAAG,wBAAwB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpE,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,MAAM,aAAa,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACzE,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC,MAAM,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IACzD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAA4C,EACxB,EAAE;IACtB,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3D,OAAO,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAA4C,EAC5C,SAA8B,EACf,EAAE;IACjB,IAAI,SAAS,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACjD,OAAO,SAAS,CAAC,IAAI,CAAC;IACxB,CAAC;IAED,MAAM,cAAc,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,oBAAoB,CAAC,cAAc,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,cAAc,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,IAA4C,EACnC,EAAE;IACX,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,CACL,GAAG,KAAK,SAAS;QACjB,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CACzD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,IAA4C,EAC5C,OAAuB,EACgB,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,IAAI,CAAC,MAAM,EACX,cAAc,CACf,CAAC;IACF,cAAc,GAAG,aAAa,CAAC;IAC/B,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAEvD,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtD,MAAM,YAAY,GAChB,CAAC,GAAG,CAAC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpD,uBAAuB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC5C,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC5C,IAAI,CAAC,SAAS,CAAC,CAAC,CAA6C,EAC7D,cAAc,EACd,YAAY,CACb,CAAC;IACF,cAAc,GAAG,UAAU,CAAC;IAE5B,OAAO;QACL;YACE,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,MAAM,CAAC;SACpB;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,IAA4C,EACnC,EAAE;IACX,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACtD,IAAI,CAAC,GAAG,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC;IACjC,OAAO,CACL,CAAC,OAAO,EAAE,IAAI,KAAK,eAAe;QAChC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QACxD,CAAC,OAAO,EAAE,IAAI,KAAK,aAAa,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC;QACtE,CAAC,OAAO,EAAE,IAAI,KAAK,eAAe;YAChC,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;gBACrB,OAAO,CAAC,IAAI,KAAK,QAAQ;gBACzB,2BAA2B,CACzB,OAAO,EACP,oCAAoC,CACrC,CAAC,CAAC,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,IAA4C,EAC5C,OAAuB,EACgB,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,IAAI,CAAC,MAAM,EACX,cAAc,CACf,CAAC;IACF,cAAc,GAAG,aAAa,CAAC;IAC/B,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAEvD,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC5C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAiB,EACjC,cAAc,EACd,WAAW,CACZ,CAAC;IACF,cAAc,GAAG,UAAU,CAAC;IAE5B,OAAO;QACL;YACE,IAAI,EAAE,0BAA0B;YAChC,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,MAAM,CAAC;SACpB;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA4C,EAC5C,OAAuB,EACgB,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO;YACL;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,WAAW,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC1D,cAAc,EAAE,qBAAqB,CAAC,CAAC,CAAC;aACzC;YACD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,GAAG,WAAW,CAC/C,WAAW,EACX,cAAc,CACf,CAAC;IACF,cAAc,GAAG,WAAW,CAAC;IAE7B,IAAI,WAAW,GAAwB,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAC1E,WAAW,GAAG,OAAO,CAAC;QACtB,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,WAAW,EAAE,cAAc;YAC3B,cAAc,EAAE,WAAW;SAC5B;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/new-emitter-promise.d.ts

@@ -0,0 +1,10 @@
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const isPromiseConstructorCall: (expr: Extract<IrExpression, {
+    kind: "new";
+}>) => boolean;
+export declare const emitPromiseConstructor: (expr: Extract<IrExpression, {
+    kind: "new";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=new-emitter-promise.d.ts.map

package/dist/expressions/calls/new-emitter-promise.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"new-emitter-promise.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/new-emitter-promise.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAShD,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAGhD,eAAO,MAAM,wBAAwB,GACnC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,KAC3C,OACkE,CAAC;AA4ItE,eAAO,MAAM,sBAAsB,GACjC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EAC5C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAyXtC,CAAC"}