@scriptc/compiler 0.3.6 → 0.4.0

package/dist/frontend/lowering/containers/string-and-regexp.js

@@ -1,4 +1,5 @@
-import { dynUndefinedExpr, nodeThrowExpr, numLit, strLit, varRef } from "../../../ir/build.js";
+import { matchAllRowsReadByElements } from "./match-row-uses.js";
+import { boolLit, dynUndefinedExpr, nodeThrowExpr, numLit, strLit, varRef, } from "../../../ir/build.js";
 import * as ts from "../../ts7/adapter.js";
 import { BOOL, DYN, F64, STRING, UNDEFINED_T, arrayOf, isUnitType, typeEquals, typeKey, } from "../../../ir/ir.js";
 import { locOf } from "../../program.js";
@@ -236,6 +237,48 @@ function lowerMethodReceiver(lowerer, node, expected, member) {
         return lowered;
     return lowerer.coerceInto(node, lowered, expected);
 }
+/** A `string | undefined | null` receiver of a string method: evaluated
+ * once, each unit arm throws the TypeError Node's member read throws
+ * ("Cannot read properties of undefined (reading 'replace')") before the
+ * arguments evaluate, and the string arm is the receiver. */
+function nullableStringReceiver(lowerer, node, member) {
+    const lowered = lowerer.lowerExpr(node);
+    if (lowered.type.kind !== "union")
+        return lowerer.coerceInto(node, lowered, STRING);
+    const loc = locOf(node);
+    const unionId = lowered.type.unionId;
+    const local = lowerer.declareHiddenLocal("%nullableReceiver", lowered.type);
+    const ref = { kind: "varRef", localId: local.id, type: lowered.type, loc };
+    const arms = lowerer.unions.get(unionId)?.arms ?? [];
+    let result = {
+        kind: "unionNarrow",
+        unionId,
+        tag: arms.findIndex((arm) => arm.kind === "string"),
+        value: ref,
+        type: STRING,
+        loc,
+    };
+    for (const [tag, arm] of arms.entries()) {
+        if (!isUnitType(arm))
+            continue;
+        const unit = arm.kind === "nullT" ? "null" : "undefined";
+        result = {
+            kind: "ternary",
+            cond: { kind: "unionIsTag", unionId, tag, value: ref, negated: false, type: BOOL, loc },
+            then: nodeThrowExpr(1, "", `Cannot read properties of ${unit} (reading '${member}')`, STRING, loc),
+            else_: result,
+            type: STRING,
+            loc,
+        };
+    }
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "varDecl", localId: local.id, init: lowered, loc }],
+        result,
+        type: STRING,
+        loc,
+    };
+}
 /** Relative string indexing and code-point decoding over the UTF-16 intrinsics. */
 export function lowerStringIndexCall(lowerer, call, method, receiver, receiverNode, argumentNodes) {
     const loc = locOf(call);
@@ -248,6 +291,12 @@ export function lowerStringIndexCall(lowerer, call, method, receiver, receiverNo
         (index.type.kind === "record" || index.type.kind === "array" || index.type.kind === "func")) {
         index = lowerer.coerceInto(indexNode, index, DYN);
     }
+    return stringIndexHelperCall(lowerer, call, method, receiver, receiverNode, index, indexNode);
+}
+/** The relative-index / code-point helper call over an already lowered
+ * index (any type positionNumber converts — dyn indices included). */
+function stringIndexHelperCall(lowerer, call, method, receiver, receiverNode, index, indexNode) {
+    const loc = locOf(call);
     const valueType = method === "at" ? STRING : F64;
     const resultType = lowerer.withUndefinedArmOf(valueType);
     if (!resultType || resultType.kind !== "union")
@@ -602,6 +651,14 @@ export function lowerStringPaddingCall(lowerer, call, method, receiver, receiver
     }
     return { kind: "call", callee: helper, args: values, type: STRING, loc };
 }
+/** String methods whose regex-argument forms lower in lowerRegexMethodCall. */
+const REGEX_ARGUMENT_STRING_METHODS = new Set([
+    "replace",
+    "replaceAll",
+    "split",
+    "search",
+    "matchAll",
+]);
 export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
     // chainBlocked, not a raw token test: an optional-chain re-dispatch
     // (`rawName?.match(re)` — the receiver reads back chain-narrowed)
