@scriptc/compiler 0.3.0 → 0.3.1

package/dist/frontend/lowering/lower-console.d.ts

@@ -0,0 +1,14 @@
+import * as ts from "../ts7/adapter.js";
+import { type IrExpr, type SrcLoc } from "../../ir/ir.js";
+import { type Lowerer } from "./lowerer.js";
+/** `new Console(stdout[, stderr][, ignoreErrors])` and `new
+ * Console({ stdout, stderr, ignoreErrors })`. Arguments and option
+ * initializers evaluate in source order into hidden locals before the
+ * handle exists (Node evaluates them before the constructor body); an
+ * absent stderr shares stdout's target. */
+export declare function lowerConsoleNew(lowerer: Lowerer, expr: ts.NewExpression): IrExpr | null;
+/** `c.log(...)` and the other output members on a stdlib-Console-typed
+ * receiver that is not the global console itself (that path keeps its
+ * direct console lowering): the receiver evaluates first, then the
+ * util.format rendering of the arguments, then one native write. */
+export declare function lowerConsoleInstanceCall(lowerer: Lowerer, call: ts.CallExpression, loc: SrcLoc): IrExpr | null;

package/dist/frontend/lowering/lower-console.js

@@ -0,0 +1,195 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN, VOID, } from "../../ir/ir.js";
+import { boolLit, numLit, varRef } from "../../ir/build.js";
+import { locOf } from "../program.js";
+import {} from "./lowerer.js";
+import { lowerFormatCall } from "./lower-inspect.js";
+import { streamSidesOf } from "./lower-stream.js";
+/** node:console Console instances: a native handle (the checked-dynamic
+ * representation the stdlib Console type maps to) over two output
+ * targets — process.stdout/process.stderr, or writable streams — plus
+ * the ignoreErrors flag. The log/info/debug (stdout) and error/warn
+ * (stderr) members lower through util.format into ONE write of the
+ * formatted line, exactly Node's kWriteToConsole; the remaining Console
+ * surface stays fenced like the global console's. */
+const OUTPUT_MEMBERS = new Map([
+    ["log", false],
+    ["info", false],
+    ["debug", false],
+    ["error", true],
+    ["warn", true],
+]);
+const OPTION_KEYS = new Set(["stdout", "stderr", "ignoreErrors"]);
+function isConsoleCtor(lowerer, callee) {
+    if (ts.isIdentifier(callee)) {
+        const bi = lowerer.builtinImportOf(callee);
+        return bi?.module === "console" && bi.member === "Console";
+    }
+    if (!ts.isPropertyAccessExpression(callee) || callee.name.text !== "Console")
+        return false;
+    return (lowerer.isStdlibGlobal(callee.expression, "console") ||
+        lowerer.builtinNamespaceModuleOf(callee.expression) === "console");
+}
+function isUndefinedArg(node) {
+    return (node === undefined ||
+        (ts.isIdentifier(node) && node.text === "undefined") ||
+        ts.isVoidExpression(node));
+}
+/** `new Console(stdout[, stderr][, ignoreErrors])` and `new
+ * Console({ stdout, stderr, ignoreErrors })`. Arguments and option
+ * initializers evaluate in source order into hidden locals before the
+ * handle exists (Node evaluates them before the constructor body); an
+ * absent stderr shares stdout's target. */
+export function lowerConsoleNew(lowerer, expr) {
+    if (!isConsoleCtor(lowerer, expr.expression))
+        return null;
+    const loc = locOf(expr);
+    const args = expr.arguments ?? [];
+    const entries = [];
+    const first = args[0];
+    if (first && ts.isObjectLiteralExpression(first)) {
+        for (const prop of first.properties) {
+            let name = null;
+            let value = null;
+            if (ts.isPropertyAssignment(prop) &&
+                (ts.isIdentifier(prop.name) || ts.isStringLiteral(prop.name))) {
+                name = prop.name.text;
+                value = prop.initializer;
+            }
+            else if (ts.isShorthandPropertyAssignment(prop)) {
+                name = prop.name.text;
+                value = prop.name;
+            }
+            if (name === null || value === null || !OPTION_KEYS.has(name)) {
+                lowerer.noLowering("Console options other than stdout, stderr, and ignoreErrors", prop, "colorMode, inspectOptions, and groupIndentation have no lowering yet");
+            }
+            entries.push({ role: name, node: value });
+        }
+    }
+    else {
+        entries.push({ role: "stdout", node: args[0] });
+        entries.push({ role: "stderr", node: args[1] });
+        entries.push({ role: "ignoreErrors", node: args[2] });
+    }
+    const stmts = [];
+    const target = (node, role) => {
+        if (ts.isPropertyAccessExpression(node)) {
+            const member = lowerer.stdlibGlobalMember(node, "process");
+            if (member === "stdout")
+                return { fd: 1 };
+            if (member === "stderr")
+                return { fd: 2 };
+        }
+        const value = lowerer.lowerExpr(node);
+        const info = value.type.kind === "object" ? lowerer.classes.get(value.type.className) : undefined;
+        const sides = streamSidesOf(lowerer, info);
+        if (sides !== "w" && sides !== "rw") {
+            lowerer.noLowering(`a Console ${role} of type '${lowerer.fmt(value.type)}'`, node, "process.stdout, process.stderr, and node:stream writables (Writable, Duplex, Transform, PassThrough, and their subclasses) are the supported Console streams");
+        }
+        const local = lowerer.declareHiddenLocal(`%console${role}`, value.type);
+        stmts.push({ kind: "varDecl", localId: local.id, init: value, loc });
+        return { local: local.id, type: value.type };
+    };
+    let out = null;
+    let err = null;
+    let ignore = null;
+    for (const entry of entries) {
+        const node = entry.node;
+        if (isUndefinedArg(node)) {
+            // `void expr` still evaluates its operand.
+            if (node !== undefined && ts.isVoidExpression(node)) {
+                stmts.push({ kind: "exprStmt", expr: lowerer.lowerExpr(node), loc });
+            }
+            if (entry.role === "stdout")
+                out = null;
+            else if (entry.role === "stderr")
+                err = null;
+            else
+                ignore = null;
+            continue;
+        }
+        if (entry.role === "stdout") {
+            out = target(node, "stdout");
+        }
+        else if (entry.role === "stderr") {
+            err = target(node, "stderr");
+        }
+        else {
+            const value = lowerer.lowerExpr(node);
+            if (value.type.kind !== "bool") {
+                lowerer.noLowering(`ignoreErrors of type '${lowerer.fmt(value.type)}'`, node, "pass a boolean");
+            }
+            const local = lowerer.declareHiddenLocal("%consoleIgnoreErrors", BOOL);
+            stmts.push({ kind: "varDecl", localId: local.id, init: value, loc });
+            ignore = varRef(local.id, BOOL, loc);
+        }
+    }
+    if (out === null) {
+        return lowerer.noLowering("new Console without a stdout stream", expr, "pass the stdout stream");
+    }
+    const stdoutTarget = out;
+    const stderrTarget = err ?? stdoutTarget;
+    const handle = lowerer.declareHiddenLocal("%console", DYN);
+    const fdOf = (t) => numLit("fd" in t ? t.fd : 0, loc);
+    stmts.push({
+        kind: "varDecl",
+        localId: handle.id,
+        init: {
+            kind: "libCall",
+            fn: "console.new",
+            args: [fdOf(stdoutTarget), fdOf(stderrTarget), ignore ?? boolLit(true, loc)],
+            type: DYN,
+            loc,
+        },
+        loc,
+    });
+    const targets = [stdoutTarget, stderrTarget];
+    for (let which = 0; which < targets.length; which++) {
+        const t = targets[which];
+        if (!("local" in t))
+            continue;
+        stmts.push({
+            kind: "exprStmt",
+            expr: {
+                kind: "libCall",
+                fn: "console.bind",
+                args: [varRef(handle.id, DYN, loc), numLit(which, loc), varRef(t.local, t.type, loc)],
+                type: VOID,
+                loc,
+            },
+            loc,
+        });
+    }
+    return { kind: "seqExpr", stmts, result: varRef(handle.id, DYN, loc), type: DYN, loc };
+}
+/** `c.log(...)` and the other output members on a stdlib-Console-typed
+ * receiver that is not the global console itself (that path keeps its
+ * direct console lowering): the receiver evaluates first, then the
+ * util.format rendering of the arguments, then one native write. */
+export function lowerConsoleInstanceCall(lowerer, call, loc) {
+    if (call.questionDotToken || !ts.isPropertyAccessExpression(call.expression))
+        return null;
+    const access = call.expression;
+    if (access.questionDotToken)
+        return null;
+    const recvType = lowerer.typeOf(access.expression);
+    const sym = recvType.getAliasSymbol() ?? recvType.getSymbol();
+    if (!sym || sym.name !== "Console" || !lowerer.isStdlibSymbol(sym))
+        return null;
+    const toStderr = OUTPUT_MEMBERS.get(access.name.text);
+    if (toStderr === undefined) {
+        lowerer.noLowering(`Console.${access.name.text}`, call, "log, info, debug, error, and warn are the lowered Console members");
+    }
+    const receiver = lowerer.lowerExpr(access.expression);
+    if (receiver.type.kind !== "dyn")
+        return null;
+    const formatted = lowerFormatCall(lowerer, call, loc, false);
+    return {
+        kind: "libCall",
+        fn: "console.write",
+        args: [receiver, formatted, boolLit(toStderr, loc)],
+        type: VOID,
+        loc,
+    };
+}
+//# sourceMappingURL=lower-console.js.map

