@scriptc/compiler 0.4.1 → 0.4.3

package/dist/frontend/lowering/site-dependencies.d.ts

@@ -0,0 +1,35 @@
+/** The facts each site of a fixed-point scan read on its last visit, so that
+ * a pass visits again only the sites whose facts changed since.
+ *
+ * Sites are numbered from 0. A fact is any value usable as a Map key: a
+ * symbol, a syntax node, or a string that names a derived fact. A visit
+ * reports what it reads (`read`). When a visit changes a fact, every site
+ * that read one of the facts this visit read is visited again: the facts a
+ * visit changes belong to what it read. Facts changed outside a visit, or
+ * not read before they change, are reported with `changed`.
+ *
+ * A site that is not visited again would compute what its last visit
+ * computed, as long as every fact it reads is reported. The scan confirms
+ * that with a pass over every site once a pass changes nothing, and resumes
+ * when that pass changes a fact: a fact this tracking misses costs passes,
+ * not a different result. */
+export declare class SiteDependencies {
+    /** Each fact's entry: the visit that last read it, so that a visit lists a
+     * fact once, followed by the sites that read it, ascending. */
+    private readonly readers;
+    private readonly stale;
+    private site;
+    private visit;
+    private facts;
+    constructor(siteCount: number);
+    /** A fact that site `index` read changed since its last visit. */
+    isStale(index: number): boolean;
+    /** Starts a visit of site `index`. */
+    begin(index: number): void;
+    /** Ends the visit; `changed` when it changed a fact. */
+    end(changed: boolean): void;
+    /** The site being visited read `fact`. */
+    read(fact: unknown): void;
+    /** `fact` changed: every site that read it is visited again. */
+    changed(fact: unknown): void;
+}

package/dist/frontend/lowering/site-dependencies.js

@@ -0,0 +1,84 @@
+/** The facts each site of a fixed-point scan read on its last visit, so that
+ * a pass visits again only the sites whose facts changed since.
+ *
+ * Sites are numbered from 0. A fact is any value usable as a Map key: a
+ * symbol, a syntax node, or a string that names a derived fact. A visit
+ * reports what it reads (`read`). When a visit changes a fact, every site
+ * that read one of the facts this visit read is visited again: the facts a
+ * visit changes belong to what it read. Facts changed outside a visit, or
+ * not read before they change, are reported with `changed`.
+ *
+ * A site that is not visited again would compute what its last visit
+ * computed, as long as every fact it reads is reported. The scan confirms
+ * that with a pass over every site once a pass changes nothing, and resumes
+ * when that pass changes a fact: a fact this tracking misses costs passes,
+ * not a different result. */
+export class SiteDependencies {
+    /** Each fact's entry: the visit that last read it, so that a visit lists a
+     * fact once, followed by the sites that read it, ascending. */
+    readers = new Map();
+    stale;
+    site = -1;
+    visit = 0;
+    facts = [];
+    constructor(siteCount) {
+        this.stale = new Uint8Array(siteCount);
+    }
+    /** A fact that site `index` read changed since its last visit. */
+    isStale(index) {
+        return this.stale[index] === 1;
+    }
+    /** Starts a visit of site `index`. */
+    begin(index) {
+        this.site = index;
+        this.visit++;
+        this.stale[index] = 0;
+        this.facts = [];
+    }
+    /** Ends the visit; `changed` when it changed a fact. */
+    end(changed) {
+        this.site = -1;
+        if (changed)
+            for (const fact of this.facts)
+                this.changed(fact);
+    }
+    /** The site being visited read `fact`. */
+    read(fact) {
+        if (this.site < 0)
+            return;
+        const entry = this.readers.get(fact);
+        if (entry === undefined) {
+            this.readers.set(fact, [this.visit, this.site]);
+            this.facts.push(fact);
+            return;
+        }
+        if (entry[0] === this.visit)
+            return;
+        entry[0] = this.visit;
+        this.facts.push(fact);
+        // A pass visits sites in ascending order, so a site is new at the end;
+        // a site visited again is usually listed already.
+        const site = this.site;
+        let low = 1;
+        let high = entry.length;
+        if (entry[high - 1] < site)
+            low = high;
+        while (low < high) {
+            const middle = (low + high) >>> 1;
+            if (entry[middle] < site)
+                low = middle + 1;
+            else
+                high = middle;
+        }
+        if (entry[low] !== site)
+            entry.splice(low, 0, site);
+    }
+    /** `fact` changed: every site that read it is visited again. */
+    changed(fact) {
+        const entry = this.readers.get(fact);
+        if (entry !== undefined)
+            for (let i = 1; i < entry.length; i++)
+                this.stale[entry[i]] = 1;
+    }
+}
+//# sourceMappingURL=site-dependencies.js.map

