@scriptc/compiler 0.2.3 → 0.2.5

package/dist/frontend/lowering/builtins/timers.js

@@ -0,0 +1,180 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import { generatorMeta } from "../call-signatures.js";
+import { BOOL, F64, VOID, } from "../../../ir/ir.js";
+/** timers/promises.setInterval(delay, value), the first Node API built on
+ * the generic async-generator protocol. The supported form has an explicit
+ * value and no AbortSignal options. It lowers to a generated typed async
+ * generator whose loop awaits the existing promise timeout then yields the
+ * retained value; creating the iterator remains lazy. */
+export function lowerTimersPromisesSetInterval(lowerer, expr, bi, loc) {
+    if (bi.module !== "timers/promises" || bi.member !== "setInterval")
+        return null;
+    if (expr.arguments.some(ts.isSpreadElement)) {
+        lowerer.unsupported("SC1090", expr, "spread arguments");
+    }
+    if (expr.arguments.length !== 2) {
+        lowerer.noLowering(`timers/promises.setInterval with ${expr.arguments.length} arguments`, expr, "the lowered form is setInterval(delay, value) with an explicit yielded value; AbortSignal options are not supported yet");
+    }
+    const delayNode = expr.arguments[0];
+    const valueNode = expr.arguments[1];
+    const delay = lowerer.lowerExpr(delayNode);
+    const ms = delay.kind === "unitLit"
+        ? { kind: "numLit", value: 1, type: F64, loc }
+        : lowerer.coerceInto(delayNode, delay, F64);
+    const value = lowerer.lowerExpr(valueNode);
+    const callType = lowerer.mapTypeOf(lowerer.typeOf(expr));
+    if (callType?.kind !== "generator" || !callType.async) {
+        lowerer.badType(expr, lowerer.typeOf(expr));
+    }
+    const genT = callType;
+    const yielded = lowerer.coerceInto(valueNode, value, genT.yieldT);
+    const fnName = `%fn${lowerer.lambdaCounter++}_tpInterval`;
+    const msParam = { id: "%tp.ms", name: "delay", type: F64, mutable: false };
+    const valueParam = { id: "%tp.value", name: "value", type: genT.yieldT, mutable: false };
+    const promiseVoid = { kind: "promise", inner: VOID };
+    const msRef = () => ({ kind: "varRef", localId: msParam.id, type: F64, loc });
+    const valueRef = () => ({
+        kind: "varRef",
+        localId: valueParam.id,
+        type: genT.yieldT,
+        loc,
+    });
+    const fn = {
+        name: fnName,
+        params: [
+            { localId: msParam.id, name: msParam.name, type: msParam.type },
+            { localId: valueParam.id, name: valueParam.name, type: valueParam.type },
+        ],
+        returnType: VOID,
+        locals: [msParam, valueParam],
+        async: true,
+        generator: generatorMeta(lowerer, genT),
+        body: [
+            {
+                kind: "while",
+                cond: { kind: "boolLit", value: true, type: BOOL, loc },
+                body: [
+                    {
+                        kind: "exprStmt",
+                        expr: {
+                            kind: "awaitExpr",
+                            value: {
+                                kind: "libCall",
+                                fn: "tp.setTimeout",
+                                args: [msRef()],
+                                type: promiseVoid,
+                                loc,
+                            },
+                            type: VOID,
+                            loc,
+                        },
+                        loc,
+                    },
+                    {
+                        kind: "exprStmt",
+                        expr: { kind: "yieldExpr", value: valueRef(), type: VOID, loc },
+                        loc,
+                    },
+                ],
+                loc,
+            },
+        ],
+        loc,
+    };
+    lowerer.liftedFns.push(fn);
+    return { kind: "call", callee: fnName, args: [ms, yielded], type: genT, loc };
+}
+/** True when `node`'s checker type is the timer `Timeout` handle (the
+ * fallback's `Timeout` or @types/node's `NodeJS.Timeout`) — provenance,
+ * not name, so a user's own `Timeout` never matches. The handle maps to
+ * f64, so the method calls below can't tell it from a plain number by IR
+ * type alone; this is the discriminator. */
+function isTimerHandleTyped(lowerer, node, name) {
+    const t = lowerer.checker.getTypeAtLocation(node);
+    const sym = t.getAliasSymbol() ?? t.getSymbol();
+    if (sym?.name !== name)
+        return false;
+    return lowerer.checker
+        .declarationsOf(sym)
+        .some((d) => ts.isInterfaceDeclaration(d) && lowerer.isStdlibFile(d.getSourceFile()));
+}
+function isTimeoutTyped(lowerer, node) {
+    return isTimerHandleTyped(lowerer, node, "Timeout");
+}
+/** `t.unref()` / `t.ref()` / `t.hasRef()` on a Timeout handle — loop-
+ * liveness bookkeeping over the numeric timer id (the handle is f64).
+ * unref/ref return the handle for chaining (Node); hasRef returns a
+ * bool. `refresh` and the rest of @types/node's Timeout surface fence.
+ * Null when the receiver isn't a Timeout handle. */
+export function lowerTimeoutMethodCall(lowerer, call, access) {
+    // `t.unref?.()` (the defensive optional CALL — mdns's timer.unref?.())
+    // is the plain call: the method always exists on a Timeout handle. A
+    // `t?.unref()` receiver guard is real narrowing and stays with the
+    // chain machinery.
+    if (access.questionDotToken)
+        return null;
+    const isTimeout = isTimeoutTyped(lowerer, access.expression);
+    const isImmediate = !isTimeout && isTimerHandleTyped(lowerer, access.expression, "Immediate");
+    if (!isTimeout && !isImmediate)
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    const loc = locOf(call);
+    if ((name === "unref" || name === "ref") && call.arguments.length === 0) {
+        const handle = lowerer.lowerExprExpecting(access.expression, F64);
+        const fn = isImmediate
+            ? name === "unref"
+                ? "timers.immediateUnref"
+                : "timers.immediateRef"
+            : name === "unref"
+                ? "timers.unref"
+                : "timers.ref";
+        // Returns the handle for chaining (`setTimeout(...).unref()` — Node
+        // returns the Timeout/Immediate); the libCall yields the f64 back.
+        return { kind: "libCall", fn, args: [handle], type: F64, loc };
+    }
+    if (name === "hasRef" && call.arguments.length === 0) {
+        const handle = lowerer.lowerExprExpecting(access.expression, F64);
+        const fn = isImmediate ? "timers.immediateHasRef" : "timers.hasRef";
+        return { kind: "libCall", fn, args: [handle], type: BOOL, loc };
+    }
+    if (name === "refresh" && call.arguments.length === 0 && !isImmediate) {
+        // Re-arms to now + the original delay; yields the handle back for
+        // chaining, like unref/ref.
+        const handle = lowerer.lowerExprExpecting(access.expression, F64);
+        return { kind: "libCall", fn: "timers.refresh", args: [handle], type: F64, loc };
+    }
+    lowerer.noLowering(`${isImmediate ? "Immediate" : "Timeout"}.${name}`, call, isImmediate
+        ? "unref(), ref(), and hasRef() are the supported Immediate methods"
+        : "unref(), ref(), hasRef(), and refresh() are the supported Timeout methods", lowerer.checker.getSymbolAtLocation(access.name));
+}
+// node:timers/promises — setTimeout([delay]) and setImmediate(): void
+// promises the shared timer heap settles. The omitted delay completes
+// to Node's 1ms floor (scr_timer_coerce_ms clamps anyway; the literal
+// keeps the emitted call self-describing); the resolve-value and
+// options (AbortSignal) forms fence per shape — a promise that
+// ignored its cancellation signal would hold the loop open where
+// Node exits.
+export function lowerTimersPromisesCall(lowerer, expr, bi, loc) {
+    const promiseVoid = { kind: "promise", inner: VOID };
+    if (bi.member === "setTimeout") {
+        if (expr.arguments.length > 1) {
+            lowerer.noLowering("timers/promises setTimeout with a resolve value or options", expr.arguments[1], "the lowered form is setTimeout(delay?) resolving undefined — resolve values and AbortSignal cancellation have no lowering");
+        }
+        const ms = expr.arguments[0]
+            ? lowerer.lowerExprExpecting(expr.arguments[0], F64)
+            : { kind: "numLit", value: 1, type: F64, loc };
+        return { kind: "libCall", fn: "tp.setTimeout", args: [ms], type: promiseVoid, loc };
+    }
+    if (bi.member === "setImmediate") {
+        if (expr.arguments.length > 0) {
+            lowerer.noLowering("timers/promises setImmediate with a resolve value", expr.arguments[0], "the lowered form is setImmediate() resolving undefined");
+        }
+        return { kind: "libCall", fn: "tp.setImmediate", args: [], type: promiseVoid, loc };
+    }
+    return null;
+}
+//# sourceMappingURL=timers.js.map

