@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/operators/write-targets.js

@@ -0,0 +1,65 @@
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitMemberAccess } from "../access.js";
+import { getMemberAccessNarrowKey } from "../../core/semantic/narrowing-keys.js";
+import { unwrapTransparentExpression } from "../../core/semantic/transparent-expressions.js";
+const shouldSuppressWriteTargetBinding = (bindingKey, context, isRoot) => {
+    const narrowed = context.narrowedBindings?.get(bindingKey);
+    if (!narrowed) {
+        return false;
+    }
+    if (narrowed.kind === "rename") {
+        return isRoot;
+    }
+    return true;
+};
+const collectWriteTargetNarrowKeys = (expr, context, isRoot = true, out = new Set()) => {
+    const unwrapped = unwrapTransparentExpression(expr);
+    if (unwrapped.kind === "identifier") {
+        if (shouldSuppressWriteTargetBinding(unwrapped.name, context, isRoot)) {
+            out.add(unwrapped.name);
+        }
+        return out;
+    }
+    if (unwrapped.kind === "memberAccess") {
+        const narrowKey = getMemberAccessNarrowKey(unwrapped);
+        if (narrowKey &&
+            shouldSuppressWriteTargetBinding(narrowKey, context, isRoot)) {
+            out.add(narrowKey);
+        }
+        collectWriteTargetNarrowKeys(unwrapped.object, context, false, out);
+    }
+    return out;
+};
+const suppressWriteTargetNarrowing = (expr, context) => {
+    if (!context.narrowedBindings || context.narrowedBindings.size === 0) {
+        return context;
+    }
+    const keys = collectWriteTargetNarrowKeys(expr, context);
+    if (keys.size === 0) {
+        return context;
+    }
+    let changed = false;
+    const narrowedBindings = new Map(context.narrowedBindings);
+    for (const key of keys) {
+        changed = narrowedBindings.delete(key) || changed;
+    }
+    return changed ? { ...context, narrowedBindings } : context;
+};
+export const emitWritableTargetAst = (expr, context) => {
+    const suppressedContext = suppressWriteTargetNarrowing(expr, context);
+    const rawTarget = unwrapTransparentExpression(expr);
+    const [targetAst, targetContext] = rawTarget.kind === "memberAccess"
+        ? emitMemberAccess(rawTarget, suppressedContext, "write")
+        : emitExpressionAst(rawTarget, suppressedContext);
+    if (suppressedContext === context) {
+        return [targetAst, targetContext];
+    }
+    return [
+        targetAst,
+        {
+            ...targetContext,
+            narrowedBindings: context.narrowedBindings,
+        },
+    ];
+};
+//# sourceMappingURL=write-targets.js.map

