@scriptc/compiler 0.3.2 → 0.3.4

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

@@ -1,13 +1,31 @@
 import * as ts from "../../ts7/adapter.js";
 import {} from "../lowerer.js";
 import { locOf } from "../../program.js";
-import { F64, STRING, VOID } from "../../../ir/ir.js";
+import { DYN, F64, STRING, VOID } from "../../../ir/ir.js";
+import { boolLit, numLit } from "../../../ir/build.js";
 import { READLINE_DOCUMENTED_OPTIONS, fenceOrDropOptionKey } from "../surfaces.js";
-/** True when `node`'s checker type is readline's Interface (stdlib
- * provenance + the enclosing "readline" ambient module — the name alone
- * is too generic). The interface maps to an f64 handle, so the IR type
- * cannot discriminate it from a plain number. */
-function isReadlineTyped(lowerer, node) {
+import { streamSidesOf } from "../lower-stream.js";
+/** The ambient module declaring `d`, or null. */
+function ambientModuleOf(d) {
+    let up = d.parent;
+    while (up) {
+        if (ts.isModuleDeclaration(up) && ts.isStringLiteral(up.name))
+            return up.name.text;
+        up = up.parent;
+    }
+    return null;
+}
+function isReadlineModule(spec) {
+    return (spec === "readline" ||
+        spec === "node:readline" ||
+        spec === "readline/promises" ||
+        spec === "node:readline/promises");
+}
+/** True when `node`'s checker type is a readline Interface (stdlib
+ * provenance + the enclosing "readline" or "readline/promises" ambient
+ * module — the name alone is too generic). The interface maps to an f64
+ * handle, so the IR type cannot discriminate it from a plain number. */
+export function isReadlineTyped(lowerer, node) {
     const t = lowerer.checker.getTypeAtLocation(node);
     const sym = t.getAliasSymbol() ?? t.getSymbol();
     if (sym?.name !== "Interface")
@@ -17,24 +35,45 @@ function isReadlineTyped(lowerer, node) {
             return false;
         if (!lowerer.isStdlibFile(d.getSourceFile()))
             return false;
-        let up = d.parent;
-        while (up) {
-            if (ts.isModuleDeclaration(up) && ts.isStringLiteral(up.name)) {
-                return up.name.text === "readline" || up.name.text === "node:readline";
-            }
-            up = up.parent;
-        }
-        return false;
+        return isReadlineModule(ambientModuleOf(d));
     });
 }