package/dist/frontend/lowering/builtins/timers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"timers.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/timers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EACL,IAAI,EACJ,GAAG,EAMH,IAAI,GACL,MAAM,mBAAmB,CAAC;AAE3B;;;;yDAIyD;AACzD,MAAM,UAAU,8BAA8B,CAC5C,OAAgB,EAChB,IAAuB,EACvB,EAAsC,EACtC,GAAW;IAEX,IAAI,EAAE,CAAC,MAAM,KAAK,iBAAiB,IAAI,EAAE,CAAC,MAAM,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAChF,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC5C,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,UAAU,CAChB,oCAAoC,IAAI,CAAC,SAAS,CAAC,MAAM,YAAY,EACrE,IAAI,EACJ,yHAAyH,CAC1H,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC3C,MAAM,EAAE,GACN,KAAK,CAAC,IAAI,KAAK,SAAS;QACtB,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAoB;QACjE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,IAAI,QAAQ,EAAE,IAAI,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtD,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC;IACtB,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,aAAa,EAAE,aAAa,CAAC;IAC1D,MAAM,OAAO,GAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACpF,MAAM,UAAU,GAAY,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAClG,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC7D,MAAM,KAAK,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,GAAW,EAAE,CAAC,CAAC;QAC9B,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,UAAU,CAAC,EAAE;QACtB,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,EAAE,GAAe;QACrB,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;YAC/D,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;SACzE;QACD,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC;QAC7B,KAAK,EAAE,IAAI;QACX,SAAS,EAAE,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC;QACvC,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACvD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,WAAW;4BACjB,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,eAAe;gCACnB,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;gCACf,IAAI,EAAE,WAAW;gCACjB,GAAG;6BACJ;4BACD,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,GAAG;qBACJ;oBACD;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC/D,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC;AAED;;;;4CAI4C;AAC5C,SAAS,kBAAkB,CACzB,OAAgB,EAChB,IAAmB,EACnB,IAA6B;IAE7B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;IAChD,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACrC,OAAO,OAAO,CAAC,OAAO;SACnB,cAAc,CAAC,GAAG,CAAC;SACnB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;AAC1F,CAAC;AACD,SAAS,cAAc,CAAC,OAAgB,EAAE,IAAmB;IAC3D,OAAO,kBAAkB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AACtD,CAAC;AAED;;;;oDAIoD;AACpD,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,uEAAuE;IACvE,qEAAqE;IACrE,mEAAmE;IACnE,mBAAmB;IACnB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,CAAC,SAAS,IAAI,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAC9F,IAAI,CAAC,SAAS,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,WAAW;YACpB,CAAC,CAAC,IAAI,KAAK,OAAO;gBAChB,CAAC,CAAC,uBAAuB;gBACzB,CAAC,CAAC,qBAAqB;YACzB,CAAC,CAAC,IAAI,KAAK,OAAO;gBAChB,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAC,YAAY,CAAC;QACnB,oEAAoE;QACpE,mEAAmE;QACnE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACjE,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,eAAe,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACtE,kEAAkE;QAClE,4BAA4B;QAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAClE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnF,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,IAAI,EAAE,EAClD,IAAI,EACJ,WAAW;QACT,CAAC,CAAC,kEAAkE;QACpE,CAAC,CAAC,2EAA2E,EAC/E,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,sEAAsE;AACtE,sEAAsE;AACtE,iEAAiE;AACjE,+DAA+D;AAC/D,iEAAiE;AACjE,cAAc;AACd,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,EAAsC,EACtC,GAAW;IAEX,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC7D,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,CAChB,4DAA4D,EAC5D,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,2HAA2H,CAC5H,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAClC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YACpD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,EAAE,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,CAChB,mDAAmD,EACnD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,wDAAwD,CACzD,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;IACtF,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/builtins/url.d.ts