package/dist/frontend/lowering/lower-console.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower-console.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-console.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EACL,IAAI,EACJ,GAAG,EAKH,IAAI,GACL,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAgB,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAElD;;;;;;qDAMqD;AAErD,MAAM,cAAc,GAAiC,IAAI,GAAG,CAAC;IAC3D,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,MAAM,EAAE,KAAK,CAAC;IACf,CAAC,OAAO,EAAE,KAAK,CAAC;IAChB,CAAC,OAAO,EAAE,IAAI,CAAC;IACf,CAAC,MAAM,EAAE,IAAI,CAAC;CACf,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC;AAElE,SAAS,aAAa,CAAC,OAAgB,EAAE,MAAqB;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,EAAE,EAAE,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC3F,OAAO,CACL,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC;QACpD,OAAO,CAAC,wBAAwB,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,SAAS,CAClE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAA+B;IACrD,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;QACpD,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAC1B,CAAC;AACJ,CAAC;AAMD;;;;2CAI2C;AAC3C,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAsB;IACtE,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,MAAM,OAAO,GAA4D,EAAE,CAAC;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,KAAK,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACpC,IAAI,IAAI,GAAkB,IAAI,CAAC;YAC/B,IAAI,KAAK,GAAyB,IAAI,CAAC;YACvC,IACE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;gBAC7B,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAC7D,CAAC;gBACD,IAAI,GAAI,IAAI,CAAC,IAAyC,CAAC,IAAI,CAAC;gBAC5D,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC;YAC3B,CAAC;iBAAM,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClD,IAAI,GAAI,IAAI,CAAC,IAAsB,CAAC,IAAI,CAAC;gBACzC,KAAK,GAAG,IAAI,CAAC,IAAqB,CAAC;YACrC,CAAC;YACD,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9D,OAAO,CAAC,UAAU,CAChB,6DAA6D,EAC7D,IAAI,EACJ,sEAAsE,CACvE,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAkB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,IAAmB,EAAE,IAAY,EAAU,EAAE;QAC3D,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAC3D,IAAI,MAAM,KAAK,QAAQ;gBAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;YAC1C,IAAI,MAAM,KAAK,QAAQ;gBAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,IAAI,GACR,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACpC,OAAO,CAAC,UAAU,CAChB,aAAa,IAAI,aAAa,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EACxD,IAAI,EACJ,8JAA8J,CAC/J,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,WAAW,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACxE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACrE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAC/C,CAAC,CAAC;IACF,IAAI,GAAG,GAAkB,IAAI,CAAC;IAC9B,IAAI,GAAG,GAAkB,IAAI,CAAC;IAC9B,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,2CAA2C;YAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACvE,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,GAAG,GAAG,IAAI,CAAC;iBACnC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,GAAG,GAAG,IAAI,CAAC;;gBACxC,MAAM,GAAG,IAAI,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,GAAG,GAAG,MAAM,CAAC,IAAK,EAAE,QAAQ,CAAC,CAAC;QAChC,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnC,GAAG,GAAG,MAAM,CAAC,IAAK,EAAE,QAAQ,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAK,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC/B,OAAO,CAAC,UAAU,CAChB,yBAAyB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EACnD,IAAK,EACL,gBAAgB,CACjB,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,IAAI,CAAC,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACrE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,OAAO,OAAO,CAAC,UAAU,CACvB,qCAAqC,EACrC,IAAI,EACJ,wBAAwB,CACzB,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAW,GAAG,CAAC;IACjC,MAAM,YAAY,GAAW,GAAG,IAAI,YAAY,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC;QACT,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,MAAM,CAAC,EAAE;QAClB,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC5E,IAAI,EAAE,GAAG;YACT,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAa,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IACvD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;YAAE,SAAS;QAC9B,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,cAAc;gBAClB,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACrF,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACzF,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAuB,EACvB,GAAW;IAEX,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;IAC/B,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,QAAQ,CAAC,cAAc,EAAE,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;IAC9D,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,UAAU,CAChB,WAAW,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAC7B,IAAI,EACJ,mEAAmE,CACpE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7D,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACnD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/lower-exprs.js

