@scriptc/compiler 0.2.6 → 0.2.8

package/dist/frontend/lowering/construction-escapes.test.js

@@ -0,0 +1,150 @@
+import { afterAll, expect, test } from "vitest";
+import * as ts from "../ts7/adapter.js";
+import { closeSourceParser, parseSourceFile } from "../ts7/source-parser-node.js";
+import { constructionEscape, mentionsReceiver } from "./construction-escapes.js";
+afterAll(closeSourceParser);
+function analyze(source, options = {}) {
+    const file = parseSourceFile("classes.ts", source, "ts");
+    let decl;
+    ts.walkPreorder(file, (node) => {
+        if (!decl && ts.isClassDeclaration(node))
+            decl = node;
+    });
+    if (!decl)
+        throw new Error("fixture has no class");
+    const cls = decl;
+    const ctor = cls.members.find(ts.isConstructorDeclaration) ?? null;
+    const fields = cls.members
+        .filter(ts.isPropertyDeclaration)
+        .map((member) => ({ name: member.name.getText(), initializer: member.initializer }));
+    const fieldNames = new Set(fields.map((field) => field.name));
+    return constructionEscape({
+        ctor,
+        fields,
+        paramProps: [],
+        derived: options.derived ?? false,
+        baseEscapes: options.baseEscapes ?? false,
+        isField: (name) => fieldNames.has(name),
+        privateMethodBody: (call) => {
+            if (!ts.isPropertyAccessExpression(call.expression))
+                return null;
+            const name = call.expression.name.text;
+            const method = cls.members.find((member) => ts.isMethodDeclaration(member) && member.name.getText() === name);
+            const isPrivate = method !== undefined &&
+                (ts.isPrivateIdentifier(method.name) ||
+                    (ts.getModifiers(method)?.some((m) => m.kind === ts.SyntaxKind.PrivateKeyword) ?? false));
+            return isPrivate ? (method.body ?? null) : null;
+        },
+    });
+}
+const sorted = (set) => [...set].sort();
+test("assignments before any exposure are proven", () => {
+    const result = analyze(`
+    class A {
+      a: B; b: B; c: B;
+      constructor() {
+        this.a = new B();
+        this.b = make(this.a);
+        log("no receiver here");
+        this.c = new B();
+        this.report();
+      }
+    }`);
+    expect(result.escapes).toBe(true);
+    expect(sorted(result.assigned)).toEqual(["a", "b", "c"]);
+});
+test("a call that receives the instance stops the proof", () => {
+    const result = analyze(`
+    class A {
+      seen: boolean; box: B;
+      constructor() {
+        this.seen = check(this);
+        this.box = new B();
+      }
+    }`);
+    expect(result.escapes).toBe(true);
+    expect(sorted(result.assigned)).toEqual([]);
+});
+test("method calls, callbacks and reads of unassigned fields expose the instance", () => {
+    for (const body of [
+        "this.describe(); this.box = new B();",
+        "const f = () => this.box; this.box = new B();",
+        "this.other = this.box; this.box = new B();",
+        "if (flag) this.box = new B(); this.box = new B();",
+    ]) {
+        const result = analyze(`class A { box: B; other: B; constructor() { ${body} } }`);
+        expect(result.escapes, body).toBe(true);
+        expect(result.assigned.has("box"), body).toBe(false);
+    }
+});
+test("initializers run in order before the constructor body", () => {
+    const result = analyze(`
+    class A {
+      first = new B();
+      second = this.first;
+      third = this.compute();
+      fourth = new B();
+      constructor() { this.fifth = new B(); }
+    }`);
+    expect(result.escapes).toBe(true);
+    expect(sorted(result.assigned)).toEqual(["first", "second"]);
+});
+test("private helpers that only assign fields are followed", () => {
+    const result = analyze(`
+    class A {
+      a!: B; b!: B; c: B;
+      constructor() {
+        this.setup();
+        this.c = new B();
+      }
+      private setup(): void {
+        this.a = new B();
+        this.#more();
+      }
+      #more(): void {
+        this.b = this.a;
+      }
+    }`);
+    expect(result.escapes).toBe(false);
+    expect(sorted(result.assigned)).toEqual(["a", "b", "c"]);
+});
+test("public helpers, helpers that return early, and early returns stop the proof", () => {
+    for (const source of [
+        "class A { a!: B; constructor() { this.setup(); } setup(): void { this.a = new B(); } }",
+        "class A { a!: B; constructor() { this.setup(); } private setup(): void { if (x) return; this.a = new B(); } }",
+        "class A { a!: B; constructor() { if (x) return; this.a = new B(); } }",
+    ]) {
+        const result = analyze(source);
+        expect(result.escapes, source).toBe(true);
+        expect(result.assigned.has("a"), source).toBe(false);
+    }
+});
+test("derived classes inherit the base constructor's exposure", () => {
+    const source = `
+    class D {
+      box: B;
+      constructor() {
+        super();
+        this.box = new B();
+      }
+    }`;
+    expect(analyze(source, { derived: true }).escapes).toBe(false);
+    const exposed = analyze(source, { derived: true, baseEscapes: true });
+    expect(exposed.escapes).toBe(true);
+    expect(sorted(exposed.assigned)).toEqual([]);
+    // Without a constructor, construction is the implicit super call.
+    expect(analyze("class D { box = new B(); }", { derived: true, baseEscapes: true }).escapes).toBe(true);
+    expect(sorted(analyze("class D { box = new B(); }", { derived: true }).assigned)).toEqual([
+        "box",
+    ]);
+});
+test("nested functions with their own receiver are opaque", () => {
+    const file = parseSourceFile("nested.ts", "const f = function () { return this; }; const g = () => this;", "ts");
+    const found = [];
+    ts.walkPreorder(file, (node) => {
+        if (ts.isVariableDeclaration(node) && node.initializer)
+            found.push(mentionsReceiver(node.initializer));
+    });
+    expect(found).toEqual([false, true]);
+});
+//# sourceMappingURL=construction-escapes.test.js.map