@@ -613,12 +670,31 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
     if (dynReceiver === undefined && !lowerer.isStdlibMember(access))
         return null;
     const name = access.name.text;
-    const receiverKind = dynReceiver
-        ? "string"
-        : lowerer.mapTypeOf(lowerer.typeOf(access.expression))?.kind;
+    const mappedReceiver = dynReceiver ? null : lowerer.mapTypeOf(lowerer.typeOf(access.expression));
+    // A nullable string receiver of a REGEX-argument call
+    // (`part.replace(re, "")` where an unchecked index read typed `part`
+    // `string | undefined`) takes the string path, as
+    // lowerStringMethodCall's gate does for the string-argument forms:
+    // lowerMethodReceiver throws Node's "Cannot read properties of
+    // undefined" on the unit arms. (`match` keeps its own gate below.)
+    const regexArgument = call.arguments.nodes[0];
+    const nullableString = REGEX_ARGUMENT_STRING_METHODS.has(name) &&
+        regexArgument !== undefined &&
+        !ts.isSpreadElement(regexArgument) &&
+        lowerer.mapTypeOf(lowerer.typeOf(regexArgument))?.kind === "regex" &&
+        mappedReceiver?.kind === "union" &&
+        (lowerer.unions.get(mappedReceiver.unionId)?.arms.some((arm) => arm.kind === "string") ??
+            false) &&
+        (lowerer.unions
+            .get(mappedReceiver.unionId)
+            ?.arms.every((arm) => arm.kind === "string" || isUnitType(arm)) ??
+            false);
+    const receiverKind = dynReceiver || nullableString ? "string" : mappedReceiver?.kind;
     const lowerReceiver = () => {
         if (dynReceiver)
             return dynReceiver();
+        if (nullableString)
+            return nullableStringReceiver(lowerer, access.expression, name);
         if (receiverKind === "string")
             return lowerMethodReceiver(lowerer, access.expression, STRING, access.name.text);
         if (receiverKind === "regex")
@@ -627,7 +703,7 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
     };
     const loc = locOf(call);
     if (receiverKind === "regex" && name === "toString") {
-        if (call.arguments.length !== 0) {
+        if (call.arguments.nodes.length !== 0) {
             lowerer.noLowering("RegExp.prototype.toString with arguments", call);
         }
         return {
@@ -640,21 +716,21 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
         };
     }
     if (receiverKind === "regex" && name === "test") {
-        if (call.arguments.length > 1 || call.arguments.some(ts.isSpreadElement)) {
+        if (call.arguments.nodes.length > 1 || call.arguments.nodes.some(ts.isSpreadElement)) {
             lowerer.noLowering("RegExp.prototype.test with surplus or spread arguments", call);
         }
         const receiver = lowerReceiver();
-        const args = [lowerRegexSubject(lowerer, call.arguments[0], loc)];
+        const args = [lowerRegexSubject(lowerer, call.arguments.nodes[0], loc)];
         return { kind: "regexIntrinsic", method: "test", receiver, args, type: BOOL, loc };
     }
     // `re.exec(s)` returns the exec-shaped string[] | null slice, with
     // numeric lastIndex state for global/sticky regexes. Nonparticipating
     // captures retain match's present undefined element state.
     if (receiverKind === "regex" && name === "exec") {
-        if (call.arguments.length > 1 || call.arguments.some(ts.isSpreadElement))
+        if (call.arguments.nodes.length > 1 || call.arguments.nodes.some(ts.isSpreadElement))
             return null;
         const re = lowerReceiver();
-        const subject = lowerRegexSubject(lowerer, call.arguments[0], loc);
+        const subject = lowerRegexSubject(lowerer, call.arguments.nodes[0], loc);
         const resultT = {
             kind: "union",
             unionId: lowerer.unions.intern([arrayOf(STRING), { kind: "nullT" }]),
@@ -709,10 +785,10 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
                 arms.every((a) => a.kind === "string" || isUnitType(a)));
         })();
     if ((receiverKind === "string" || nullableStringRecv) && name === "match") {
-        const arg0 = call.arguments[0];
+        const arg0 = call.arguments.nodes[0];
         if (!arg0 || lowerer.mapTypeOf(lowerer.typeOf(arg0))?.kind !== "regex")
             return null; // string-pattern match: the SC2020 fence
-        if (call.arguments.length !== 1)
+        if (call.arguments.nodes.length !== 1)
             return null;
         const receiver = nullableStringRecv
             ? lowerMethodReceiver(lowerer, access.expression, STRING, access.name.text)
@@ -755,16 +831,16 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
     // regexes throw Node's exact TypeError at runtime, catchably
     // (replaceAll's stance).
     if (receiverKind === "string" && name === "matchAll") {
-        const arg0 = call.arguments[0];
+        const arg0 = call.arguments.nodes[0];
         if (!arg0 || lowerer.mapTypeOf(lowerer.typeOf(arg0))?.kind !== "regex")
             return null; // string-pattern form: the SC2020 fence
-        if (call.arguments.length !== 1)
+        if (call.arguments.nodes.length !== 1)
             return null;
         const receiver = lowerReceiver();
         const re = lowerer.lowerExprExpecting(arg0, { kind: "regex" });
         return {
             kind: "regexIntrinsic",
-            method: "matchAll",
+            method: matchAllRowsReadByElements(lowerer, call, false) ? "matchAllCaptures" : "matchAll",
             receiver,
             args: [re],
             type: arrayOf(arrayOf(STRING)),
@@ -776,10 +852,10 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
     // — a fresh exec from position 0, so /g is irrelevant and /y anchors at
     // 0, exactly Node. Never throws.
     if (receiverKind === "string" && name === "search") {
-        const arg0 = call.arguments[0];
+        const arg0 = call.arguments.nodes[0];
         if (!arg0 || lowerer.mapTypeOf(lowerer.typeOf(arg0))?.kind !== "regex")
             return null; // string-pattern form: the SC2020 fence
-        if (call.arguments.length !== 1)
+        if (call.arguments.nodes.length !== 1)
             return null;
         const receiver = lowerReceiver();
         const re = lowerer.lowerExprExpecting(arg0, { kind: "regex" });
@@ -792,10 +868,10 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
     }
     if (receiverKind === "string" &&
         (name === "replace" || name === "replaceAll" || name === "split")) {
-        const arg0 = call.arguments[0];
+        const arg0 = call.arguments.nodes[0];
         if (!arg0 || lowerer.mapTypeOf(lowerer.typeOf(arg0))?.kind !== "regex")
             return null;
-        if (call.arguments.length > 2 || call.arguments.some(ts.isSpreadElement))
+        if (call.arguments.nodes.length > 2 || call.arguments.nodes.some(ts.isSpreadElement))
             lowerer.unsupported("SC1120", call, `the '${name}' regex form with surplus or spread arguments`);
         const receiver = lowerReceiver();
         // Split's omitted or undefined limit is 2^32-1. Complete it here so
@@ -804,11 +880,13 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
         const args = name === "split"
             ? [
                 lowerer.lowerExprExpecting(arg0, { kind: "regex" }),
-                lowerSplitLimitArg(lowerer, call.arguments[1], loc),
+                lowerSplitLimitArg(lowerer, call.arguments.nodes[1], loc),
             ]
             : [
                 lowerer.lowerExprExpecting(arg0, { kind: "regex" }),
-                call.arguments[1] ? lowerer.lowerExpr(call.arguments[1]) : dynUndefinedExpr(loc),
+                call.arguments.nodes[1]
+                    ? lowerer.lowerExpr(call.arguments.nodes[1])
+                    : dynUndefinedExpr(loc),
             ];
         if (name !== "split") {
             const replacement = args[1];
@@ -834,12 +912,12 @@ export function lowerRegexMethodCall(lowerer, call, access, dynReceiver) {
                     type.kind === "bigint" ||
                     isUnitType(type);
             if (!replacement || !templateType(replacement.type)) {
-                lowerer.unsupported("SC1120", call.arguments[1] ?? call, "replacement values that are not callable or convertible to a string");
+                lowerer.unsupported("SC1120", call.arguments.nodes[1] ?? call, "replacement values that are not callable or convertible to a string");
             }
             // Array iteration can carry an explicit undefined even when the
             // checker spells string. RegExp replacement applies ToString once,
             // including when the pattern has no match; it does not call that value.
-            args[1] = coerceStringSearchValue(lowerer, replacement, call.arguments[1], loc);
+            args[1] = coerceStringSearchValue(lowerer, replacement, call.arguments.nodes[1], loc);
         }
         return {
             kind: "regexIntrinsic",
@@ -867,9 +945,9 @@ function lowerReplaceCharChain(lowerer, call) {
         if (!ts.isPropertyAccessExpression(callee) ||
             callee.questionDotToken !== undefined ||
             (callee.name.text !== "replace" && callee.name.text !== "replaceAll") ||
-            node.arguments.length !== 2)
+            node.arguments.nodes.length !== 2)
             break;
-        const [pattern, replacement] = node.arguments;
+        const [pattern, replacement] = node.arguments.nodes;
         if (!pattern ||
             !ts.isRegularExpressionLiteral(pattern) ||
             !replacement ||
@@ -925,7 +1003,7 @@ function globalCharPattern(text) {
 /** `s.slice(1, 4)` and friends → strIntrinsic. Null when this isn't an
  * ambient string method call (caller keeps its generic rejection).
  * Complete position defaults and conversions here before code generation. */
-export function lowerStringMethodCall(lowerer, call, access, dynReceiver, argumentNodes = call.arguments) {
+export function lowerStringMethodCall(lowerer, call, access, dynReceiver, argumentNodes = call.arguments.nodes) {
     if (lowerer.chainBlocked(access, call))
         return null;
     if (dynReceiver === undefined && access.name.text === "localeCompare")
@@ -937,7 +1015,8 @@ export function lowerStringMethodCall(lowerer, call, access, dynReceiver, argume
     const replaceMethod = STRING_REPLACE_METHODS.has(access.name.text)
         ? access.name.text
         : null;
-    if (!entry && !indexMethod && !replaceMethod)
+    const extraMethod = EXTRA_STRING_METHODS.has(access.name.text);
+    if (!entry && !indexMethod && !replaceMethod && !extraMethod)
         return null;
     // A validated dyn receiver (`pkg.name.replace(...)` on a JSON.parse
     // value) arrives pre-extracted through `dynReceiver`; its checker type
@@ -964,6 +1043,12 @@ export function lowerStringMethodCall(lowerer, call, access, dynReceiver, argume
         if (!lowerer.isStdlibMember(access))
             return null;
     }
+    if (extraMethod && argumentNodes === call.arguments.nodes) {
+        const receiver = dynReceiver
+            ? dynReceiver()
+            : lowerMethodReceiver(lowerer, access.expression, STRING, access.name.text);
+        return lowerExtraStringMethodCall(lowerer, call, access.name.text, receiver, access.expression);
+    }
     // The lib declares optional parameters beyond some lowered forms; fence
     // those arities instead of passing arguments the runtime doesn't take.
     if (argumentNodes.length < (entry?.minArgs ?? 0) ||
@@ -1200,14 +1285,318 @@ function lowerLocaleCompareCall(lowerer, call, access) {
     if (!lowerer.isStdlibMember(access))
         return null;
     const loc = locOf(call);
-    if (call.arguments.length !== 1) {
-        lowerer.noLowering(`.localeCompare with ${call.arguments.length} arguments`, call, "the locales/options parameters select ICU collations that have no lowering — " +
+    if (call.arguments.nodes.length !== 1) {
+        lowerer.noLowering(`.localeCompare with ${call.arguments.nodes.length} arguments`, call, "the locales/options parameters select ICU collations that have no lowering — " +
             "pass exactly the comparison string");
     }
     const receiver = lowerMethodReceiver(lowerer, access.expression, STRING, access.name.text);
-    const arg = lowerer.lowerExpr(call.arguments[0]);
+    const arg = lowerer.lowerExpr(call.arguments.nodes[0]);
     if (arg.type.kind !== "string")
-        lowerer.badType(call.arguments[0], lowerer.typeOf(call.arguments[0]));
+        lowerer.badType(call.arguments.nodes[0], lowerer.typeOf(call.arguments.nodes[0]));
     return { kind: "libCall", fn: "str.localeCompare", args: [receiver, arg], type: F64, loc };
 }
+/* ── String.prototype / Number.prototype members beyond the core tables ──
+ * substr, the locale case pair, the Annex B HTML methods, toPrecision and
+ * toExponential(fractionDigits) on typed receivers, plus the kind dispatch
+ * for every String/Number method a checked-dynamic receiver can name
+ * whose runtime dispatch had no answer (`character.codePointAt(0)` in a
+ * JS package, `n.toPrecision(3)` on a JS-inferred number). Each path
+ * replaces a compile-time refusal, a runtime 'not supported yet' fence or
+ * Node's is-not-a-function answer for a real method, so programs that
+ * never spell these names compile exactly as before. */
+/** String.prototype members (Annex B included) whose typed-receiver
+ * lowering lives here. */
+export const EXTRA_STRING_METHODS = new Set([
+    "substr",
+    "toLocaleLowerCase",
+    "toLocaleUpperCase",
+    "anchor",
+    "big",
+    "blink",
+    "bold",
+    "fixed",
+    "fontcolor",
+    "fontsize",
+    "italics",
+    "link",
+    "small",
+    "strike",
+    "sub",
+    "sup",
+]);
+/** String methods a dyn receiver dispatches by runtime kind here: a string
+ * runs the typed lowering, every other kind takes the runtime dispatch
+ * (an object's own member, Node's is-not-a-function otherwise). Only names
+ * no other dyn kind's prototype declares: the shared ones (at, concat,
+ * slice, ...) already dispatch at run time for arrays, and a kind test in
+ * front of them would change array code that works today. The Annex B
+ * HTML names (bold, italics, link, ...) stay out too: chalk-style builders
+ * call them on functions and objects, whose calls must stay as they are. */
+const DYN_STRING_KIND_METHODS = new Set([
+    "substr",
+    "toLocaleLowerCase",
+    "toLocaleUpperCase",
+    "codePointAt",
+    "isWellFormed",
+    "toWellFormed",
+    "trimLeft",
+    "trimRight",
+]);
+/** Number methods a dyn receiver dispatches by runtime kind here. */
+const DYN_NUMBER_KIND_METHODS = new Set(["toPrecision", "toExponential"]);
+/** Annex B CreateHTML: the tag and the attribute (null for none). */
+const HTML_METHODS = {
+    anchor: ["a", "name"],
+    big: ["big", null],
+    blink: ["blink", null],
+    bold: ["b", null],
+    fixed: ["tt", null],
+    fontcolor: ["font", "color"],
+    fontsize: ["font", "size"],
+    italics: ["i", null],
+    link: ["a", "href"],
+    small: ["small", null],
+    strike: ["strike", null],
+    sub: ["sub", null],
+    sup: ["sup", null],
+};
+export function isDynPrimitiveKindMethod(name) {
+    return DYN_STRING_KIND_METHODS.has(name) || DYN_NUMBER_KIND_METHODS.has(name);
+}
+/** Evaluate `value` once into a hidden local (effect-free reads stay). */
+function hoist(lowerer, value, stmts, name) {
+    if (value.kind === "varRef" ||
+        value.kind === "numLit" ||
+        value.kind === "strLit" ||
+        value.kind === "boolLit" ||
+        value.kind === "unitLit")
+        return value;
+    const local = lowerer.declareHiddenLocal(name, value.type);
+    stmts.push({ kind: "varDecl", localId: local.id, init: value, loc: value.loc });
+    return varRef(local.id, value.type, value.loc);
+}
+function seq(stmts, result) {
+    return stmts.length === 0
+        ? result
+        : { kind: "seqExpr", stmts, result, type: result.type, loc: result.loc };
+}
+/** ToString of a method argument: the dyn coercion (symbols throw), the
+ * typed conversions elsewhere. */
+function stringArg(lowerer, value, node) {
+    if (value.type.kind === "dyn")
+        return {
+            kind: "libCall",
+            fn: "dyn.toStringCoerce",
+            args: [value],
+            type: STRING,
+            loc: value.loc,
+        };
+    return lowerer.ensureString(value, node);
+}
+/** An optional numeric argument: its ToNumber value and whether it was
+ * supplied (undefined counts as absent, as the spec's checks do). */
+function optionalNumber(lowerer, value, node, stmts, subject, loc) {
+    if (!value || value.type.kind === "undefinedT" || value.type.kind === "void")
+        return { value: numLit(0, loc), has: boolLit(false, loc) };
+    if (value.type.kind === "f64" ||
+        value.type.kind === "string" ||
+        value.type.kind === "bool" ||
+        value.type.kind === "nullT")
+        return {
+            value: positionNumber(lowerer, value, numLit(0, loc), node, subject),
+            has: boolLit(true, loc),
+        };
+    const boxed = value.type.kind === "dyn"
+        ? value
+        : hoist(lowerer, lowerer.coerceToExpected(value, DYN), stmts, "%numArg");
+    const absent = { kind: "dynTest", test: "undefined", value: boxed, type: BOOL, loc };
+    return {
+        value: positionNumber(lowerer, boxed, numLit(0, loc), node, subject),
+        has: { kind: "unary", op: "!", operand: absent, type: BOOL, loc },
+    };
+}
+/** The typed result of a String.prototype member over a STRING receiver
+ * and already evaluated arguments, or null when the name is not one of
+ * this module's. */
+function buildStringMethod(lowerer, call, name, s, args, receiverNode, stmts) {
+    const loc = locOf(call);
+    const node = (i) => call.arguments.nodes[i] ?? call;
+    if (name === "substr") {
+        const start = args[0]
+            ? positionNumber(lowerer, args[0], numLit(0, loc), node(0), "substr start")
+            : numLit(0, loc);
+        const length = optionalNumber(lowerer, args[1], node(1), stmts, "substr length", loc);
+        return {
+            kind: "libCall",
+            fn: "str.substr",
+            args: [s, start, length.value, length.has],
+            type: STRING,
+            loc,
+        };
+    }
+    if (name === "toLocaleLowerCase" || name === "toLocaleUpperCase") {
+        const locales = args[0] ? lowerer.coerceToExpected(args[0], DYN) : dynUndefinedExpr(loc);
+        return {
+            kind: "libCall",
+            fn: "str.localeCase",
+            args: [s, locales, boolLit(name === "toLocaleUpperCase", loc)],
+            type: STRING,
+            loc,
+        };
+    }
+    const html = Object.hasOwn(HTML_METHODS, name) ? HTML_METHODS[name] : undefined;
+    if (html) {
+        const [tag, attribute] = html;
+        const subject = hoist(lowerer, s, stmts, "%htmlSubject");
+        const pieces = [strLit(`<${tag}`, loc)];
+        if (attribute !== null) {
+            const text = args[0] ? stringArg(lowerer, args[0], node(0)) : strLit("undefined", loc);
+            pieces.push(strLit(` ${attribute}="`, loc));
+            pieces.push({
+                kind: "libCall",
+                fn: "str.replaceLiteral",
+                args: [text, strLit('"', loc), strLit("&quot;", loc), boolLit(true, loc)],
+                type: STRING,
+                loc,
+            });
+            pieces.push(strLit('"', loc));
+        }
+        pieces.push(strLit(">", loc), subject, strLit(`</${tag}>`, loc));
+        return pieces.reduce((left, right) => ({ kind: "strConcat", left, right, type: STRING, loc }));
+    }
+    if (name === "codePointAt")
+        return stringIndexHelperCall(lowerer, call, name, s, receiverNode, args[0] ?? numLit(0, loc), call.arguments.nodes[0]);
+    if (name === "isWellFormed" || name === "toWellFormed")
+        return {
+            kind: "strIntrinsic",
+            method: name,
+            receiver: s,
+            args: [],
+            type: name === "isWellFormed" ? BOOL : STRING,
+            loc,
+        };
+    if (name === "trimLeft" || name === "trimRight")
+        return {
+            kind: "strIntrinsic",
+            method: name === "trimLeft" ? "trimStart" : "trimEnd",
+            receiver: s,
+            args: [],
+            type: STRING,
+            loc,
+        };
+    return null;
+}
+/** The typed result of toPrecision/toExponential over an F64 receiver. */
+function buildNumberMethod(lowerer, call, name, x, args, stmts) {
+    const loc = locOf(call);
+    if (name !== "toPrecision" && name !== "toExponential")
+        return null;
+    const digits = optionalNumber(lowerer, args[0], call.arguments.nodes[0] ?? call, stmts, `${name} digits`, loc);
+    if (name === "toPrecision")
+        return {
+            kind: "libCall",
+            fn: "num.toPrecision",
+            args: [x, digits.value, digits.has],
+            type: STRING,
+            loc,
+        };
+    const shortest = {
+        kind: "libCall",
+        fn: "num.toExponential",
+        args: [x],
+        type: STRING,
+        loc,
+    };
+    if (digits.has.kind === "boolLit" && !digits.has.value)
+        return shortest;
+    const fixed = {
+        kind: "libCall",
+        fn: "num.toExponentialDigits",
+        args: [x, digits.value],
+        type: STRING,
+        loc,
+    };
+    if (digits.has.kind === "boolLit")
+        return fixed;
+    return { kind: "ternary", cond: digits.has, then: fixed, else_: shortest, type: STRING, loc };
+}
+/** Evaluate the call's arguments, in order, into hidden locals. */
+function evaluatedArgs(lowerer, call, stmts, expected) {
+    return call.arguments.nodes.map((arg) => hoist(lowerer, expected ? lowerer.lowerExprExpecting(arg, expected) : lowerer.lowerExpr(arg), stmts, "%methodArg"));
+}
+/** A typed STRING receiver calling one of EXTRA_STRING_METHODS: receiver,
+ * then arguments, then the method's own conversions — the spec order. */
+export function lowerExtraStringMethodCall(lowerer, call, name, receiver, receiverNode) {
+    if (call.arguments.nodes.some(ts.isSpreadElement))
+        return null;
+    const stmts = [];
+    const s = hoist(lowerer, receiver, stmts, "%stringReceiver");
+    const args = evaluatedArgs(lowerer, call, stmts, undefined);
+    const result = buildStringMethod(lowerer, call, name, s, args, receiverNode, stmts);
+    return result ? seq(stmts, result) : null;
+}
+/** A typed F64 receiver calling toPrecision(p) or toExponential(f). */
+export function lowerExtraNumberMethodCall(lowerer, call, name, receiver) {
+    if (call.arguments.nodes.some(ts.isSpreadElement) || call.arguments.nodes.length > 1)
+        return null;
+    if (name !== "toPrecision" && !(name === "toExponential" && call.arguments.nodes.length === 1))
+        return null;
+    const stmts = [];
+    const x = hoist(lowerer, receiver, stmts, "%numberReceiver");
+    const args = evaluatedArgs(lowerer, call, stmts, undefined);
+    const result = buildNumberMethod(lowerer, call, name, x, args, stmts);
+    return result ? seq(stmts, result) : null;
+}
+/** `recv.m(args)` on a checked-dynamic receiver for a String/Number method
+ * the runtime dispatch cannot answer: the receiver and arguments evaluate
+ * once, a string (or number) receiver runs the typed lowering, and every
+ * other kind keeps the runtime dispatch's answer. Null for other names. */
+export function lowerDynPrimitiveMethodCall(lowerer, call, name, calleeName, recv) {
+    const stringMethod = DYN_STRING_KIND_METHODS.has(name);
+    const numberMethod = DYN_NUMBER_KIND_METHODS.has(name);
+    if (!stringMethod && !numberMethod)
+        return null;
+    if (call.arguments.nodes.some(ts.isSpreadElement))
+        return null;
+    const loc = locOf(call);
+    const stmts = [];
+    const local = lowerer.declareHiddenLocal("%primitiveReceiver", DYN);
+    stmts.push({ kind: "varDecl", localId: local.id, init: recv, loc });
+    const r = varRef(local.id, DYN, loc);
+    const args = evaluatedArgs(lowerer, call, stmts, DYN);
+    let result = {
+        kind: "dynInvoke",
+        recv: r,
+        method: name,
+        calleeName,
+        args,
+        type: DYN,
+        loc,
+    };
+    const branch = (test, build) => {
+        const branchStmts = [];
+        const value = {
+            kind: "dynCheck",
+            value: r,
+            type: test === "string" ? STRING : F64,
+            loc,
+        };
+        const built = build(value, branchStmts);
+        if (!built)
+            return;
+        result = {
+            kind: "ternary",
+            cond: { kind: "dynTest", test, value: r, type: BOOL, loc },
+            then: { kind: "dynFrom", value: seq(branchStmts, built), type: DYN, loc },
+            else_: result,
+            type: DYN,
+            loc,
+        };
+    };
+    if (numberMethod)
+        branch("number", (x, branchStmts) => buildNumberMethod(lowerer, call, name, x, args, branchStmts));
+    if (stringMethod)
+        branch("string", (s, branchStmts) => buildStringMethod(lowerer, call, name, s, args, call.expression, branchStmts));
+    return seq(stmts, result);
+}
 //# sourceMappingURL=string-and-regexp.js.map