@@ -31,7 +31,7 @@ import { ARRAY_METHODS, builtinConstLit, builtinFenceHintOf, builtinModuleConstO
 import { UNSUPPORTED, blockedBindingUseDiag, unsupportedPackageValueDiag, unsupportedDiag, } from "../../diagnostics/diagnostic.js";
 import { PoisonError, dynFallbackType, jsFuncNameOf, neverTaintedJsType, own } from "./lowerer.js";
 import { lowerCollectionSpread } from "./containers/collection-methods.js";
-import { arrayValueRead, arrayValueStore, arrayValueType, lowerSafeIndexRead, tryLowerIndexTruthiness, tryLowerNumericIndexRead, lowerSafeBytesRead, } from "./array-values.js";
+import { arrayNumberRead, arrayValueRead, arrayValueStore, arrayValueType, lowerSafeIndexRead, tryLowerIndexTruthiness, tryLowerNumericIndexRead, tryLowerBytesReadNumberEquality, lowerSafeBytesRead, } from "./array-values.js";
 import { strCharsCall } from "./containers/array-construction.js";
 import { lowerOptionalStringIndex } from "./string-index.js";
 import { tryLowerIndexedComparison } from "./indexed-comparison.js";
@@ -2772,6 +2772,9 @@ export function maybeNarrow(lowerer, expr, node) {
         if (symbol && lowerer.unstableSwitchBindings.has(symbol))
             return expr;
     }
+    if (ts.isPropertyAccessExpression(node) &&
+        getterResultHoldsUndeclaredUndefined(lowerer, node, expr))
+        return expr;
     const narrowedTs = lowerer.typeOf(node);
     const narrowed = lowerer.mapTypeOf(narrowedTs);
     // `Array.isArray(u)` on a union with one readonly array/tuple arm: the
@@ -2880,6 +2883,27 @@ export function maybeNarrow(lowerer, expr, node) {
         loc: expr.loc,
     };
 }