package/dist/frontend/lowering/construction-escapes.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"construction-escapes.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/construction-escapes.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAEjF,QAAQ,CAAC,iBAAiB,CAAC,CAAC;AAE5B,SAAS,OAAO,CAAC,MAAc,EAAE,OAAO,GAAiD,EAAE;IACzF,MAAM,IAAI,GAAG,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,IAAI,IAAqC,CAAC;IAC1C,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC;IACxD,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,IAAI,CAAC;IACjB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,IAAI,CAAC;IACnE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO;SACvB,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC;SAChC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,OAAO,kBAAkB,CAAC;QACxB,IAAI;QACJ,MAAM;QACN,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,KAAK;QACjC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,KAAK;QACzC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;QACvC,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE;YAC1B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YACvC,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAC7B,CAAC,MAAM,EAAkC,EAAE,CACzC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI,CACnE,CAAC;YACF,MAAM,SAAS,GACb,MAAM,KAAK,SAAS;gBACpB,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC;oBAClC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YAC9F,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAClD,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,GAAgB,EAAY,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAE/D,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC;;;;;;;;;;MAUnB,CAAC,CAAC;IACN,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC;;;;;;;MAOnB,CAAC,CAAC;IACN,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,KAAK,MAAM,IAAI,IAAI;QACjB,sCAAsC;QACtC,+CAA+C;QAC/C,4CAA4C;QAC5C,mDAAmD;KACpD,EAAE,CAAC;QACF,MAAM,MAAM,GAAG,OAAO,CAAC,+CAA+C,IAAI,MAAM,CAAC,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,MAAM,GAAG,OAAO,CAAC;;;;;;;MAOnB,CAAC,CAAC;IACN,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC;;;;;;;;;;;;;;MAcnB,CAAC,CAAC;IACN,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,KAAK,MAAM,MAAM,IAAI;QACnB,wFAAwF;QACxF,+GAA+G;QAC/G,uEAAuE;KACxE,EAAE,CAAC;QACF,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,MAAM,GAAG;;;;;;;MAOX,CAAC;IACL,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACtE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,kEAAkE;IAClE,MAAM,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAC9F,IAAI,CACL,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,4BAA4B,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;QACxF,KAAK;KACN,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,IAAI,GAAG,eAAe,CAC1B,WAAW,EACX,+DAA+D,EAC/D,IAAI,CACL,CAAC;IACF,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC7B,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW;YACpD,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AACvC,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/containers/array-callback-call.d.ts

@@ -0,0 +1,7 @@
+import * as ts from "../../ts7/adapter.js";
+import { type IrExpr } from "../../../ir/ir.js";
+import type { Lowerer } from "../lowerer.js";
+/** Retain native function slots during indexed calls. The array remains
+ * the receiver, and the selected callback is captured before arguments
+ * can replace it. Missing slots throw only after argument evaluation. */
+export declare function lowerArrayCallbackCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.ElementAccessExpression, array: IrExpr): IrExpr | null;