package/dist/frontend/lowering/site-dependencies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"site-dependencies.js","sourceRoot":"","sources":["../../../src/frontend/lowering/site-dependencies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;6BAc6B;AAC7B,MAAM,OAAO,gBAAgB;IAC3B;mEAC+D;IAC9C,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IACvC,KAAK,CAAa;IAC3B,IAAI,GAAG,CAAC,CAAC,CAAC;IACV,KAAK,GAAG,CAAC,CAAC;IACV,KAAK,GAAc,EAAE,CAAC;IAE9B,YAAY,SAAiB;QAC3B,IAAI,CAAC,KAAK,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED,kEAAkE;IAClE,OAAO,CAAC,KAAa;QACnB,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,sCAAsC;IACtC,KAAK,CAAC,KAAa;QACjB,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC;QAClB,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,wDAAwD;IACxD,GAAG,CAAC,OAAgB;QAClB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACf,IAAI,OAAO;YAAE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;IAED,0CAA0C;IAC1C,IAAI,CAAC,IAAa;QAChB,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAChD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK;YAAE,OAAO;QACpC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,uEAAuE;QACvE,kDAAkD;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;QACxB,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,CAAE,GAAG,IAAI;YAAE,GAAG,GAAG,IAAI,CAAC;QACxC,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,KAAK,CAAC,MAAM,CAAE,GAAG,IAAI;gBAAE,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;;gBACvC,IAAI,GAAG,MAAM,CAAC;QACrB,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI;YAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC;IAED,gEAAgE;IAChE,OAAO,CAAC,IAAa;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;gBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC;IAC5F,CAAC;CACF"}

package/dist/frontend/lowering/site-dependencies.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/lowering/site-dependencies.test.js

@@ -0,0 +1,53 @@
+import { expect, test } from "vitest";
+import { SiteDependencies } from "./site-dependencies.js";
+test("a changed fact makes the sites that read it stale", () => {
+    const dependencies = new SiteDependencies(3);
+    const a = {};
+    const b = "key";
+    dependencies.begin(0);
+    dependencies.read(a);
+    dependencies.end(false);
+    dependencies.begin(1);
+    dependencies.read(b);
+    dependencies.end(false);
+    expect([0, 1, 2].map((site) => dependencies.isStale(site))).toEqual([false, false, false]);
+    dependencies.changed(b);
+    expect([0, 1, 2].map((site) => dependencies.isStale(site))).toEqual([false, true, false]);
+    dependencies.begin(1);
+    expect(dependencies.isStale(1)).toBe(false);
+});
+test("a visit that changes a fact makes every reader of its facts stale", () => {
+    const dependencies = new SiteDependencies(3);
+    const shared = {};
+    const own = {};
+    dependencies.begin(0);
+    dependencies.read(shared);
+    dependencies.end(false);
+    dependencies.begin(2);
+    dependencies.read(own);
+    dependencies.end(false);
+    dependencies.begin(1);
+    dependencies.read(shared);
+    dependencies.read(shared);
+    dependencies.end(true);
+    expect([0, 1, 2].map((site) => dependencies.isStale(site))).toEqual([true, true, false]);
+});
+test("reads outside a visit are not recorded", () => {
+    const dependencies = new SiteDependencies(1);
+    const fact = {};
+    dependencies.read(fact);
+    dependencies.changed(fact);
+    expect(dependencies.isStale(0)).toBe(false);
+});
+test("a site visited again is listed once per fact", () => {
+    const dependencies = new SiteDependencies(3);
+    const fact = {};
+    for (const site of [0, 2, 1, 2, 0]) {
+        dependencies.begin(site);
+        dependencies.read(fact);
+        dependencies.end(false);
+    }
+    dependencies.changed(fact);
+    expect([0, 1, 2].map((site) => dependencies.isStale(site))).toEqual([true, true, true]);
+});
+//# sourceMappingURL=site-dependencies.test.js.map