package/dist/expressions/operators/write-targets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-targets.js","sourceRoot":"","sources":["../../../src/expressions/operators/write-targets.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AAEjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAE7F,MAAM,gCAAgC,GAAG,CACvC,UAAkB,EAClB,OAAuB,EACvB,MAAe,EACN,EAAE;IACX,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAkB,EAClB,OAAuB,EACvB,MAAM,GAAG,IAAI,EACb,MAAmB,IAAI,GAAG,EAAU,EACf,EAAE;IACvB,MAAM,SAAS,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAEpD,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,IAAI,gCAAgC,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YACtE,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACtD,IACE,SAAS;YACT,gCAAgC,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAC5D,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrB,CAAC;QACD,4BAA4B,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAkB,EAClB,OAAuB,EACP,EAAE;IAClB,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,IAAI,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC;IACpD,CAAC;IAED,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAkB,EAClB,OAAuB,EACgB,EAAE;IACzC,MAAM,iBAAiB,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAC9B,SAAS,CAAC,IAAI,KAAK,cAAc;QAC/B,CAAC,CAAC,gBAAgB,CAAC,SAAS,EAAE,iBAAiB,EAAE,OAAO,CAAC;QACzD,CAAC,CAAC,iBAAiB,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IAEtD,IAAI,iBAAiB,KAAK,OAAO,EAAE,CAAC;QAClC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IACpC,CAAC;IAED,OAAO;QACL,SAAS;QACT;YACE,GAAG,aAAa;YAChB,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C;KACF,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/other.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"other.d.ts","sourceRoot":"","sources":["../../src/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAoB,YAAY,EAAU,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,qCAAqC,CAAC;AAyG7C;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACxD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CA+BtC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAOtC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAgCtC,CAAC"}
+{"version":3,"file":"other.d.ts","sourceRoot":"","sources":["../../src/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAM7C,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,qCAAqC,CAAC;AAyE7C;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,CAAC,EACxD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAiCtC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAOtC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAsBtC,CAAC"}

package/dist/expressions/other.js

@@ -1,9 +1,11 @@
 /**
  * Miscellaneous expression emitters (template literals, spread, await)
  */
-import { getAwaitedIrType } from "@tsonic/frontend";
 import { emitExpressionAst } from "../expression-emitter.js";
-import { emitTypeAst } from "../types/emitter.js";
+import { identifierExpression, stringLiteral, } from "../core/format/backend-ast/builders.js";
+import { emitNormalizedAwaitTaskAst } from "./await-normalization.js";
+import { getAsyncWrapperResultType, getExpressionAsyncWrapperType, } from "../core/semantic/async-wrapper-types.js";
+import { buildExactGlobalBindingReference } from "./exact-global-bindings.js";
 const typeMayBeNullish = (type) => {
     if (!type)
         return false;
@@ -44,48 +46,17 @@ const buildNullishSafeExpr = (exprAst) => ({
     left: {
         kind: "invocationExpression",
         expression: {
-            kind: "identifierExpression",
-            identifier: "global::System.Convert.ToString",
+            ...identifierExpression("global::System.Convert.ToString"),
         },
         arguments: [exprAst],
     },
-    right: { kind: "literalExpression", text: '"undefined"' },
+    right: stringLiteral("undefined"),
 });
-const classifyAwaitability = (type) => {
-    if (!type)
-        return "awaitable";
-    if (getAwaitedIrType(type))
-        return "awaitable";
-    if (type.kind !== "unionType")
-        return "nonAwaitable";
-    const memberKinds = new Set(type.types.map((member) => classifyAwaitability(member)));
-    if (memberKinds.size === 1) {
-        const [onlyKind] = [...memberKinds];
-        return onlyKind ?? "nonAwaitable";
-    }
-    return "mixed";
-};
-const buildTaskFromResultExpression = (exprAst, resultTypeAst) => ({
+const buildJsStringCoercionExpr = (exprAst, context) => ({
     kind: "invocationExpression",
-    expression: {
-        kind: "memberAccessExpression",
-        expression: {
-            kind: "identifierExpression",
-            identifier: "global::System.Threading.Tasks.Task",
-        },
-        memberName: "FromResult",
-    },
-    typeArguments: resultTypeAst ? [resultTypeAst] : undefined,
+    expression: buildExactGlobalBindingReference("String", context),
     arguments: [exprAst],
 });
-const requiresExplicitTaskFromResultType = (exprAst) => {
-    if (exprAst.kind !== "literalExpression")
-        return false;
-    const text = exprAst.text.trim();
-    return (text === "null" ||
-        text === "default" ||
-        text.startsWith("default("));
-};
 /**
  * Emit a template literal as CSharpExpressionAst (interpolatedStringExpression)
  *
@@ -110,10 +81,11 @@ export const emitTemplateLiteral = (expr, context) => {
         if (i < expr.expressions.length && exprAtIndex) {
             const [exprAst, newContext] = emitExpressionAst(exprAtIndex, currentContext);
             currentContext = newContext;
-            // For nullish types, wrap in Convert.ToString(...) ?? "undefined"
-            const interpolationExpr = typeMayBeNullish(exprAtIndex.inferredType)
-                ? buildNullishSafeExpr(exprAst)
-                : exprAst;
+            const interpolationExpr = currentContext.options.surface === "@tsonic/js"
+                ? buildJsStringCoercionExpr(exprAst, currentContext)
+                : typeMayBeNullish(exprAtIndex.inferredType)
+                    ? buildNullishSafeExpr(exprAst)
+                    : exprAst;
             parts.push({ kind: "interpolation", expression: interpolationExpr });
         }
     }
@@ -139,27 +111,17 @@ export const emitSpread = (expr, context) => {
  */
 export const emitAwait = (expr, context) => {
     const [exprAst, newContext] = emitExpressionAst(expr.expression, context);
-    const awaitability = classifyAwaitability(expr.expression.inferredType);
-    if (awaitability === "awaitable") {
-        return [{ kind: "awaitExpression", expression: exprAst }, newContext];
-    }
-    if (awaitability === "mixed") {
-        throw new Error("ICE: Mixed awaitable/non-awaitable union types in `await` are not yet supported deterministically.");
-    }
-    const resultType = expr.inferredType ?? expr.expression.inferredType;
-    if (!resultType || resultType.kind === "voidType") {
-        throw new Error("ICE: Non-awaitable `await` requires a value result type for deterministic lowering.");
-    }
-    const needsExplicitResultType = requiresExplicitTaskFromResultType(exprAst);
-    const [resultTypeAst, resultTypeContext] = needsExplicitResultType
-        ? emitTypeAst(resultType, newContext)
-        : [undefined, newContext];
+    const awaitableType = getExpressionAsyncWrapperType(expr.expression) ?? expr.expression.inferredType;
+    const resultType = expr.inferredType ??
+        getAsyncWrapperResultType(expr.expression) ??
+        expr.expression.inferredType;
+    const [taskAst, taskContext] = emitNormalizedAwaitTaskAst(exprAst, awaitableType, resultType, newContext);
     return [
         {
             kind: "awaitExpression",
-            expression: buildTaskFromResultExpression(exprAst, resultTypeAst),
+            expression: taskAst,
         },
-        resultTypeContext,
+        taskContext,
     ];
 };
 //# sourceMappingURL=other.js.map

package/dist/expressions/other.js.map

@@ -1 +1 @@
-{"version":3,"file":"other.js","sourceRoot":"","sources":["../../src/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,gBAAgB,EAAwB,MAAM,kBAAkB,CAAC;AAE1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAOlD,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC7D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,EACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,eAAe;YAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAChD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,2BAA2B,GAAG,CAAC,GAAW,EAAU,EAAE,CAC1D,GAAG;KACA,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,2CAA2C;KAClE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;KACpB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,uCAAuC;KAC5D,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,uCAAuC;AAElE;;;;;;;GAOG;AACH,MAAM,oBAAoB,GAAG,CAC3B,OAA4B,EACP,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,IAAI;IACnB,IAAI,EAAE;QACJ,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,iCAAiC;SAC9C;QACD,SAAS,EAAE,CAAC,OAAO,CAAC;KACrB;IACD,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,aAAa,EAAE;CAC1D,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,CAC3B,IAAwB,EACgB,EAAE;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,WAAW,CAAC;IAC9B,IAAI,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,cAAc,CAAC;IAErD,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CACzD,CAAC;IACF,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC;QACpC,OAAO,QAAQ,IAAI,cAAc,CAAC;IACpC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,OAA4B,EAC5B,aAA6B,EACR,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE;QACV,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE;YACV,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,qCAAqC;SAClD;QACD,UAAU,EAAE,YAAY;KACzB;IACD,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;IAC1D,SAAS,EAAE,CAAC,OAAO,CAAC;CACrB,CAAC,CAAC;AAEH,MAAM,kCAAkC,GAAG,CACzC,OAA4B,EACnB,EAAE;IACX,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,KAAK,CAAC;IACvD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACjC,OAAO,CACL,IAAI,KAAK,MAAM;QACf,IAAI,KAAK,SAAS;QAClB,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAC5B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwD,EACxD,OAAuB,EACgB,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAmC,EAAE,CAAC;IAEjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,2BAA2B,CAAC,KAAK,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;YAC/C,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC7C,WAAW,EACX,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAE5B,kEAAkE;YAClE,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,WAAW,CAAC,YAAY,CAAC;gBAClE,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC;gBAC/B,CAAC,CAAC,OAAO,CAAC;YAEZ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,CAAC,EAAE,IAAI,EAAE,8BAA8B,EAAE,KAAK,EAAE,EAAE,cAAc,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,kEAAkE;IAClE,OAAO;QACL,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAExE,IAAI,YAAY,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,UAAU,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,YAAY,KAAK,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,oGAAoG,CACrG,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;IACrE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,qFAAqF,CACtF,CAAC;IACJ,CAAC;IAED,MAAM,uBAAuB,GAAG,kCAAkC,CAAC,OAAO,CAAC,CAAC;IAC5E,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,uBAAuB;QAChE,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,UAAU,CAAC;QACrC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5B,OAAO;QACL;YACE,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,6BAA6B,CAAC,OAAO,EAAE,aAAa,CAAC;SAClE;QACD,iBAAiB;KAClB,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"other.js","sourceRoot":"","sources":["../../src/expressions/other.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EACL,oBAAoB,EACpB,aAAa,GACd,MAAM,wCAAwC,CAAC;AAKhD,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EACL,yBAAyB,EACzB,6BAA6B,GAC9B,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,gCAAgC,EAAE,MAAM,4BAA4B,CAAC;AAE9E,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC7D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,EACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,eAAe;YAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAChD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,2BAA2B,GAAG,CAAC,GAAW,EAAU,EAAE,CAC1D,GAAG;KACA,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,2CAA2C;KAClE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;KACpB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;KACrB,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,uCAAuC;KAC5D,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,uCAAuC;AAElE;;;;;;;GAOG;AACH,MAAM,oBAAoB,GAAG,CAC3B,OAA4B,EACP,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,IAAI;IACnB,IAAI,EAAE;QACJ,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,GAAG,oBAAoB,CAAC,iCAAiC,CAAC;SAC3D;QACD,SAAS,EAAE,CAAC,OAAO,CAAC;KACrB;IACD,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC;CAClC,CAAC,CAAC;AAEH,MAAM,yBAAyB,GAAG,CAChC,OAA4B,EAC5B,OAAuB,EACF,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,gCAAgC,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC/D,SAAS,EAAE,CAAC,OAAO,CAAC;CACrB,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwD,EACxD,OAAuB,EACgB,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,KAAK,GAAmC,EAAE,CAAC;IAEjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,2BAA2B,CAAC,KAAK,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;YAC/C,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC7C,WAAW,EACX,cAAc,CACf,CAAC;YACF,cAAc,GAAG,UAAU,CAAC;YAE5B,MAAM,iBAAiB,GACrB,cAAc,CAAC,OAAO,CAAC,OAAO,KAAK,YAAY;gBAC7C,CAAC,CAAC,yBAAyB,CAAC,OAAO,EAAE,cAAc,CAAC;gBACpD,CAAC,CAAC,gBAAgB,CAAC,WAAW,CAAC,YAAY,CAAC;oBAC1C,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC;oBAC/B,CAAC,CAAC,OAAO,CAAC;YAEhB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,OAAO,CAAC,EAAE,IAAI,EAAE,8BAA8B,EAAE,KAAK,EAAE,EAAE,cAAc,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,kEAAkE;IAClE,OAAO;QACL,EAAE,IAAI,EAAE,uBAAuB,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE;QACzE,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,MAAM,aAAa,GACjB,6BAA6B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;IACjF,MAAM,UAAU,GACd,IAAI,CAAC,YAAY;QACjB,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC;QAC1C,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;IAC/B,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,0BAA0B,CACvD,OAAO,EACP,aAAa,EACb,UAAU,EACV,UAAU,CACX,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,OAAO;SACpB;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/post-emission-adaptation.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Post-emission adaptation helpers for nullish type-parameter casting,
+ * nullable value-type unwrapping, and char-to-string conversion.
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
+export declare const maybeCastNullishTypeParamAst: (expr: IrExpression, ast: CSharpExpressionAst, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext];
+export declare const maybeUnwrapNullableValueTypeAst: (expr: IrExpression, ast: CSharpExpressionAst, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext];
+export declare const maybeConvertCharToStringAst: (expr: IrExpression, ast: CSharpExpressionAst, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext];
+export declare const isExpectedIntegralIrType: (type: IrType | undefined, context: EmitterContext) => boolean;
+export declare const isNumericSourceIrType: (type: IrType | undefined, context: EmitterContext) => boolean;
+export declare const isNumericFactoryCreateCheckedAst: (ast: CSharpExpressionAst, expectedType: IrType | undefined, context: EmitterContext) => boolean;
+export declare const simplifyRedundantObjectBridgeCastsAst: (ast: CSharpExpressionAst, actualType: IrType | undefined, context: EmitterContext, expectedType: IrType | undefined) => CSharpExpressionAst;
+export declare const maybeCastNumericToExpectedIntegralAst: (ast: CSharpExpressionAst, actualType: IrType | undefined, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext];
+export declare const isExpectedJsNumberIrType: (type: IrType | undefined, context: EmitterContext) => boolean;
+export declare const maybeCastNumericToExpectedJsNumberAst: (ast: CSharpExpressionAst, actualType: IrType | undefined, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext];
+export declare const maybeBoxJsNumberAsObjectAst: (ast: CSharpExpressionAst, expr: IrExpression | undefined, actualType: IrType | undefined, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=post-emission-adaptation.d.ts.map

package/dist/expressions/post-emission-adaptation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"post-emission-adaptation.d.ts","sourceRoot":"","sources":["../../src/expressions/post-emission-adaptation.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAe7C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AA+D/E,eAAO,MAAM,4BAA4B,GACvC,MAAM,YAAY,EAClB,KAAK,mBAAmB,EACxB,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAuCtC,CAAC;AA6LF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,YAAY,EAClB,KAAK,mBAAmB,EACxB,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CA0CtC,CAAC;AAqCF,eAAO,MAAM,2BAA2B,GACtC,MAAM,YAAY,EAClB,KAAK,mBAAmB,EACxB,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAmBtC,CAAC;AAgFF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,OAaF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,OAsBF,CAAC;AAwFF,eAAO,MAAM,gCAAgC,GAC3C,KAAK,mBAAmB,EACxB,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAqBF,CAAC;AAiUF,eAAO,MAAM,qCAAqC,GAChD,KAAK,mBAAmB,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,mBAyDF,CAAC;AA0BF,eAAO,MAAM,qCAAqC,GAChD,KAAK,mBAAmB,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CA4DtC,CAAC;AAsBF,eAAO,MAAM,wBAAwB,GACnC,MAAM,MAAM,GAAG,SAAS,EACxB,SAAS,cAAc,KACtB,OAYF,CAAC;AAcF,eAAO,MAAM,qCAAqC,GAChD,KAAK,mBAAmB,EACxB,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAsCtC,CAAC;AAOF,eAAO,MAAM,2BAA2B,GACtC,KAAK,mBAAmB,EACxB,MAAM,YAAY,GAAG,SAAS,EAC9B,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CA4DtC,CAAC"}