+/** A getter read whose runtime result can be undefined (an unchecked
+ * element read in its body, or in another member of its override family)
+ * although its declared type cannot. The checker's type for the read is
+ * then no narrowing proof, so the read keeps the getter's result. */
+function getterResultHoldsUndeclaredUndefined(lowerer, node, expr) {
+    if (expr.type.kind !== "union" || lowerer.armTag(expr.type.unionId, UNDEFINED_T) < 0)
+        return false;
+    const getter = (expr.kind === "virtualCall" && expr.method.startsWith("get:")) ||
+        (expr.kind === "call" && expr.callee.includes(".get:"));
+    if (!getter)
+        return false;
+    const symbol = lowerer.checker.getSymbolAtLocation(node.name);
+    if (!symbol || (symbol.flags & ts.SymbolFlags.GetAccessor) === 0)
+        return false;
+    const declared = lowerer.checker.getTypeOfSymbol(symbol);
+    const holdsUndefined = (type) => (type.flags &
+        (ts.TypeFlags.Undefined | ts.TypeFlags.Void | ts.TypeFlags.Any | ts.TypeFlags.Unknown)) !==
+        0;
+    return !(holdsUndefined(declared) ||
+        (declared.isUnionType() && ts.constituentTypes(declared).some(holdsUndefined)));
+}
 /** The checked form of maybeNarrow's arm extraction for a narrowing the
  * checker may hold past code that replaced the value (a call clearing the
  * property; see NarrowingStability). Every other arm throws the TypeError
@@ -6330,7 +6354,13 @@ export function lowerElementCompound(lowerer, expr, op) {
     const receiverRef = () => varRef(receiverLocal.id, receiver.type, loc);
     const indexRef = () => varRef(indexLocal.id, F64, loc);
     const oldValue = receiver.type.kind === "array"
-        ? arrayValueRead(lowerer, receiverRef(), indexRef(), receiver.type.elem, locOf(target))
+        ? receiver.type.elem.kind === "f64"
+            ? // Every numeric operator applies ToNumber to the old value, so a
+                // missing element is NaN without materializing `number | undefined`.
+                arrayNumberRead(receiverRef(), indexRef(), locOf(target))
+            : receiver.type.elem.kind === "string" && op === "+"
+                ? arrayStringOperand(receiverRef(), indexRef(), locOf(target))
+                : arrayValueRead(lowerer, receiverRef(), indexRef(), receiver.type.elem, locOf(target))
         : {
             // An invalid index reads undefined in Node, which every numeric
             // compound operator turns into NaN; the write is then ignored.
@@ -6407,6 +6437,25 @@ export function lowerElementCompound(lowerer, expr, op) {
         loc,
     };
 }
+/** ToString of one stabilized `string[]` element read for `+=`: a missing
+ * element concatenates as "undefined". */
+function arrayStringOperand(arr, index, loc) {
+    return {
+        kind: "ternary",
+        cond: {
+            kind: "bin",
+            op: "===",
+            left: { kind: "arrayState", arr, index, type: F64, loc },
+            right: { kind: "numLit", value: 1, type: F64, loc },
+            type: BOOL,
+            loc,
+        },
+        then: { kind: "arrayGet", arr, index, type: STRING, loc },
+        else_: strLit("undefined", loc),
+        type: STRING,
+        loc,
+    };
+}
 /** Checked member assignment evaluates the reference before its RHS and
  * yields the original assigned value, including in a chained assignment. */
 function lowerDynMemberAssignment(lowerer, expr, recv) {
@@ -7443,6 +7492,13 @@ export function lowerIncDec(lowerer, expr, prefix) {
             return varRef(local.id, value.type, loc);
         };
         const finish = (read, write) => {
+            if (read.type.kind === "bigint") {
+                const old = save(read, "%incrementOld");
+                const next = save(bigintStep(op, old, loc), "%incrementNext");
+                stmts.push(write(next));
+                const result = prefix ? next : old;
+                return { kind: "seqExpr", stmts, result, type: result.type, loc };
+            }
             const old = save(read.type.kind === "f64"
                 ? read
                 : {
@@ -7486,7 +7542,9 @@ export function lowerIncDec(lowerer, expr, prefix) {
                 lowerer.unsupported("SC1090", access, "incrementing non-number array keys");
             const type = raw.type;
             const read = type.kind === "array"
-                ? arrayValueRead(lowerer, receiver, index, type.elem, loc)
+                ? type.elem.kind === "f64"
+                    ? arrayNumberRead(receiver, index, loc)
+                    : arrayValueRead(lowerer, receiver, index, type.elem, loc)
                 : {
                     kind: "bytesIntrinsic",
                     method: "get",
@@ -7633,6 +7691,26 @@ export function lowerIncDecTarget(lowerer, expr, target, prefix) {
             };
         }
     }
+    if (target.type.kind === "bigint") {
+        const old = lowerer.declareHiddenLocal("%bigintOld", BIGINT_T);
+        const next = lowerer.declareHiddenLocal("%bigintNext", BIGINT_T);
+        return {
+            kind: "seqExpr",
+            stmts: [
+                { kind: "varDecl", localId: old.id, init: varRef(target.id, BIGINT_T, loc), loc },
+                {
+                    kind: "varDecl",
+                    localId: next.id,
+                    init: bigintStep(op, varRef(old.id, BIGINT_T, loc), loc),
+                    loc,
+                },
+                { kind: "assign", localId: target.id, value: varRef(next.id, BIGINT_T, loc), loc },
+            ],
+            result: varRef(prefix ? next.id : old.id, BIGINT_T, loc),
+            type: BIGINT_T,
+            loc,
+        };
+    }
     if (target.type.kind !== "f64")
         lowerer.unsupported("SC1043", expr);
     return { kind: "incDec", op, prefix, localId: target.id, type: F64, loc };
@@ -7663,6 +7741,43 @@ function seqExprSafeStmt(s) {
             return false;
     }
 }
+const BIGINT_COMPOUND = {
+    "+": "bigint.add",
+    "-": "bigint.sub",
+    "*": "bigint.mul",
+    "/": "bigint.div",
+    "%": "bigint.mod",
+    "**": "bigint.pow",
+    "&": "bigint.and",
+    "|": "bigint.or",
+    "^": "bigint.xor",
+    "<<": "bigint.shl",
+    ">>": "bigint.shr",
+};
+/** `old op= rhs` over two bigints: the binary operator's libCall. Null
+ * for other operand types (and `>>>`, which BigInt does not have). */
+function bigintCompoundValue(op, left, right, loc) {
+    if (left.type.kind !== "bigint" || right.type.kind !== "bigint" || op === ">>>")
+        return null;
+    return { kind: "libCall", fn: BIGINT_COMPOUND[op], args: [left, right], type: BIGINT_T, loc };
+}
+/** `++`/`--` on a bigint value: old ± 1n. */
+function bigintStep(op, old, loc) {
+    const one = {
+        kind: "libCall",
+        fn: "bigint.parse",
+        args: [{ kind: "strLit", value: "1", type: STRING, loc }],
+        type: BIGINT_T,
+        loc,
+    };
+    return {
+        kind: "libCall",
+        fn: op === "+" ? "bigint.add" : "bigint.sub",
+        args: [old, one],
+        type: BIGINT_T,
+        loc,
+    };
+}
 export function lowerCompoundValueToTarget(lowerer, expr, compound, target) {
     const loc = locOf(expr);
     const read = {
@@ -7706,6 +7821,9 @@ export function lowerCompoundValueToTarget(lowerer, expr, compound, target) {
         };
         return lowerer.coerceInto(expr, computed, target.type);
     }
+    const bigint = bigintCompoundValue(compound, read, rhs, loc);
+    if (bigint)
+        return bigint;
     lowerer.unsupported("SC1043", expr);
 }
 /** Equality of two NaN-coded values (nan-coded-reads.ts), each of which may
@@ -8075,6 +8193,16 @@ export function lowerBinary(lowerer, expr) {
             left = storedLeft;
         if (storedRight !== null && left.type.kind !== "union")
             right = storedRight;
+        // A typed-array read compared with a plain number needs no
+        // `number | undefined` box.
+        const fusedLeft = tryLowerBytesReadNumberEquality(lowerer, left, right, expr.right);
+        if (fusedLeft)
+            left = fusedLeft;
+        else {
+            const fusedRight = tryLowerBytesReadNumberEquality(lowerer, right, left, expr.left);
+            if (fusedRight)
+                right = fusedRight;
+        }
     }
     if (strictEquality && (left.type.kind === "caught" || right.type.kind === "caught")) {
         if (left.type.kind === "caught")
@@ -12866,6 +12994,7 @@ function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
         : lowerOptionalNumber(lowerer, rhs, loc);
     let value;
     const numericRead = lowerOptionalNumber(lowerer, read, loc, access);
+    const bigintValue = rhsNode ? bigintCompoundValue(op, read, rhs, loc) : null;
     if (op === "+" && read.type.kind === "string") {
         value = {
             kind: "strConcat",
@@ -12878,6 +13007,9 @@ function lowerFieldCompoundValue(lowerer, access, op, rhsNode, loc) {
     else if (numericRead.type.kind === "f64" && numericRhs.type.kind === "f64") {
         value = { kind: "bin", op, left: numericRead, right: numericRhs, type: F64, loc };
     }
+    else if (bigintValue) {
+        value = bigintValue;
+    }
     else if (target.fieldType.kind === "dyn" && isJsSourceFile(access.getSourceFile())) {
         const numeric = ["-", "*", "/", "%", "**"].includes(op);
         const left = lowerer.coerceToExpected(read, DYN);