package/dist/frontend/lowering/site-dependencies.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"site-dependencies.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/site-dependencies.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE1D,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,YAAY,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,GAAG,EAAE,CAAC;IACb,MAAM,CAAC,GAAG,KAAK,CAAC;IAChB,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3F,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1F,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,YAAY,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,EAAE,CAAC;IAClB,MAAM,GAAG,GAAG,EAAE,CAAC;IACf,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC3F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;IAClD,MAAM,YAAY,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,EAAE,CAAC;IAChB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;IACxD,MAAM,YAAY,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,EAAE,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACnC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/stable-names.d.ts

@@ -0,0 +1,11 @@
+/** The owner of the names keyedHelperName hands out. */
+export interface KeyedNameOwner {
+    /** Each keyed name with a second hash of the key it was made from, which
+     * tells a repeated key from a different key with the same name. */
+    readonly keyedNameKeys: Map<string, number>;
+}
+/** The name of a helper interned by `key`: `<prefix><separator><hash of
+ * key>`. It depends only on the key, not on how many helpers were interned
+ * before, so a helper has the same name whichever unit first needs it. Two
+ * keys that hash to the same name throw an InternalCompilerError. */
+export declare function keyedHelperName(owner: KeyedNameOwner, prefix: string, key: string, separator?: string): string;

package/dist/frontend/lowering/stable-names.js

@@ -0,0 +1,35 @@
+import { InternalCompilerError } from "../../errors.js";
+/** 48 bits of two FNV-1a hashes of `key`, as 12 hex digits. */
+function keyHash(key) {
+    let a = 0x811c9dc5;
+    let b = 0x01000193 ^ 0x5bd1e995;
+    for (let i = 0; i < key.length; i++) {
+        const c = key.charCodeAt(i);
+        a = Math.imul(a ^ c, 0x01000193);
+        b = Math.imul(b ^ c, 0x01000193) ^ (b >>> 13);
+    }
+    const high = (b >>> 0).toString(16).padStart(8, "0").slice(4);
+    return high + (a >>> 0).toString(16).padStart(8, "0");
+}
+/** A 32-bit hash of `key` independent of keyHash's bits. */
+function checkHash(key) {
+    let h = 0x9e3779b9;
+    for (let i = 0; i < key.length; i++)
+        h = Math.imul(h ^ key.charCodeAt(i), 0x85ebca6b) ^ (h >>> 15);
+    return h >>> 0;
+}
+/** The name of a helper interned by `key`: `<prefix><separator><hash of
+ * key>`. It depends only on the key, not on how many helpers were interned
+ * before, so a helper has the same name whichever unit first needs it. Two
+ * keys that hash to the same name throw an InternalCompilerError. */
+export function keyedHelperName(owner, prefix, key, separator = ".") {
+    const name = `${prefix}${separator}${keyHash(key)}`;
+    const check = checkHash(key);
+    const previous = owner.keyedNameKeys.get(name);
+    if (previous === undefined)
+        owner.keyedNameKeys.set(name, check);
+    else if (previous !== check)
+        throw new InternalCompilerError(`helper name ${name} is shared by two helper keys`);
+    return name;
+}
+//# sourceMappingURL=stable-names.js.map

package/dist/frontend/lowering/stable-names.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stable-names.js","sourceRoot":"","sources":["../../../src/frontend/lowering/stable-names.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AASxD,+DAA+D;AAC/D,SAAS,OAAO,CAAC,GAAW;IAC1B,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,IAAI,CAAC,GAAG,UAAU,GAAG,UAAU,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,4DAA4D;AAC5D,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QACjC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAChE,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED;;;qEAGqE;AACrE,MAAM,UAAU,eAAe,CAC7B,KAAqB,EACrB,MAAc,EACd,GAAW,EACX,SAAS,GAAG,GAAG;IAEf,MAAM,IAAI,GAAG,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACpD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SAC5D,IAAI,QAAQ,KAAK,KAAK;QACzB,MAAM,IAAI,qBAAqB,CAAC,eAAe,IAAI,+BAA+B,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/static-typeof.d.ts