-/** Method calls on readline Interface receivers: `rl.question(query, cb)`
- * writes the query to stdout and delivers the next stdin line's text to
- * the callback (one (answer: string) parameter, or none); `rl.close()`
- * fires the 'close' listeners synchronously (Node's inline emit) and
- * releases the loop; `rl.on("close", cb)` registers a zero-arg
- * listener. Everything else the lib declares (on("line"), prompt,
- * setPrompt, ...) fences member-qualified. Null for non-Interface
- * receivers. */
+/** The runtime's listener event numbers (scr_readline.c). */
+const RL_EVENTS = { line: 0, close: 1, pause: 2, resume: 3, error: 4 };
+/** True when the call's resolved signature answers a Promise — the
+ * readline/promises question. */
+function returnsPromise(lowerer, call) {
+    const t = lowerer.checker.getTypeAtLocation(call);
+    return (t.getSymbol()?.name ?? "") === "Promise";
+}
+/** The `{ signal }` options argument of the promise question: the signal
+ * expression, or null when absent. Other members fence by name. */
+function questionSignal(lowerer, node) {
+    if (node === undefined)
+        return null;
+    if (!ts.isObjectLiteralExpression(node)) {
+        lowerer.noLowering("readline/promises question options that are not an object literal", node, "write the options inline: question(query, { signal })");
+    }
+    let signal = null;
+    for (const p of node.properties) {
+        if (ts.isPropertyAssignment(p) && ts.isIdentifier(p.name) && p.name.text === "signal") {
+            signal = p.initializer;
+            continue;
+        }
+        lowerer.noLowering("readline/promises question with this option", p, "signal is the supported question option");
+    }
+    return signal;
+}
+/** Method calls on readline Interface receivers (both modules):
+ * - question(query, cb) — the callback form; question(query, { signal }?)
+ *   — the promise form (readline/promises);
+ * - close(), pause(), resume(), prompt(), setPrompt(p), getPrompt(),
+ *   write(data);
+ * - on/once/addListener for 'line' ((input: string) or no parameters),
+ *   'close'/'pause'/'resume' (no parameters) and 'error' ((err: Error) or
+ *   no parameters), as statements.
+ * Everything else the lib declares fences member-qualified. Null for
+ * non-Interface receivers. */
 export function lowerReadlineMethodCall(lowerer, call, access) {
     if (call.questionDotToken || access.questionDotToken)
         return null;
@@ -44,95 +83,232 @@ export function lowerReadlineMethodCall(lowerer, call, access) {
         return null;
     const name = access.name.text;
     const loc = locOf(call);
-    if (name === "question" && call.arguments.length === 2) {
-        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
-        const query = lowerer.lowerExprExpecting(call.arguments[0], STRING);
-        const cb = lowerer.lowerExpr(call.arguments[1]);
+    const args = call.arguments;
+    const receiver = () => lowerer.lowerExprExpecting(access.expression, F64);
+    if (name === "question" &&
+        returnsPromise(lowerer, call) &&
+        args.length >= 1 &&
+        args.length <= 2) {
+        const recv = receiver();
+        const query = lowerer.lowerExprExpecting(args[0], STRING);
+        const signal = questionSignal(lowerer, args[1]);
+        const type = { kind: "promise", inner: STRING };
+        if (signal === null) {
+            return { kind: "libCall", fn: "rl.questionAsync", args: [recv, query], type, loc };
+        }
+        const sig = lowerer.lowerExprExpecting(signal, DYN);
+        return { kind: "libCall", fn: "rl.questionAsyncSignal", args: [recv, query, sig], type, loc };
+    }
+    if (name === "question" && args.length === 2) {
+        const recv = receiver();
+        const query = lowerer.lowerExprExpecting(args[0], STRING);
+        const cb = lowerer.lowerExpr(args[1]);
         if (cb.type.kind !== "func" || cb.type.ret.kind !== "void" || cb.type.params.length > 1) {
-            lowerer.unsupported("SC1090", call.arguments[1], "question callbacks with more than one parameter or a return value");
+            lowerer.unsupported("SC1090", args[1], "question callbacks with more than one parameter or a return value");
         }
         const param = cb.type.params[0];
-        if (param !== undefined && param.kind !== "string") {
-            lowerer.unsupported("SC1090", call.arguments[1], `question callbacks whose parameter is not 'string' (got '${lowerer.fmt(param)}')`);
+        if (param !== undefined && param.kind !== "string" && param.kind !== "dyn") {
+            lowerer.unsupported("SC1090", args[1], `question callbacks whose parameter is not 'string' (got '${lowerer.fmt(param)}')`);
+        }
+        return { kind: "libCall", fn: "rl.question", args: [recv, query, cb], type: VOID, loc };
+    }
+    const simple = {
+        close: "rl.close",
+        pause: "rl.pause",
+        resume: "rl.resume",
+        prompt: "rl.prompt",
+    };
+    const simpleFn = simple[name];
+    if (simpleFn !== undefined && (args.length === 0 || (name === "prompt" && args.length === 1))) {
+        if ((name === "pause" || name === "resume") && !ts.isExpressionStatement(call.parent)) {
+            lowerer.unsupported("SC1090", call, `using the result of readline ${name}() (call it as its own statement)`);
+        }
+        // prompt(preserveCursor) only moves the cursor of a terminal
+        // interface: a boolean literal is accepted and has no effect here.
+        const flag = args[0];
+        if (flag !== undefined &&
+            flag.kind !== ts.SyntaxKind.TrueKeyword &&
+            flag.kind !== ts.SyntaxKind.FalseKeyword) {
+            lowerer.noLowering("readline prompt() with a non-literal preserveCursor", flag, "preserveCursor only affects terminal interfaces — pass a boolean literal or omit it");
         }
-        return { kind: "libCall", fn: "rl.question", args: [receiver, query, cb], type: VOID, loc };
+        return { kind: "libCall", fn: simpleFn, args: [receiver()], type: VOID, loc };
+    }
+    if (name === "setPrompt" && args.length === 1) {
+        const recv = receiver();
+        const prompt = lowerer.lowerExprExpecting(args[0], STRING);
+        return { kind: "libCall", fn: "rl.setPrompt", args: [recv, prompt], type: VOID, loc };
     }
-    if (name === "close" && call.arguments.length === 0) {
-        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
-        return { kind: "libCall", fn: "rl.close", args: [receiver], type: VOID, loc };
+    if (name === "getPrompt" && args.length === 0) {
+        return { kind: "libCall", fn: "rl.getPrompt", args: [receiver()], type: STRING, loc };
     }
-    if (name === "on" && call.arguments.length === 2) {
-        const evT = lowerer.typeOf(call.arguments[0]);
+    if (name === "write" && args.length === 1) {
+        const recv = receiver();
+        const data = lowerer.lowerExprExpecting(args[0], STRING);
+        return { kind: "libCall", fn: "rl.write", args: [recv, data], type: VOID, loc };
+    }
+    if ((name === "on" || name === "once" || name === "addListener") && args.length === 2) {
+        const evT = lowerer.typeOf(args[0]);
         const event = evT.isStringLiteralType() ? evT.value : null;
-        if (event !== "close") {
-            lowerer.noLowering(`readline.Interface.on(${event === null ? "non-literal event" : `"${event}"`}, ...)`, call.arguments[0], '"close" is the supported readline event (question(query, cb) is the line consumer)');
+        const ev = event === null ? undefined : RL_EVENTS[event];
+        if (ev === undefined) {
+            lowerer.noLowering(`readline.Interface.${name}(${event === null ? "non-literal event" : `"${event}"`}, ...)`, args[0], '"line", "close", "pause", "resume" and "error" are the supported readline events');
         }
         if (!ts.isExpressionStatement(call.parent)) {
-            lowerer.unsupported("SC1090", call, "chaining readline listener registration (the result is void here — register each listener as its own statement)");
+            lowerer.unsupported("SC1090", call, "chaining readline listener registration (register each listener as its own statement)");
         }
-        const receiver = lowerer.lowerExprExpecting(access.expression, F64);
-        const cb = lowerer.lowerExpr(call.arguments[1]);
-        if (cb.type.kind !== "func" || cb.type.ret.kind !== "void" || cb.type.params.length > 0) {
-            lowerer.unsupported("SC1090", call.arguments[1], "close listeners with parameters or a return value (use ())");
+        const recv = receiver();
+        const cb = lowerer.lowerExpr(args[1]);
+        const want = event === "line" ? "string" : event === "error" ? "error" : null;
+        const param = cb.type.kind === "func" ? cb.type.params[0] : undefined;
+        const paramOk = param === undefined ||
+            (want !== null && param.kind === "dyn") ||
+            (want === "string" && param.kind === "string") ||
+            (want === "error" && param.kind === "object" && param.className === "Error");
+        if (cb.type.kind !== "func" ||
+            cb.type.ret.kind !== "void" ||
+            cb.type.params.length > (want === null ? 0 : 1) ||
+            !paramOk) {
+            lowerer.unsupported("SC1090", args[1], want === "string"
+                ? "'line' listeners other than (input: string) => void"
+                : want === "error"
+                    ? "'error' listeners other than (err: Error) => void"
+                    : `'${event}' listeners with parameters or a return value (use ())`);
         }
-        return { kind: "libCall", fn: "rl.onClose", args: [receiver, cb], type: VOID, loc };
+        return {
+            kind: "libCall",
+            fn: "rl.on",
+            args: [recv, numLit(ev, loc), cb, boolLit(name === "once", loc)],
+            type: VOID,
+            loc,
+        };
+    }
+    lowerer.noLowering(`readline.Interface.${name}`, call, "question, close, pause, resume, prompt, setPrompt, getPrompt, write, for await, and on/once for 'line', 'close', 'pause', 'resume' and 'error' are the supported Interface members", lowerer.checker.getSymbolAtLocation(access.name));
+}
+/** The interface's input: process.stdin (null) or a readable stream. */
+function lowerInput(lowerer, node) {
+    if (ts.isPropertyAccessExpression(node) &&
+        lowerer.stdlibGlobalMember(node, "process") === "stdin") {
+        return null;
+    }
+    const v = lowerer.lowerExpr(node);
+    const info = v.type.kind === "object" ? lowerer.classes.get(v.type.className) : undefined;
+    const sides = streamSidesOf(lowerer, info);
+    if (sides !== "r" && sides !== "rw") {
+        lowerer.noLowering("createInterface with this input", node, "process.stdin and readable streams are the supported inputs");
+    }
+    return v;
+}
+/** The interface's output: "stdout", a writable stream, or "none". */
+function lowerOutput(lowerer, node) {
+    if (ts.isPropertyAccessExpression(node) &&
+        lowerer.stdlibGlobalMember(node, "process") === "stdout") {
+        return "stdout";
     }
-    lowerer.noLowering(`readline.Interface.${name}`, call, 'question(query, cb), close(), and on("close", cb) are the supported Interface members', lowerer.checker.getSymbolAtLocation(access.name));
+    if (node.kind === ts.SyntaxKind.NullKeyword) {
+        return "none";
+    }
+    if (ts.isIdentifier(node) && node.text === "undefined")
+        return "none";
+    const v = lowerer.lowerExpr(node);
+    const info = v.type.kind === "object" ? lowerer.classes.get(v.type.className) : undefined;
+    const sides = streamSidesOf(lowerer, info);
+    if (sides !== "w" && sides !== "rw") {
+        lowerer.noLowering("createInterface with this output", node, "process.stdout and writable streams are the supported outputs");
+    }
+    return v;
 }
-// readline.createInterface({ input: process.stdin, output:
-// process.stdout }): exactly that options shape — the runtime reads
-// fd 0 and writes prompts to stdout, so any OTHER stream would be a
-// lie. `terminal` is accepted only as the literal false (the pipe
-// behavior this implements); other members fence by name.
+/** createInterface({ input, output?, terminal?: false, crlfDelay?,
+ * prompt?, signal? }) or createInterface(input, output?), from
+ * node:readline or node:readline/promises. The input is process.stdin
+ * or a readable stream; the output process.stdout, a writable stream, or
+ * absent (prompts are then not written). rl.create's arguments: the mode
+ * literal (1 stream input, 2 stream output, 4 stdout output, 8 signal,
+ * 16 prompt), then the input and output streams when present, crlfDelay,
+ * the prompt and the signal when present. */
 export function lowerReadlineCreateCall(lowerer, expr, loc) {
-    const optsNode = expr.arguments.length === 1 ? expr.arguments[0] : undefined;
-    if (!optsNode || !ts.isObjectLiteralExpression(optsNode)) {
-        lowerer.noLowering("createInterface with this argument shape", expr, "the supported form is createInterface({ input: process.stdin, output: process.stdout })");
-    }
-    let sawInput = false;
-    for (const p of optsNode.properties) {
-        if (!ts.isPropertyAssignment(p) || !ts.isIdentifier(p.name)) {
-            lowerer.noLowering("createInterface with this options shape", p, "spreads, computed keys, and shorthand options have no lowering — write each member inline");
+    let input = null;
+    let output = "none";
+    let crlf = numLit(0, loc);
+    let prompt = null;
+    let signal = null;
+    const optsNode = expr.arguments[0];
+    if (optsNode === undefined) {
+        lowerer.noLowering("createInterface without arguments", expr, "pass { input: process.stdin, output: process.stdout } or createInterface(input, output)");
+    }
+    if (!ts.isObjectLiteralExpression(optsNode)) {
+        if (expr.arguments.length > 2) {
+            lowerer.noLowering("createInterface with a completer or terminal argument", expr.arguments[2], "the positional form createInterface(input, output) is supported (terminal line editing has no lowering)");
         }
-        const member = p.name.text;
-        const streamOf = (node) => ts.isPropertyAccessExpression(node) ? lowerer.stdlibGlobalMember(node, "process") : null;
-        if (member === "input") {
-            if (streamOf(p.initializer) !== "stdin") {
-                lowerer.noLowering("createInterface with a non-stdin input", p.initializer, "process.stdin is the one supported input stream");
-            }
-            sawInput = true;
+        input = lowerInput(lowerer, optsNode);
+        if (expr.arguments[1] !== undefined)
+            output = lowerOutput(lowerer, expr.arguments[1]);
+    }
+    else {
+        if (expr.arguments.length > 1) {
+            lowerer.noLowering("createInterface with more than one argument", expr.arguments[1], "pass every option in the one options object");
         }
-        else if (member === "output") {
-            if (streamOf(p.initializer) !== "stdout") {
-                lowerer.noLowering("createInterface with a non-stdout output", p.initializer, "process.stdout is the one supported output stream");
+        let sawInput = false;
+        for (const p of optsNode.properties) {
+            if (!ts.isPropertyAssignment(p) || !ts.isIdentifier(p.name)) {
+                lowerer.noLowering("createInterface with this options shape", p, "spreads, computed keys, and shorthand options have no lowering — write each member inline");
             }
-        }
-        else if (member === "terminal") {
-            const t = lowerer.typeOf(p.initializer);
-            if (!(t.flags & ts.TypeFlags.BooleanLiteral) || lowerer.checker.typeToString(t) !== "false") {
-                lowerer.noLowering("createInterface with terminal enabled", p.initializer, "terminal line editing has no lowering — the pipe behavior is what compiles");
+            const member = p.name.text;
+            if (member === "input") {
+                input = lowerInput(lowerer, p.initializer);
+                sawInput = true;
             }
-        }
-        else if (member === "crlfDelay") {
-            // Infinity states the lowered behavior: the splitter holds a
-            // trailing \r until the next chunk decides \r\n vs \r, with no
-            // time limit (scr_readline.c) — Node's crlfDelay: Infinity.
-            // Finite delays would need a timer the splitter does not have.
-            if (!ts.isIdentifier(p.initializer) || p.initializer.text !== "Infinity") {
-                lowerer.noLowering("createInterface with a finite crlfDelay", p.initializer, "the lowered splitter always joins \\r\\n across chunks (Node's crlfDelay: Infinity) — Infinity is the accepted value");
+            else if (member === "output") {
+                output = lowerOutput(lowerer, p.initializer);
+            }
+            else if (member === "terminal") {
+                const t = lowerer.typeOf(p.initializer);
+                if (!(t.flags & ts.TypeFlags.BooleanLiteral) ||
+                    lowerer.checker.typeToString(t) !== "false") {
+                    lowerer.noLowering("createInterface with terminal enabled", p.initializer, "terminal line editing has no lowering — the pipe behavior is what compiles");
+                }
+            }
+            else if (member === "crlfDelay") {
+                crlf = lowerer.lowerExprExpecting(p.initializer, F64);
+            }
+            else if (member === "prompt") {
+                prompt = lowerer.lowerExprExpecting(p.initializer, STRING);
+            }
+            else if (member === "signal") {
+                signal = lowerer.lowerExprExpecting(p.initializer, DYN);
+            }
+            else if (member === "completer") {
+                lowerer.noLowering("createInterface with a completer", p, "tab completion needs an interactive terminal — the lowered interface reads piped lines (terminal: false)");
+            }
+            else {
+                fenceOrDropOptionKey(lowerer, p, member, "createInterface", READLINE_DOCUMENTED_OPTIONS, "input, output, terminal: false, crlfDelay, prompt and signal are the supported options");
+                // An undocumented key, dropped like Node drops it.
             }
         }
-        else if (member === "completer") {
-            lowerer.noLowering("createInterface with a completer", p, "tab completion needs an interactive terminal — the lowered interface reads piped lines (terminal: false)");
-        }
-        else {
-            fenceOrDropOptionKey(lowerer, p, member, "createInterface", READLINE_DOCUMENTED_OPTIONS, "input, output, terminal: false, and crlfDelay: Infinity are the supported options");
-            // An undocumented key, dropped like Node drops it.
+        if (!sawInput) {
+            lowerer.noLowering("createInterface without an input stream", optsNode, "pass { input: process.stdin, output: process.stdout }");
         }
     }
-    if (!sawInput) {
-        lowerer.noLowering("createInterface without an input stream", optsNode, "pass { input: process.stdin, output: process.stdout }");
-    }
-    return { kind: "libCall", fn: "rl.create", args: [], type: F64, loc };
+    const mode = (input !== null ? 1 : 0) |
+        (typeof output === "object" ? 2 : 0) |
+        (output === "stdout" ? 4 : 0) |
+        (signal !== null ? 8 : 0) |
+        (prompt !== null ? 16 : 0);
+    const args = [numLit(mode, loc)];
+    if (input !== null)
+        args.push(input);
+    if (typeof output === "object")
+        args.push(output);
+    args.push(crlf);
+    if (prompt !== null)
+        args.push(prompt);
+    if (signal !== null)
+        args.push(signal);
+    return {
+        kind: "libCall",
+        fn: signal !== null ? "rl.createSignal" : "rl.create",
+        args,
+        type: F64,
+        loc,
+    };
 }
 //# sourceMappingURL=readline.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"readline.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/readline.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,GAAG,EAA4B,MAAM,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEnF;;;iDAGiD;AACjD,SAAS,eAAe,CAAC,OAAgB,EAAE,IAAmB;IAC5D,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,WAAW;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACpD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,EAAE,GAAwB,CAAC,CAAC,MAAM,CAAC;QACvC,OAAO,EAAE,EAAE,CAAC;YACV,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9D,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC;YACzE,CAAC;YACD,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;QACjB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;gBAOgB;AAChB,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,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,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACjD,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxF,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,mEAAmE,CACpE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,4DAA4D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CACnF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,OAAO,CAAC,UAAU,CAChB,yBAAyB,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,QAAQ,EACpF,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,oFAAoF,CACrF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,iHAAiH,CAClH,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;QACjD,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxF,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,4DAA4D,CAC7D,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtF,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,sBAAsB,IAAI,EAAE,EAC5B,IAAI,EACJ,uFAAuF,EACvF,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,oEAAoE;AACpE,oEAAoE;AACpE,kEAAkE;AAClE,0DAA0D;AAC1D,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzD,OAAO,CAAC,UAAU,CAChB,0CAA0C,EAC1C,IAAI,EACJ,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,UAAU,CAChB,yCAAyC,EACzC,CAAC,EACD,2FAA2F,CAC5F,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,MAAM,QAAQ,GAAG,CAAC,IAAmB,EAAiB,EAAE,CACtD,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3F,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,OAAO,EAAE,CAAC;gBACxC,OAAO,CAAC,UAAU,CAChB,wCAAwC,EACxC,CAAC,CAAC,WAAW,EACb,iDAAiD,CAClD,CAAC;YACJ,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;aAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACzC,OAAO,CAAC,UAAU,CAChB,0CAA0C,EAC1C,CAAC,CAAC,WAAW,EACb,mDAAmD,CACpD,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;gBAC5F,OAAO,CAAC,UAAU,CAChB,uCAAuC,EACvC,CAAC,CAAC,WAAW,EACb,4EAA4E,CAC7E,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;YAClC,6DAA6D;YAC7D,+DAA+D;YAC/D,4DAA4D;YAC5D,+DAA+D;YAC/D,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACzE,OAAO,CAAC,UAAU,CAChB,yCAAyC,EACzC,CAAC,CAAC,WAAW,EACb,sHAAsH,CACvH,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;YAClC,OAAO,CAAC,UAAU,CAChB,kCAAkC,EAClC,CAAC,EACD,0GAA0G,CAC3G,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,oBAAoB,CAClB,OAAO,EACP,CAAC,EACD,MAAM,EACN,iBAAiB,EACjB,2BAA2B,EAC3B,mFAAmF,CACpF,CAAC;YACF,mDAAmD;QACrD,CAAC;IACH,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,UAAU,CAChB,yCAAyC,EACzC,QAAQ,EACR,uDAAuD,CACxD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACxE,CAAC"}
+{"version":3,"file":"readline.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/readline.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,GAAG,EAAE,GAAG,EAA4B,MAAM,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACrF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,2BAA2B,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,iDAAiD;AACjD,SAAS,eAAe,CAAC,CAAU;IACjC,IAAI,EAAE,GAAwB,CAAC,CAAC,MAAM,CAAC;IACvC,OAAO,EAAE,EAAE,CAAC;QACV,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACnF,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAmB;IAC3C,OAAO,CACL,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,eAAe;QACxB,IAAI,KAAK,mBAAmB;QAC5B,IAAI,KAAK,wBAAwB,CAClC,CAAC;AACJ,CAAC;AAED;;;wEAGwE;AACxE,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAmB;IACnE,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,WAAW;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACpD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,OAAO,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6DAA6D;AAC7D,MAAM,SAAS,GAA2B,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAE/F;iCACiC;AACjC,SAAS,cAAc,CAAC,OAAgB,EAAE,IAAuB;IAC/D,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC;AACnD,CAAC;AAED;mEACmE;AACnE,SAAS,cAAc,CAAC,OAAgB,EAAE,IAA+B;IACvE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,UAAU,CAChB,mEAAmE,EACnE,IAAI,EACJ,uDAAuD,CACxD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,GAAyB,IAAI,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtF,MAAM,GAAG,CAAC,CAAC,WAAW,CAAC;YACvB,SAAS;QACX,CAAC;QACD,OAAO,CAAC,UAAU,CAChB,6CAA6C,EAC7C,CAAC,EACD,yCAAyC,CAC1C,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;8BAS8B;AAC9B,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,MAAmC;IAEnC,IAAI,IAAI,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,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,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5B,MAAM,QAAQ,GAAG,GAAW,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAClF,IACE,IAAI,KAAK,UAAU;QACnB,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC;QAC7B,IAAI,CAAC,MAAM,IAAI,CAAC;QAChB,IAAI,CAAC,MAAM,IAAI,CAAC,EAChB,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAW,CAAC;QACzD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACrF,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,wBAAwB,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChG,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxF,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,CAAC,CAAE,EACR,mEAAmE,CACpE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3E,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,CAAC,CAAE,EACR,4DAA4D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CACnF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,MAAM,GAAwE;QAClF,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,WAAW;QACnB,MAAM,EAAE,WAAW;KACpB,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtF,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,gCAAgC,IAAI,mCAAmC,CACxE,CAAC;QACJ,CAAC;QACD,6DAA6D;QAC7D,mEAAmE;QACnE,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,IACE,IAAI,KAAK,SAAS;YAClB,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACxC,CAAC;YACD,OAAO,CAAC,UAAU,CAChB,qDAAqD,EACrD,IAAI,EACJ,qFAAqF,CACtF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACxF,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACxF,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,aAAa,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtF,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,MAAM,EAAE,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,OAAO,CAAC,UAAU,CAChB,sBAAsB,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,QAAQ,EACzF,IAAI,CAAC,CAAC,CAAE,EACR,kFAAkF,CACnF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,EACJ,uFAAuF,CACxF,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9E,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,MAAM,OAAO,GACX,KAAK,KAAK,SAAS;YACnB,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;YACvC,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC9C,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC;QAC/E,IACE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YACvB,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;YAC3B,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,CAAC,OAAO,EACR,CAAC;YACD,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,IAAI,CAAC,CAAC,CAAE,EACR,IAAI,KAAK,QAAQ;gBACf,CAAC,CAAC,qDAAqD;gBACvD,CAAC,CAAC,IAAI,KAAK,OAAO;oBAChB,CAAC,CAAC,mDAAmD;oBACrD,CAAC,CAAC,IAAI,KAAK,wDAAwD,CACxE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO;YACX,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,CAChB,sBAAsB,IAAI,EAAE,EAC5B,IAAI,EACJ,oLAAoL,EACpL,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,SAAS,UAAU,CAAC,OAAgB,EAAE,IAAmB;IACvD,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,OAAO,EACvD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,CAAC,UAAU,CAChB,iCAAiC,EACjC,IAAI,EACJ,6DAA6D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,sEAAsE;AACtE,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAmB;IACxD,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,QAAQ,EACxD,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC;IACtE,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1F,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,CAAC,UAAU,CAChB,kCAAkC,EAClC,IAAI,EACJ,+DAA+D,CAChE,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;6CAO6C;AAC7C,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,MAAM,GAA+B,MAAM,CAAC;IAChD,IAAI,IAAI,GAAW,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClC,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,UAAU,CAChB,mCAAmC,EACnC,IAAI,EACJ,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,CAChB,uDAAuD,EACvD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,yGAAyG,CAC1G,CAAC;QACJ,CAAC;QACD,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;SAAM,CAAC;QACN,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,UAAU,CAChB,6CAA6C,EAC7C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,EAClB,6CAA6C,CAC9C,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACpC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5D,OAAO,CAAC,UAAU,CAChB,yCAAyC,EACzC,CAAC,EACD,2FAA2F,CAC5F,CAAC;YACJ,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3B,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;gBACvB,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;gBAC3C,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;iBAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;YAC/C,CAAC;iBAAM,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBACxC,IACE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC;oBACxC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,OAAO,EAC3C,CAAC;oBACD,OAAO,CAAC,UAAU,CAChB,uCAAuC,EACvC,CAAC,CAAC,WAAW,EACb,4EAA4E,CAC7E,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;gBAClC,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACxD,CAAC;iBAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YAC7D,CAAC;iBAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YAC1D,CAAC;iBAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;gBAClC,OAAO,CAAC,UAAU,CAChB,kCAAkC,EAClC,CAAC,EACD,0GAA0G,CAC3G,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,oBAAoB,CAClB,OAAO,EACP,CAAC,EACD,MAAM,EACN,iBAAiB,EACjB,2BAA2B,EAC3B,wFAAwF,CACzF,CAAC;gBACF,mDAAmD;YACrD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,UAAU,CAChB,yCAAyC,EACzC,QAAQ,EACR,uDAAuD,CACxD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GACR,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAa,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,IAAI,MAAM,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW;QACrD,IAAI;QACJ,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}

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

@@ -1,6 +1,9 @@
 import * as ts from "../../ts7/adapter.js";
 import { type Lowerer } from "../lowerer.js";
 import { type IrExpr, type SrcLoc } from "../../../ir/ir.js";
+/** A timers/promises setInterval call, the head a `for await` loop
+ * consumes as an async generator. */
+export declare function isTimersPromisesIntervalCall(lowerer: Lowerer, node: ts.Expression): node is ts.CallExpression;
 /** 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

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

@@ -2,7 +2,39 @@ 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";
+import { BOOL, F64, UNDEFINED_T, VOID, isUnitType, } from "../../../ir/ir.js";
+import { genResultRecord } from "../../type-mapper.js";
+import { builtinImportOf } from "./module-bindings.js";
+/** The async generator type of a timers/promises setInterval call. The
+ * fallback declarations type it AsyncGenerator<T>; @types/node types it
+ * NodeJS.AsyncIterator<T>, which maps to no IR type, so the yielded type
+ * comes from its type argument. */
+function timersPromisesIntervalType(lowerer, expr) {
+    const callType = lowerer.typeOf(expr);
+    const mapped = lowerer.mapTypeOf(callType);
+    if (mapped?.kind === "generator" && mapped.async)
+        return mapped;
+    const arg = lowerer.checker.getTypeArguments(callType)[0];
+    const yieldT = arg ? lowerer.mapTypeOf(arg) : null;
+    if (!yieldT || yieldT.kind === "void" || isUnitType(yieldT))
+        return null;
+    if (!genResultRecord(yieldT, VOID, lowerer.shapes, lowerer.unions))
+        return null;
+    return { kind: "generator", async: true, yieldT, retT: VOID, nextT: UNDEFINED_T };
+}
+/** A timers/promises setInterval call, the head a `for await` loop
+ * consumes as an async generator. */
+export function isTimersPromisesIntervalCall(lowerer, node) {
+    if (!ts.isCallExpression(node) || node.questionDotToken)
+        return false;
+    const callee = node.expression;
+    const bi = ts.isIdentifier(callee)
+        ? builtinImportOf(lowerer, callee)
+        : ts.isPropertyAccessExpression(callee) && !callee.questionDotToken
+            ? lowerer.builtinMemberOf(callee)
+            : null;
+    return bi?.module === "timers/promises" && bi.member === "setInterval";
+}
 /** 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
@@ -24,11 +56,9 @@ export function lowerTimersPromisesSetInterval(lowerer, expr, bi, loc) {
         ? { 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) {
+    const genT = timersPromisesIntervalType(lowerer, expr);
+    if (genT === null)
         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 };
@@ -151,30 +181,86 @@ export function lowerTimeoutMethodCall(lowerer, call, access) {
         ? "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.
+// node:timers/promises — setTimeout([delay[, value[, options]]]) and
+// setImmediate([value[, options]]): promises the shared timer heap and the
+// immediate queue settle. The omitted delay completes to Node's 1ms floor
+// (scr_timer_coerce_ms clamps anyway; the literal keeps the emitted call
+// self-describing). A resolve value travels as an already-resolved promise
+// of its own type, whose settlement the result copies when it fires. The
+// options object takes `ref`; `signal` fences — 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]
+    if (bi.member !== "setTimeout" && bi.member !== "setImmediate")
+        return null;
+    const timeout = bi.member === "setTimeout";
+    const [valueNode, optionsNode] = timeout ? expr.arguments.slice(1) : expr.arguments;
+    const ms = !timeout
+        ? null
+        : 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 (valueNode === undefined) {
+        return timeout
+            ? { kind: "libCall", fn: "tp.setTimeout", args: [ms], type: promiseVoid, loc }
+            : { kind: "libCall", fn: "tp.setImmediate", args: [], 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");
+    const resultT = lowerer.mapTypeOf(lowerer.typeOf(expr));
+    const inner = resultT?.kind === "promise" ? resultT.inner : null;
+    if (inner === null) {
+        lowerer.noLowering(`timers/promises ${bi.member} with a resolve value of this type`, valueNode, "the resolve value's type must be representable");
+        return null;
+    }
+    // An undefined resolve value settles the void promise; awaiting it
+    // yields undefined either way.
+    const voidValue = inner.kind === "void" || isUnitType(inner);
+    const value = voidValue
+        ? {
+            kind: "seqExpr",
+            stmts: [lowerer.lowerExprStatement(valueNode)],
+            result: { kind: "intrinsic", name: "promise.resolve", args: [], type: promiseVoid, loc },
+            type: promiseVoid,
+            loc,
+        }
+        : {
+            kind: "intrinsic",
+            name: "promise.resolve",
+            args: [lowerer.lowerExprExpecting(valueNode, inner)],
+            type: resultT,
+            loc,
+        };
+    const ref = timersPromisesRef(lowerer, bi.member, optionsNode, loc);
+    return {
+        kind: "libCall",
+        fn: timeout ? "tp.setTimeoutValue" : "tp.setImmediateValue",
+        args: timeout ? [ms, value, ref] : [value, ref],
+        type: voidValue ? promiseVoid : resultT,
+        loc,
+    };
+}
+/** The `ref` option of a timers/promises options object literal (true when
+ * absent). `signal` and options that are not an object literal fence. */
+function timersPromisesRef(lowerer, member, optionsNode, loc) {
+    const absent = { kind: "boolLit", value: true, type: BOOL, loc };
+    if (optionsNode === undefined)
+        return absent;
+    if (!ts.isObjectLiteralExpression(optionsNode)) {
+        lowerer.noLowering(`timers/promises ${member} options that are not an object literal`, optionsNode, "pass the options as an object literal: { ref }");
+        return absent;
+    }
+    let ref = absent;
+    for (const prop of optionsNode.properties) {
+        const name = prop.name && ts.isIdentifier(prop.name) ? prop.name.text : null;
+        if (name === "signal") {
+            lowerer.noLowering(`timers/promises ${member} with an AbortSignal`, prop, "a promise that ignored its cancellation signal would keep the process alive where Node exits");
+        }
+        else if (name === "ref" && ts.isPropertyAssignment(prop)) {
+            ref = lowerer.lowerExprExpecting(prop.initializer, BOOL);
+        }
+        else {
+            lowerer.noLowering(`timers/promises ${member} options other than ref`, prop, "the lowered options object takes ref: boolean");
         }
-        return { kind: "libCall", fn: "tp.setImmediate", args: [], type: promiseVoid, loc };
     }
-    return null;
+    return ref;
 }
 //# sourceMappingURL=timers.js.map