package/dist/frontend/lowering/containers/array-callback-call.js

@@ -0,0 +1,52 @@
+import * as ts from "../../ts7/adapter.js";
+import { locOf } from "../../program.js";
+import { varRef } from "../../../ir/build.js";
+import { DYN, isUnitType } from "../../../ir/ir.js";
+import { completeFuncValueArgs } from "../call-arguments.js";
+import { lowerOptionalNumber } from "../lower-exprs.js";
+import { lowerSafeIndexRead } from "../array-values.js";
+/** Retain native function slots during indexed calls. The array remains
+ * the receiver, and the selected callback is captured before arguments
+ * can replace it. Missing slots throw only after argument evaluation. */
+export function lowerArrayCallbackCall(lowerer, call, access, array) {
+    if (array.type.kind !== "array" || call.arguments.some(ts.isSpreadElement))
+        return null;
+    const elem = array.type.elem;
+    const arms = elem.kind === "union" ? (lowerer.unions.get(elem.unionId)?.arms ?? []) : [elem];
+    const functions = arms.filter((arm) => arm.kind === "func");
+    const fn = functions[0];
+    if (functions.length !== 1 ||
+        fn?.kind !== "func" ||
+        !arms.every((arm) => arm.kind === "func" || isUnitType(arm)) ||
+        fn.rest)
+        return null;
+    if (!(lowerer.typeOf(access.argumentExpression).flags & ts.TypeFlags.NumberLike))
+        return null;
+    const loc = locOf(call);
+    const statements = [];
+    const store = (value, prefix) => {
+        const local = lowerer.declareHiddenLocal(prefix, value.type);
+        statements.push({ kind: "varDecl", localId: local.id, init: value, loc });
+        return varRef(local.id, local.type, loc);
+    };
+    const receiver = store(array, "%callbackArray");
+    const index = lowerOptionalNumber(lowerer, lowerer.lowerExpr(access.argumentExpression), locOf(access.argumentExpression), access.argumentExpression);
+    const read = lowerSafeIndexRead(lowerer, receiver, index, loc);
+    if (!read || read.type.kind !== "union")
+        return null;
+    const callee = store(read, "%arrayCallback");
+    const args = completeFuncValueArgs(lowerer, call, fn, loc).map((arg) => store(arg, "%callbackArg"));
+    const helper = lowerer.narrowedArmHelper(read.type.unionId, fn, loc);
+    if (!helper)
+        return null;
+    const result = {
+        kind: "callValue",
+        callee: { kind: "call", callee: helper, args: [callee], type: fn, loc },
+        receiver: lowerer.coerceToExpected(receiver, DYN),
+        args,
+        type: fn.ret,
+        loc,
+    };
+    return { kind: "seqExpr", stmts: statements, result, type: result.type, loc };
+}
+//# sourceMappingURL=array-callback-call.js.map

package/dist/frontend/lowering/containers/array-callback-call.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-callback-call.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/containers/array-callback-call.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAA4B,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD;;yEAEyE;AACzE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,IAAuB,EACvB,MAAkC,EAClC,KAAa;IAEb,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC7F,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5D,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IACxB,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,EAAE,EAAE,IAAI,KAAK,MAAM;QACnB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5D,EAAE,CAAC,IAAI;QAEP,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,MAAc,EAAU,EAAE;QACtD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,mBAAmB,CAC/B,OAAO,EACP,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAC5C,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAChC,MAAM,CAAC,kBAAkB,CAC1B,CAAC;IACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrE,KAAK,CAAC,GAAG,EAAE,cAAc,CAAC,CAC3B,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACrE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;QACvE,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC;QACjD,IAAI;QACJ,IAAI,EAAE,EAAE,CAAC,GAAG;QACZ,GAAG;KACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAChF,CAAC"}

package/dist/frontend/lowering/containers/array-callbacks.d.ts

@@ -1,5 +1,5 @@
 import * as ts from "../../ts7/adapter.js";
-import type { Lowerer } from "../lowerer.js";
+import { type Lowerer } from "../lowerer.js";
 import { type IrExpr, type IrType } from "../../../ir/ir.js";
 /** `a.map(fn)` / `a.filter(fn)` / `a.forEach(fn)` desugar to a direct
  * call of a synthetic module function — one per method + element/result