@@ -13,8 +13,8 @@ export declare function staticTypeofAnswer(lowerer: Lowerer, operand: ts.Express
  * so only the comparison's value remains. Null for other shapes. */
 export declare function staticTypeofComparison(lowerer: Lowerer, e: ts.BinaryExpression): boolean | null;
 /** The value of a condition built from statically answered typeof
- * comparisons, `!`, `&&` and `||` (the global-detection chains), or null
- * when any operand needs evaluation. */
+ * comparisons, known callback error parameters, `!`, `&&` and `||` (the
+ * global-detection chains), or null when any operand needs evaluation. */
 export declare function staticCondition(lowerer: Lowerer, expr: ts.Expression): boolean | null;
 /** The expression a value reduces to once statically decided conditions
  * select their arms (`(typeof global < "u" ? global : window)` → `global`),

package/dist/frontend/lowering/static-typeof.js

@@ -65,9 +65,46 @@ export function staticTypeofComparison(lowerer, e) {
             return null;
     }
 }
+/** Whether a callback's error parameter holds an Error (true) or null
+ * (false) in the copy of the callback body being lowered
+ * (lowerUndefinedResultBody), or null for other expressions. */
+function knownError(lowerer, e) {
+    while (ts.isParenthesizedExpression(e))
+        e = e.expression;
+    if (lowerer.knownErrors.size === 0 || !ts.isIdentifier(e))
+        return null;
+    const symbol = lowerer.checker.getSymbolAtLocation(e);
+    return symbol === undefined ? null : (lowerer.knownErrors.get(symbol) ?? null);
+}
+/** A comparison of a known error parameter against `null`
+ * (`err !== null`, `err == null`), folded. Null for other shapes. */
+function knownErrorComparison(lowerer, e) {
+    const isNull = (x) => {
+        while (ts.isParenthesizedExpression(x))
+            x = x.expression;
+        return x.kind === ts.SyntaxKind.NullKeyword;
+    };
+    const error = isNull(e.right)
+        ? knownError(lowerer, e.left)
+        : isNull(e.left)
+            ? knownError(lowerer, e.right)
+            : null;
+    if (error === null)
+        return null;
+    switch (e.operatorToken.kind) {
+        case ts.SyntaxKind.EqualsEqualsEqualsToken:
+        case ts.SyntaxKind.EqualsEqualsToken:
+            return !error;
+        case ts.SyntaxKind.ExclamationEqualsEqualsToken:
+        case ts.SyntaxKind.ExclamationEqualsToken:
+            return error;
+        default:
+            return null;
+    }
+}
 /** The value of a condition built from statically answered typeof
- * comparisons, `!`, `&&` and `||` (the global-detection chains), or null
- * when any operand needs evaluation. */
+ * comparisons, known callback error parameters, `!`, `&&` and `||` (the
+ * global-detection chains), or null when any operand needs evaluation. */
 export function staticCondition(lowerer, expr) {
     let e = expr;
     while (ts.isParenthesizedExpression(e))
@@ -76,6 +113,8 @@ export function staticCondition(lowerer, expr) {
         const inner = staticCondition(lowerer, e.operand);
         return inner === null ? null : !inner;
     }
+    if (ts.isIdentifier(e))
+        return knownError(lowerer, e);
     if (!ts.isBinaryExpression(e))
         return null;
     const op = e.operatorToken.kind;
@@ -88,7 +127,7 @@ export function staticCondition(lowerer, expr) {
             return left;
         return staticCondition(lowerer, e.right);
     }
-    return staticTypeofComparison(lowerer, e);
+    return staticTypeofComparison(lowerer, e) ?? knownErrorComparison(lowerer, e);
 }
 /** The expression a value reduces to once statically decided conditions
  * select their arms (`(typeof global < "u" ? global : window)` → `global`),

package/dist/frontend/lowering/static-typeof.js.map

@@ -1 +1 @@
-{"version":3,"file":"static-typeof.js","sourceRoot":"","sources":["../../../src/frontend/lowering/static-typeof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC;;;;;6CAK6C;AAC7C,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,OAAsB;IACzE,IAAI,CAAC,GAAG,OAAO,CAAC;IAChB,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC7E,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAC;QACpD,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,QAAQ,CAAC;IACvD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,CAAsB;IAC7E,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAiB,EAAE;QACjD,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAClD,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3D,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;SAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAClE,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3C,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YAClC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC;QAChD,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;YACpC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;wCAEwC;AACxC,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAmB;IACnE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACnF,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;IAChC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3D,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,sBAAsB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED;;0BAE0B;AAC1B,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IACtE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,SAAS,CAAC;QACR,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;QAC7B,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvC,CAAC;AACH,CAAC;AAED;;oEAEoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,IAAkB;IACvD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;YAAE,OAAO;QACxF,IACE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAC/B,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EACzD,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"static-typeof.js","sourceRoot":"","sources":["../../../src/frontend/lowering/static-typeof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC;;;;;6CAK6C;AAC7C,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,OAAsB;IACzE,IAAI,CAAC,GAAG,OAAO,CAAC;IAChB,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC7E,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAC;QACpD,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,QAAQ,CAAC;IACvD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,CAAsB;IAC7E,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAiB,EAAE;QACjD,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAClD,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3D,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;SAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAClE,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QACvD,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3C,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YAClC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC;QAChD,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;YACpC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;gEAEgE;AAChE,SAAS,UAAU,CAAC,OAAgB,EAAE,CAAgB;IACpD,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC;AACjF,CAAC;AAED;qEACqE;AACrE,SAAS,oBAAoB,CAAC,OAAgB,EAAE,CAAsB;IACpE,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAW,EAAE;QAC3C,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,OAAO,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;IAC9C,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3B,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC;QAC7B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;YACd,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC;YAC9B,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3C,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;YAClC,OAAO,CAAC,KAAK,CAAC;QAChB,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC;QAChD,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YACvC,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAmB;IACnE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;IACzD,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACnF,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;IAChC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAC3D,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,sBAAsB,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAChF,CAAC;AAED;;0BAE0B;AAC1B,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAmB;IACtE,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,SAAS,CAAC;QACR,OAAO,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACzD,IAAI,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;QAC7B,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvC,CAAC;AACH,CAAC;AAED;;oEAEoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,IAAkB;IACvD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC;YAAE,OAAO;QACxF,IACE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAC/B,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EACzD,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/lowering/strict-equality.js

@@ -1,3 +1,4 @@
+import { keyedHelperName } from "./stable-names.js";
 import { boolLit, varRef } from "../../ir/build.js";
 import { BOOL, DYN_HANDLE_KINDS, isUnitType, typeEquals, typeKey, } from "../../ir/ir.js";
 import { unionComparison } from "./union-comparison.js";
@@ -93,7 +94,7 @@ export function lowerUnionEquality(lowerer, left, right, negated, sameValue, loc
         const result = unionComparison(lowerer, a, b, (x, y) => atomicEquality(lowerer, x, y, sameValue, loc), loc);
         if (!result)
             return null;
-        name = `%value.eq.${lowerer.equalityHelpers.size}`;
+        name = keyedHelperName(lowerer, "%value.eq", key);
         lowerer.equalityHelpers.set(key, name);
         lowerer.liftedFns.push({
             name,

package/dist/frontend/lowering/strict-equality.js.map

@@ -1 +1 @@
-{"version":3,"file":"strict-equality.js","sourceRoot":"","sources":["../../../src/frontend/lowering/strict-equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,IAAI,EACJ,gBAAgB,EAIhB,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,OAAO;IACP,KAAK;IACL,KAAK;IACL,OAAO;IACP,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,SAAS;IACT,MAAM;IACN,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,SAAkB,EAClB,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EACjB,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;IACjB,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC;QACzF,OAAO,IAAI,CAAC;IACd,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;aAC1F,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YACrD,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;;YAC1C,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,qEAAqE;QACrE,qEAAqE;QACrE,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC5C,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAE5C,OAAO,IAAI,CAAC;QACd,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChG,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS;QAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACxF,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3D,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAEpC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAY;IACpE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,OAAO,CACL,IAAI,EAAE,IAAI,CACR,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACb,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,IAAI;aACD,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;aAChB,IAAI,CACH,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;gBACnD,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAC1D,CACN,IAAI,KAAK,CACX,CAAC;AACJ,CAAC;AAED;;8EAE8E;AAC9E,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,OAAgB,EAChB,SAAkB,EAClB,GAAW;IAEX,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3E,0EAA0E;IAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,+DAA+D;IAC/D,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,4EAA4E;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAClE,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,CAAC,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC;QACxC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC;QACxC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAE7E,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;IACnG,IAAI,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EACxC,CAAC,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,eAAe,CAC5B,OAAO,EACP,CAAC,EACD,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,EACvD,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,GAAG,aAAa,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;QACnD,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE;gBACN,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;gBACpD,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;aACxD;YACD,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC/D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;aACnE;YACD,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC9C,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC5F,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACzF,CAAC"}
+{"version":3,"file":"strict-equality.js","sourceRoot":"","sources":["../../../src/frontend/lowering/strict-equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,IAAI,EACJ,gBAAgB,EAIhB,UAAU,EACV,UAAU,EACV,OAAO,GACR,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,MAAM,cAAc,GAAgC,IAAI,GAAG,CAAC;IAC1D,OAAO;IACP,KAAK;IACL,KAAK;IACL,OAAO;IACP,KAAK;IACL,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,SAAS;IACT,MAAM;IACN,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,SAAS,cAAc,CACrB,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,SAAkB,EAClB,GAAW;IAEX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EACjB,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;IACjB,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,CAAC;QACzF,OAAO,IAAI,CAAC;IACd,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;aAC1F,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YACrD,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;;YAC1C,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,qEAAqE;QACrE,qEAAqE;QACrE,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC5C,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAE5C,OAAO,IAAI,CAAC;QACd,OAAO,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAChG,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS;QAC/B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACxF,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;QAChB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,MAAM;QACjB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,IAAI,KAAK,UAAU;QACrB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3D,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAEpC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAY;IACpE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,OAAO,CACL,IAAI,EAAE,IAAI,CACR,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACb,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,IAAI;aACD,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;aAChB,IAAI,CACH,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;gBACnD,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAC1D,CACN,IAAI,KAAK,CACX,CAAC;AACJ,CAAC;AAED;;8EAE8E;AAC9E,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,IAAY,EACZ,KAAa,EACb,OAAgB,EAChB,SAAkB,EAClB,GAAW;IAEX,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3E,0EAA0E;IAC1E,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,+DAA+D;IAC/D,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,4EAA4E;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAClE,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,CAAC,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC;QACxC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC;QACxC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAE7E,OAAO,IAAI,CAAC;IACd,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;IACnG,IAAI,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EACxC,CAAC,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,eAAe,CAC5B,OAAO,EACP,CAAC,EACD,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,EACvD,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QAClD,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE;gBACN,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;gBACpD,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;aACxD;YACD,MAAM,EAAE;gBACN,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC/D,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;aACnE;YACD,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAC9C,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC5F,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACzF,CAAC"}

package/dist/frontend/lowering/structural-positions.d.ts

@@ -0,0 +1,32 @@
+import * as ts from "../ts7/adapter.js";
+import { type KeyedNameOwner } from "./stable-names.js";
+/** Source positions that stay the same when code outside the enclosing
+ * declaration changes. A node's structural position is its file, the chain
+ * of enclosing named declarations (each with its kind, its name and its
+ * ordinal among the declarations of the same kind and name in its own
+ * anchor), and its ordinal among the nodes of its kind whose nearest anchor
+ * is the same declaration. Editing another declaration, or code nested in another
+ * named declaration of the same anchor, leaves the position unchanged. */
+export declare class StructuralPositions {
+    private readonly fileKey?;
+    /** Per anchor and key: the indices of the nodes with that key whose
+     * nearest anchor it is, in preorder (anchoredNodes). */
+    private readonly nodesByKey;
+    private readonly paths;
+    /** `fileKey` names a source file in positions (its file name when
+     * absent). */
+    constructor(fileKey?: ((sf: ts.SourceFile) => string) | undefined);
+    /** The ordinal of `node` among the nodes of `anchor` with its key. */
+    private ordinalIn;
+    /** The anchor chain of `anchor` from the file down. */
+    private pathOf;
+    /** The structural position of `node`. */
+    of(node: ts.Node): string;
+}
+/** The owner of structural positions and the names made from them. */
+export interface PositionTagOwner extends KeyedNameOwner {
+    readonly positions: StructuralPositions;
+}
+/** A short tag for `node`'s structural position, for names that must stay
+ * unique per source node (class expressions, namespace blocks). */
+export declare function positionTag(owner: PositionTagOwner, node: ts.Node): string;

package/dist/frontend/lowering/structural-positions.js

@@ -0,0 +1,108 @@
+import * as ts from "../ts7/adapter.js";
+import { keyedHelperName } from "./stable-names.js";
+/** The declaration kinds whose names anchor the positions inside them. */
+const ANCHOR_KINDS = new Set([
+    ts.SyntaxKind.FunctionDeclaration,
+    ts.SyntaxKind.ClassDeclaration,
+    ts.SyntaxKind.ClassExpression,
+    ts.SyntaxKind.VariableDeclaration,
+    ts.SyntaxKind.MethodDeclaration,
+    ts.SyntaxKind.GetAccessor,
+    ts.SyntaxKind.SetAccessor,
+    ts.SyntaxKind.PropertyDeclaration,
+    ts.SyntaxKind.PropertyAssignment,
+    ts.SyntaxKind.ModuleDeclaration,
+    ts.SyntaxKind.EnumDeclaration,
+    ts.SyntaxKind.Constructor,
+    ts.SyntaxKind.InterfaceDeclaration,
+    ts.SyntaxKind.TypeAliasDeclaration,
+]);
+/** The name of `node` when it is a named declaration that anchors the
+ * positions of the nodes inside it, or null. */
+function anchorName(node) {
+    return ts.declarationNameAt(node, node.index, ANCHOR_KINDS);
+}
+/** The nearest enclosing anchor of `node` (not `node` itself), or its
+ * source file. */
+function anchorOf(node) {
+    for (let parent = node.parent; parent !== undefined; parent = parent.parent) {
+        if (ts.isSourceFile(parent) || anchorName(parent) !== null)
+            return parent;
+    }
+    return ts.getSourceFileOfNode(node);
+}
+/** Source positions that stay the same when code outside the enclosing
+ * declaration changes. A node's structural position is its file, the chain
+ * of enclosing named declarations (each with its kind, its name and its
+ * ordinal among the declarations of the same kind and name in its own
+ * anchor), and its ordinal among the nodes of its kind whose nearest anchor
+ * is the same declaration. Editing another declaration, or code nested in another
+ * named declaration of the same anchor, leaves the position unchanged. */
+export class StructuralPositions {
+    fileKey;
+    /** Per anchor and key: the indices of the nodes with that key whose
+     * nearest anchor it is, in preorder (anchoredNodes). */
+    nodesByKey = new Map();
+    paths = new Map();
+    /** `fileKey` names a source file in positions (its file name when
+     * absent). */
+    constructor(fileKey) {
+        this.fileKey = fileKey;
+    }
+    /** The ordinal of `node` among the nodes of `anchor` with its key. */
+    ordinalIn(anchor, node, key) {
+        let byKey = this.nodesByKey.get(anchor);
+        if (byKey === undefined)
+            this.nodesByKey.set(anchor, (byKey = new Map()));
+        let indices = byKey.get(key);
+        if (indices === undefined) {
+            indices = ts.anchoredNodes(anchor, key, ANCHOR_KINDS);
+            byKey.set(key, indices);
+        }
+        // Indices increase in preorder.
+        let low = 0;
+        let high = indices.length - 1;
+        while (low <= high) {
+            const middle = (low + high) >> 1;
+            const at = indices[middle];
+            if (at === node.index)
+                return middle;
+            if (at < node.index)
+                low = middle + 1;
+            else
+                high = middle - 1;
+        }
+        return -1;
+    }
+    /** The anchor chain of `anchor` from the file down. */
+    pathOf(anchor) {
+        const cached = this.paths.get(anchor);
+        if (cached !== undefined)
+            return cached;
+        let path;
+        if (ts.isSourceFile(anchor))
+            path = this.fileKey?.(anchor) ?? anchor.fileName;
+        else {
+            const parent = anchorOf(anchor);
+            // The kind keeps declarations of one name apart: a getter and its
+            // setter, or a class and the namespace merged with it.
+            const key = `${anchor.kind}:${anchorName(anchor)}`;
+            path = `${this.pathOf(parent)}/${key}#${this.ordinalIn(parent, anchor, key)}`;
+        }
+        this.paths.set(anchor, path);
+        return path;
+    }
+    /** The structural position of `node`. */
+    of(node) {
+        const anchor = anchorOf(node);
+        const name = anchorName(node);
+        const key = name === null ? `${node.kind}` : `${node.kind}:${name}`;
+        return `${this.pathOf(anchor)}|${key}#${this.ordinalIn(anchor, node, key)}`;
+    }
+}
+/** A short tag for `node`'s structural position, for names that must stay
+ * unique per source node (class expressions, namespace blocks). */
+export function positionTag(owner, node) {
+    return keyedHelperName(owner, "", owner.positions.of(node), "");
+}
+//# sourceMappingURL=structural-positions.js.map

package/dist/frontend/lowering/structural-positions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-positions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/structural-positions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,eAAe,EAAuB,MAAM,mBAAmB,CAAC;AAEzE,0EAA0E;AAC1E,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAS;IACxD,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAC9B,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,mBAAmB;IACjC,EAAE,CAAC,UAAU,CAAC,kBAAkB;IAChC,EAAE,CAAC,UAAU,CAAC,iBAAiB;IAC/B,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,WAAW;IACzB,EAAE,CAAC,UAAU,CAAC,oBAAoB;IAClC,EAAE,CAAC,UAAU,CAAC,oBAAoB;CACnC,CAAC,CAAC;AAEH;gDACgD;AAChD,SAAS,UAAU,CAAC,IAAa;IAC/B,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AAC9D,CAAC;AAED;kBACkB;AAClB,SAAS,QAAQ,CAAC,IAAa;IAC7B,KAAK,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED;;;;;;0EAM0E;AAC1E,MAAM,OAAO,mBAAmB;IAQD,OAAO;IAPpC;4DACwD;IACvC,UAAU,GAAG,IAAI,GAAG,EAAkC,CAAC;IACvD,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IAEpD;kBACc;IACd,YAA6B,OAAuC;uBAAvC,OAAO;IAAmC,CAAC;IAExE,sEAAsE;IAC9D,SAAS,CAAC,MAAe,EAAE,IAAa,EAAE,GAAW;QAC3D,IAAI,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1E,IAAI,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACtD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC1B,CAAC;QACD,gCAAgC;QAChC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9B,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC;YACnB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAE,CAAC;YAC5B,IAAI,EAAE,KAAK,IAAI,CAAC,KAAK;gBAAE,OAAO,MAAM,CAAC;YACrC,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK;gBAAE,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;;gBACjC,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;IAED,uDAAuD;IAC/C,MAAM,CAAC,MAAe;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,IAAY,CAAC;QACjB,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC;aACzE,CAAC;YACJ,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,kEAAkE;YAClE,uDAAuD;YACvD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QAChF,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yCAAyC;IACzC,EAAE,CAAC,IAAa;QACd,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QACpE,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAC9E,CAAC;CACF;AAOD;mEACmE;AACnE,MAAM,UAAU,WAAW,CAAC,KAAuB,EAAE,IAAa;IAChE,OAAO,eAAe,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;AAClE,CAAC"}

package/dist/frontend/lowering/surfaces.d.ts

@@ -302,6 +302,9 @@ export declare function isStdlibSymbol(lowerer: Lowerer, symbol: ts.Symbol | und
  *     tamper-guard prologue) registered in stdlibGlobalAliases;
  *   - a const binding of the Map or Set constructor (`const M = Map`,
  *     builtinClassAliasOf). */
+/** The symbol an identifier reads. A shorthand property's name (`{ Date }`)
+ * reads the binding of the same name, not the property it declares. */
+export declare function identifierReadSymbol(lowerer: Lowerer, expr: ts.Identifier): ts.Symbol | undefined;
 export declare function stdlibGlobalNameOf(lowerer: Lowerer, expr: ts.Expression): string | null;
 /** True iff `expr` denotes THE standard-library global `name` — name AND
  * provenance, because neither alone suffices: several globals share