@@ -0,0 +1,37 @@
+import * as ts from "../../ts7/adapter.js";
+import { type Lowerer } from "../lowerer.js";
+import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+import { type BuiltinModuleFn } from "../surfaces.js";
+/** URL component assignment captures its receiver and RHS once, and yields
+ * the original RHS after the setter performs string conversion. */
+export declare function lowerUrlAssignment(lowerer: Lowerer, expr: ts.BinaryExpression): IrExpr | null;
+/** Method calls on URL-typed receivers: `u.toString()` and `u.toJSON()` are Node's href
+ * serialization (the href getter's libCall). Everything else the lib
+ * declares fences member-qualified. Null for non-URL receivers. */
+export declare function lowerUrlMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `new URLSearchParams(init?)` — the WHATWG constructor's lowered init
+ * shapes: omitted / literal `undefined` (empty list), a string (parsed,
+ * one leading '?' strips), another URLSearchParams (snapshot copy — a
+ * `u.searchParams` argument included), a string[][] value (pairs;
+ * Node's ERR_INVALID_TUPLE TypeError on a non-pair row, thrown by the
+ * runtime), and an OBJECT LITERAL (each property appends in source
+ * order — folded to a sp.with chain at compile time; keys are the
+ * record-literal key forms, values coerce as strings). Tuple-typed pair
+ * arrays and unions keep named fences. */
+export declare function lowerSearchParamsNew(lowerer: Lowerer, expr: ts.NewExpression, loc: SrcLoc): IrExpr;
+/** Method calls on URLSearchParams-typed receivers — the WHATWG list
+ * surface over the runtime's decoded pairs. get answers `string | null`
+ * (the checker's own union; the runtime's +1-or-NULL builds the arms);
+ * has/delete take the value-aware second argument (an explicitly
+ * `undefined`-typed second argument means the name-only form, Node's
+ * treatment); forEach desugars to a synthesized index loop over the
+ * LIVE list (sp.size re-reads every pass — appends mid-walk are
+ * visited, deletes shift, the spec's index-based iteration).
+ * keys()/values()/entries() lower only in a for-of head (lower-stmts
+ * routes them before this table) — stored iterator objects keep the
+ * drain fence. Null for non-searchParams receivers. */
+export declare function lowerSearchParamsMethodCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+export declare function lowerFileUrlCall(lowerer: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, fn: BuiltinModuleFn, loc: SrcLoc, hasSpread: boolean): IrExpr;