@scriptc/compiler 0.1.6 → 0.2.0

package/dist/frontend/lowering/expressions/union-field-write.js

@@ -0,0 +1,71 @@
+import * as ts from "../../ts7/adapter.js";
+import { nodeThrowExpr } from "../lowerer.js";
+import { BOOL, VOID, typeEquals } from "../../../ir/ir.js";
+import { varRef } from "../../../ir/build.js";
+import { locOf } from "../../program.js";
+/** Assign a common data field without projecting the union's records into
+ * a new structural shape. Each tag writes the original record payload, so
+ * aliases and identity-keyed collections observe the mutation. Accessors,
+ * missing fields, and differently typed storage retain their own fences. */
+export function lowerUnionFieldWrite(lowerer, access, rhs) {
+    const mapped = lowerer.mapTypeOf(lowerer.typeOf(access.expression));
+    if (access.questionDotToken || mapped?.kind !== "union")
+        return null;
+    const receiver = lowerer.maybeNarrow(lowerer.lowerExpr(access.expression), access.expression);
+    if (receiver.type.kind !== "union")
+        return null;
+    const unionId = receiver.type.unionId;
+    const arms = lowerer.unions.get(unionId)?.arms;
+    if (!arms?.length)
+        return null;
+    const fields = [];
+    let fieldType = null;
+    for (const arm of arms) {
+        if (arm.kind === "undefinedT" || arm.kind === "nullT") {
+            fields.push(null);
+            continue;
+        }
+        if (arm.kind !== "record")
+            return null;
+        const field = lowerer.shapes.get(arm.shapeId)?.fields.find((f) => f.name === access.name.text);
+        if (!field || (fieldType !== null && !typeEquals(fieldType, field.type)))
+            return null;
+        fieldType = field.type;
+        fields.push({ shapeId: arm.shapeId, type: field.type });
+    }
+    if (fieldType === null)
+        return null;
+    const loc = locOf(access);
+    const object = lowerer.declareHiddenLocal("%unionWriteObject", receiver.type);
+    const objectRef = varRef(object.id, object.type, loc);
+    const value = lowerer.lowerExprExpecting(rhs, fieldType);
+    const stored = lowerer.declareHiddenLocal("%unionWriteValue", value.type);
+    // Snapshot the reference before evaluating the RHS, which can change the
+    // original binding. Evaluate and retain the value once before dispatch.
+    const body = [
+        { kind: "varDecl", localId: object.id, init: receiver, loc },
+        { kind: "varDecl", localId: stored.id, init: value, loc },
+    ];
+    let dispatch = [];
+    for (let tag = fields.length - 1; tag >= 0; tag--) {
+        const field = fields[tag];
+        const obj = field ? {
+            kind: "unionNarrow", unionId, tag, value: objectRef,
+            type: { kind: "record", shapeId: field.shapeId }, loc,
+        } : null;
+        const write = field && obj ? {
+            kind: "recordSet", obj, shapeId: field.shapeId, field: access.name.text,
+            value: varRef(stored.id, stored.type, loc), loc,
+        } : {
+            kind: "exprStmt",
+            expr: nodeThrowExpr(1, "", `Cannot set properties of ${arms[tag].kind === "nullT" ? "null" : "undefined"} (setting '${access.name.text}')`, VOID, loc), loc,
+        };
+        dispatch = tag === fields.length - 1 ? [write] : [{
+                kind: "if",
+                cond: { kind: "unionIsTag", unionId, tag, value: objectRef, negated: false, type: BOOL, loc },
+                then: [write], else_: dispatch, loc,
+            }];
+    }
+    return { kind: "block", body: [...body, ...dispatch], loc };
+}
+//# sourceMappingURL=union-field-write.js.map

package/dist/frontend/lowering/expressions/union-field-write.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-field-write.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/union-field-write.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE3C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAyC,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAClG,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC;;;4EAG4E;AAC5E,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,MAAmC,EACnC,GAAkB;IAElB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,EAAE,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9F,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IAC/C,IAAI,CAAC,IAAI,EAAE,MAAM;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,MAAM,GAAiD,EAAE,CAAC;IAChE,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/F,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACtF,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1E,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC5D,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;KAC1D,CAAC;IACF,IAAI,QAAQ,GAAa,EAAE,CAAC;IAC5B,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAkB,KAAK,CAAC,CAAC,CAAC;YACjC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS;YACnD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,GAAG;SACtD,CAAC,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,KAAK,GAAW,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC;YACnC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;YACvE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG;SAChD,CAAC,CAAC,CAAC;YACF,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,4BAA4B,IAAI,CAAC,GAAG,CAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,cAAc,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG;SAC7J,CAAC;QACF,QAAQ,GAAG,GAAG,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChD,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBAC7F,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG;aACpC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;AAC9D,CAAC"}

package/dist/frontend/lowering/function-context.d.ts

@@ -0,0 +1,93 @@
+import type * as ts from "../ts7/adapter.js";
+import type { IrBindingSource, IrLocal, IrParam, IrStmt, IrType } from "../../ir/ir.js";
+/** Per-function lowering context. A stack of these models nested functions:
+ * identifier resolution walks outward, and a hit in an enclosing context
+ * turns into a capture (boxing the binding at its origin and threading it
+ * through every function in between). */
+export interface FnCtx {
+    locals: IrLocal[];
+    scopes: Map<ts.Symbol, IrLocal>[];
+    /** Lexical this has no checker symbol and one binding per function.
+     * Direct parameters and threaded captures use this same slot. */
+    thisLocal: IrLocal | null;
+    localCounters: Map<string, number>;
+    /** Bindings belong to this lowering of the body. Generic specializations
+     * share checker symbols and AST declarations, but never local storage. */
+    hoistedVars: Map<ts.Symbol, IrLocal>;
+    hoistedFnDecls: Set<ts.FunctionDeclaration>;
+    /** Forward captures waiting for their source declaration to initialize
+     * the TDZ box. The declaration's owner retains this entry while nested
+     * functions lower and capture its slot. */
+    tdzPredeclared: Map<ts.Symbol, IrLocal>;
+    /** Lifted functions only: capture entries (also present in `locals`,
+     * boxed), in closure caps[] order. undefined ⇔ plain declared function. */
+    captures: IrParam[] | null;
+    /** Parent-function localIds feeding each capture, parallel to captures. */
+    captureSources: string[];
+    captureBySymbol: Map<ts.Symbol, IrLocal>;
+    /** Named function expressions/declarations: the function's own name
+     * symbol. Self-references become `selfRef` (NOT a capture — a box holding
+     * its own closure would be an RC cycle and leak). */
+    selfSymbol: ts.Symbol | null;
+    selfType: IrType | null;
+    /** Await is legal here (async function body). */
+    isAsync?: boolean;
+    /** Yield is legal here (generator function body): the yield/next value
+     * channels the yield lowering types itself against. */
+    generator?: {
+        yieldT: IrType;
+        nextT: IrType;
+        resultType: IrType & {
+            kind: "record";
+        };
+    } | null;
+    /** VARIADIC `arguments` form (rest-marked func type with no declared
+     * rest param): the synthetic trailing dyn-array param `arguments`
+     * reads resolve to. */
+    argumentsLocal?: IrLocal | null;
+    /** Declared return type — lets `return` detect record-shape mismatches
+     * (SC2002) before the validator would ICE on them. */
+    returnType: IrType;
+    /** Implicit-any instance RETURN INFERENCE (resolveInferredReturn):
+     * present ⇔ `return` statements lower their values BARE (no coercion)
+     * and record themselves here; the post-pass unifies the types and wraps
+     * each return onto the settled one. `returnType` holds the DYN pin. */
+    inferReturn?: {
+        entries: {
+            stmt: IrStmt;
+            node: ts.Expression | null;
+        }[];
+    } | null;
+    /** Enclosing jump targets, innermost last. `labels` carries the source
+     * statement's JS label names so labeled break/continue resolve. Finally
+     * regions do not appear here: the backends route every abrupt completion
+     * through the cleanup regions it crosses. Per function, so a nested
+     * function's jumps never bind to enclosing constructs. */
+    ctl: {
+        kind: "loop" | "switch" | "block";
+        labels?: string[];
+    }[];
+}
+export declare function newFnCtx(lifted: boolean, selfSymbol: ts.Symbol | null, selfType: IrType | null, returnType: IrType): FnCtx;
+/** Allocate one function-local name. Symbol identity controls lexical
+ * binding; textual names only determine the emitted local identifier. */
+export declare function declareContextLocal(ctx: FnCtx, name: string, type: IrType, mutable: boolean, symbol: ts.Symbol | undefined, source: IrBindingSource | undefined): IrLocal;
+/** This has one ABI slot per method and no checker symbol. Nested arrow
+ * functions thread that slot through the ordinary capture mechanism. */
+export declare function declareContextThis(ctx: FnCtx, type: IrType): IrLocal;
+/** Look up a binding without allocating captures or boxing its source. */
+export declare function bindingInContext(ctx: FnCtx, symbol: ts.Symbol | undefined): IrLocal | null;
+export interface ContextBindingResult {
+    local: IrLocal | null;
+    origin: IrLocal | null;
+    error: "caught" | "plain" | null;
+}
+/** Resolve a declared binding across function boundaries. Checker queries,
+ * diagnostics and forward-declaration discovery belong to the caller; this
+ * module owns the scope and capture storage used by every lowering pass.
+ *
+ * The origin and every intermediate capture share a box. A captured
+ * forward declaration carries its TDZ marker into each child context.
+ * onCapture runs once per newly allocated edge so analyses can attach
+ * metadata to the same binding without duplicating the lookup algorithm. */
+export declare function captureContextBinding(stack: FnCtx[], symbol: ts.Symbol | undefined, onCapture: (parent: IrLocal, child: IrLocal) => void): ContextBindingResult;

package/dist/frontend/lowering/function-context.js

@@ -0,0 +1,103 @@
+import { InternalCompilerError } from "../../errors.js";
+export function newFnCtx(lifted, selfSymbol, selfType, returnType) {
+    return {
+        locals: [],
+        scopes: [new Map()],
+        thisLocal: null,
+        localCounters: new Map(),
+        hoistedVars: new Map(),
+        hoistedFnDecls: new Set(),
+        tdzPredeclared: new Map(),
+        captures: lifted ? [] : null,
+        captureSources: [],
+        captureBySymbol: new Map(),
+        selfSymbol,
+        selfType,
+        returnType,
+        ctl: [],
+    };
+}
+/** Allocate one function-local name. Symbol identity controls lexical
+ * binding; textual names only determine the emitted local identifier. */
+export function declareContextLocal(ctx, name, type, mutable, symbol, source) {
+    const count = ctx.localCounters.get(name) ?? 0;
+    ctx.localCounters.set(name, count + 1);
+    const local = { id: `${name}.${count}`, name, type, mutable };
+    if (source !== undefined)
+        local.source = source;
+    ctx.locals.push(local);
+    if (symbol !== undefined)
+        ctx.scopes[ctx.scopes.length - 1].set(symbol, local);
+    return local;
+}
+/** This has one ABI slot per method and no checker symbol. Nested arrow
+ * functions thread that slot through the ordinary capture mechanism. */
+export function declareContextThis(ctx, type) {
+    const local = { id: "this.0", name: "this", type, mutable: false };
+    ctx.locals.push(local);
+    ctx.thisLocal = local;
+    return local;
+}
+/** Look up a binding without allocating captures or boxing its source. */
+export function bindingInContext(ctx, symbol) {
+    if (symbol === undefined)
+        return ctx.thisLocal;
+    for (let i = ctx.scopes.length - 1; i >= 0; i--) {
+        const local = ctx.scopes[i].get(symbol);
+        if (local)
+            return local;
+    }
+    return ctx.captureBySymbol.get(symbol) ?? null;
+}
+/** Resolve a declared binding across function boundaries. Checker queries,
+ * diagnostics and forward-declaration discovery belong to the caller; this
+ * module owns the scope and capture storage used by every lowering pass.
+ *
+ * The origin and every intermediate capture share a box. A captured
+ * forward declaration carries its TDZ marker into each child context.
+ * onCapture runs once per newly allocated edge so analyses can attach
+ * metadata to the same binding without duplicating the lookup algorithm. */
+export function captureContextBinding(stack, symbol, onCapture) {
+    const current = stack[stack.length - 1];
+    if (current === undefined)
+        throw new InternalCompilerError("lowerer bug: no active function context");
+    const direct = bindingInContext(current, symbol);
+    if (direct !== null)
+        return { local: direct, origin: direct, error: null };
+    for (let depth = stack.length - 2; depth >= 0; depth--) {
+        const origin = bindingInContext(stack[depth], symbol);
+        if (origin === null)
+            continue;
+        // Caught values are scoped exception storage. A typed local derived
+        // from the exception can escape; the catch binding itself cannot.
+        if (origin.type.kind === "caught")
+            return { local: null, origin, error: "caught" };
+        // dyn/jsval retain their existing untraced box contract. Typed
+        // references use the backends' box tracing for capture cycles.
+        origin.boxed = true;
+        let parentEntry = origin;
+        for (let j = depth + 1; j < stack.length; j++) {
+            const ctx = stack[j];
+            let entry = symbol === undefined ? ctx.thisLocal : ctx.captureBySymbol.get(symbol);
+            if (!entry) {
+                if (ctx.captures === null)
+                    return { local: null, origin, error: "plain" };
+                entry = declareContextLocal(ctx, origin.name, origin.type, origin.mutable, undefined, origin.source);
+                entry.boxed = true;
+                if (origin.tdz)
+                    entry.tdz = true;
+                if (symbol === undefined)
+                    ctx.thisLocal = entry;
+                else
+                    ctx.captureBySymbol.set(symbol, entry);
+                ctx.captures.push({ localId: entry.id, name: entry.name, type: entry.type });
+                ctx.captureSources.push(parentEntry.id);
+                onCapture(parentEntry, entry);
+            }
+            parentEntry = entry;
+        }
+        return { local: parentEntry, origin, error: null };
+    }
+    return { local: null, origin: null, error: null };
+}
+//# sourceMappingURL=function-context.js.map

package/dist/frontend/lowering/function-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-context.js","sourceRoot":"","sources":["../../../src/frontend/lowering/function-context.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAyDxD,MAAM,UAAU,QAAQ,CACtB,MAAe,EACf,UAA4B,EAC5B,QAAuB,EACvB,UAAkB;IAElB,OAAO;QACL,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC;QACnB,SAAS,EAAE,IAAI;QACf,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;QAC5B,cAAc,EAAE,EAAE;QAClB,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,UAAU;QACV,QAAQ;QACR,UAAU;QACV,GAAG,EAAE,EAAE;KACR,CAAC;AACJ,CAAC;AAED;yEACyE;AACzE,MAAM,UAAU,mBAAmB,CACjC,GAAU,EACV,IAAY,EACZ,IAAY,EACZ,OAAgB,EAChB,MAA6B,EAC7B,MAAmC;IAEnC,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACvC,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACvE,IAAI,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;IAChD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,IAAI,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,GAAU,EAAE,IAAY;IACzD,MAAM,KAAK,GAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5E,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;IACtB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,GAAU,EAAE,MAA6B;IACxE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,SAAS,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;AACjD,CAAC;AAQD;;;;;;;4EAO4E;AAC5E,MAAM,UAAU,qBAAqB,CACnC,KAAc,EACd,MAA6B,EAC7B,SAAoD;IAEpD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxC,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,qBAAqB,CAAC,yCAAyC,CAAC,CAAC;IACtG,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC3E,KAAK,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAE,EAAE,MAAM,CAAC,CAAC;QACvD,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,oEAAoE;QACpE,kEAAkE;QAClE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QACnF,+DAA+D;QAC/D,+DAA+D;QAC/D,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,IAAI,WAAW,GAAG,MAAM,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACtB,IAAI,KAAK,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACnF,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;oBAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;gBAC1E,KAAK,GAAG,mBAAmB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;gBACrG,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;gBACnB,IAAI,MAAM,CAAC,GAAG;oBAAE,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC;gBACjC,IAAI,MAAM,KAAK,SAAS;oBAAE,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;;oBAC3C,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7E,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;gBACxC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAChC,CAAC;YACD,WAAW,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACrD,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACpD,CAAC"}

package/dist/frontend/lowering/generator-delegation.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";
+/** The synchronous IteratorRecord protocol, including completion forwarding.
+ * Native class methods enter through the checked-value dispatcher; every
+ * step and every user method still executes as compiled code. */
+export declare function lowerCheckedDelegation(lowerer: Lowerer, expr: ts.YieldExpression, source: IrExpr): IrExpr;

package/dist/frontend/lowering/generator-delegation.js

@@ -0,0 +1,85 @@
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN, F64, STRING, canConvertToDyn } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { locOf } from "../program.js";
+import { dynUndefinedExpr } from "./lowerer.js";
+/** The synchronous IteratorRecord protocol, including completion forwarding.
+ * Native class methods enter through the checked-value dispatcher; every
+ * step and every user method still executes as compiled code. */
+export function lowerCheckedDelegation(lowerer, expr, source) {
+    const loc = locOf(expr);
+    const gen = lowerer.ctx.generator;
+    const returnType = lowerer.ctx.returnType;
+    for (const type of [gen.nextT, returnType]) {
+        if (type.kind !== "void" && type.kind !== "undefinedT" &&
+            !canConvertToDyn(type, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id))) {
+            lowerer.unsupported("SC1071", expr, "delegation with a channel that cannot cross a checked iterator method");
+        }
+    }
+    const slot = (name, mutable = false) => {
+        const local = lowerer.declareHiddenLocal(name, DYN);
+        local.mutable = mutable;
+        return { local, ref: varRef(local.id, DYN, loc) };
+    };
+    const iterator = slot("%delegate");
+    const next = slot("%delegateNext");
+    const step = slot("%delegateStep", true);
+    const resume = slot("%delegateResume");
+    const returned = slot("%delegateReturn");
+    const thrown = slot("%delegateThrow");
+    const close = slot("%delegateClose");
+    const get = (value, key) => ({
+        kind: "dynKeyGet", value, key: { kind: "strLit", value: key, type: STRING, loc }, type: DYN, loc,
+    });
+    const check = (value) => ({ kind: "libCall", fn: "dyn.iteratorResult", args: [value], type: DYN, loc });
+    const call = (callee, args) => check({
+        kind: "dynCall", callee, receiver: iterator.ref, calleeName: "iterator method", args, type: DYN, loc,
+    });
+    const done = () => ({ kind: "dynTest", test: "truthy", value: get(step.ref, "done"), type: BOOL, loc });
+    const absent = (value) => ({ kind: "dynTest", test: "nullish", value, type: BOOL, loc });
+    const sent = get(resume.ref, "value");
+    const mode = (value) => ({
+        kind: "bin", op: "===", left: { kind: "dynCheck", value: get(resume.ref, "kind"), type: F64, loc },
+        right: { kind: "numLit", value, type: F64, loc }, type: BOOL, loc,
+    });
+    const assign = (value) => ({ kind: "assign", localId: step.local.id, value, loc });
+    const declare = (target, init) => ({ kind: "varDecl", localId: target.local.id, init, loc });
+    const finish = (value) => returnType.kind === "void" ? [
+        { kind: "if", cond: { kind: "unary", op: "!", operand: { kind: "dynTest", test: "undefined", value, type: BOOL, loc }, type: BOOL, loc }, then: [
+                { kind: "runtimeFence", code: "SC1071", message: "returning a value through a void native generator channel is not supported yet", loc },
+            ], else_: null, loc },
+        { kind: "return", value: null, loc },
+    ] : [{ kind: "return", value: lowerer.coerceToExpected(value, returnType), loc }];
+    const stmts = [
+        declare(iterator, check({ kind: "libCall", fn: "dyn.iterator", args: [lowerer.coerceInto(expr.expression, source, DYN), { kind: "strLit", value: "", type: STRING, loc }], type: DYN, loc })),
+        declare(next, get(iterator.ref, "next")),
+        declare(step, call(next.ref, [dynUndefinedExpr(loc)])),
+        { kind: "while", cond: { kind: "unary", op: "!", operand: done(), type: BOOL, loc }, body: [
+                declare(resume, { kind: "yieldExpr", value: lowerer.coerceToExpected(get(step.ref, "value"), gen.yieldT), captureCompletion: { returnType }, type: DYN, loc }),
+                { kind: "if", cond: mode(0), then: [assign(call(next.ref, [sent]))], else_: [
+                        { kind: "if", cond: mode(1), then: [
+                                declare(returned, get(iterator.ref, "return")),
+                                { kind: "if", cond: absent(returned.ref), then: finish(sent), else_: [
+                                        assign(call(returned.ref, [sent])),
+                                        { kind: "if", cond: done(), then: finish(get(step.ref, "value")), else_: null, loc },
+                                    ], loc },
+                            ], else_: [
+                                declare(thrown, get(iterator.ref, "throw")),
+                                { kind: "if", cond: absent(thrown.ref), then: [
+                                        declare(close, get(iterator.ref, "return")),
+                                        { kind: "if", cond: { kind: "unary", op: "!", operand: absent(close.ref), type: BOOL, loc }, then: [
+                                                { kind: "exprStmt", expr: call(close.ref, []), loc },
+                                            ], else_: null, loc },
+                                        { kind: "throw", value: { kind: "libCall", fn: "error.new", args: [
+                                                    { kind: "strLit", value: "The iterator does not provide a 'throw' method.", type: STRING, loc },
+                                                ], type: { kind: "object", className: "%TypeError" }, loc }, loc },
+                                    ], else_: [assign(call(thrown.ref, [sent]))], loc },
+                            ], loc },
+                    ], loc },
+            ], loc },
+    ];
+    const expected = lowerer.mapTypeOf(lowerer.typeOf(expr));
+    const result = expected && expected.kind !== "void" ? lowerer.coerceToExpected(get(step.ref, "value"), expected) : get(step.ref, "value");
+    return { kind: "seqExpr", stmts, result, generatorDelegate: true, type: result.type, loc };
+}
+//# sourceMappingURL=generator-delegation.js.map

package/dist/frontend/lowering/generator-delegation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator-delegation.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-delegation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,EAA4B,MAAM,gBAAgB,CAAC;AACnG,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAgB,MAAM,cAAc,CAAC;AAE9D;;iEAEiE;AACjE,MAAM,UAAU,sBAAsB,CAAC,OAAgB,EAAE,IAAwB,EAAE,MAAc;IAC/F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,SAAU,CAAC;IACnC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAClD,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3F,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,uEAAuE,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,GAAW,EAAU,EAAE,CAAC,CAAC;QACnD,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;KACjG,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACxH,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAU,EAAE,CAAC,KAAK,CAAC;QAC7D,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;KACrG,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACzG,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAClG,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG;KAClE,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IACnG,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1H,MAAM,MAAM,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;QACvE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;gBAC9I,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gFAAgF,EAAE,GAAG,EAAE;aACzI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;QACrB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;KACrC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAClF,MAAM,KAAK,GAAa;QACtB,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAW,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9L,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;gBACzF,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gBAC9J,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE;wBAC1E,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;gCACjC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gCAC9C,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE;wCACnE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;wCAClC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;qCACrF,EAAE,GAAG,EAAE;6BACT,EAAE,KAAK,EAAE;gCACR,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gCAC3C,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE;wCAC5C,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wCAC3C,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;gDACjG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE;6CACrD,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;wCACrB,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE;oDAChE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,iDAAiD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;iDAChG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;qCACnE,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;6BACpD,EAAE,GAAG,EAAE;qBACT,EAAE,GAAG,EAAE;aACT,EAAE,GAAG,EAAE;KACT,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC1I,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC7F,CAAC"}

package/dist/frontend/lowering/generator-dynamic-dispatch.d.ts

@@ -0,0 +1,10 @@
+import { type IrFunction } from "../../ir/ir.js";
+import { type Lowerer } from "./lowerer.js";
+/** An untyped consumer resumes the original native fiber. The capsule's
+ * exact type key selects the channel conversions and result layout. */
+export declare class GeneratorDynamicDispatch {
+    private readonly generators;
+    private readonly dispatches;
+    private readonly generated;
+    process(lowerer: Lowerer, functions: readonly IrFunction[], classHelpers: ReadonlySet<IrFunction>): boolean;
+}

package/dist/frontend/lowering/generator-dynamic-dispatch.js

@@ -0,0 +1,105 @@
+import { BOOL, DYN, STRING, canConvertToDyn, typeEquals, typeKey } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { everyStmtList, transformStmtList } from "../../ir/traverse.js";
+import { genResultRecord } from "../type-mapper.js";
+import { dynUndefinedExpr } from "./lowerer.js";
+/** An untyped consumer resumes the original native fiber. The capsule's
+ * exact type key selects the channel conversions and result layout. */
+export class GeneratorDynamicDispatch {
+    generators = new Map();
+    dispatches = new Map();
+    generated = new Set();
+    process(lowerer, functions, classHelpers) {
+        const seen = new Set();
+        const rewrite = new Set();
+        const discover = (type) => {
+            const key = typeKey(type);
+            if (seen.has(key))
+                return;
+            seen.add(key);
+            if (type.kind === "generator")
+                this.generators.set(key, type);
+            else if (type.kind === "func")
+                discover(type.ret);
+            else if (type.kind === "promise")
+                discover(type.inner);
+            else if (type.kind === "array")
+                discover(type.elem);
+            else if (type.kind === "record")
+                lowerer.shapes.get(type.shapeId)?.fields.forEach((field) => discover(field.type));
+            else if (type.kind === "union")
+                lowerer.unions.get(type.unionId)?.arms.forEach(discover);
+        };
+        for (const fn of functions)
+            everyStmtList(fn.body, { stmt: () => true, expr: (expr) => {
+                    if (expr.kind === "dynFrom")
+                        discover(expr.value.type);
+                    if (expr.kind === "dynInvoke" && ["next", "return", "throw"].includes(expr.method))
+                        rewrite.add(fn);
+                    return true;
+                } });
+        let changed = false;
+        for (const fn of functions) {
+            // The generator helper's fallback may itself dispatch native classes.
+            // Its class helper must retain the runtime fallback, not route back
+            // to the generator helper and form an indirect recursion cycle.
+            if (this.generated.has(fn) || classHelpers.has(fn) || !rewrite.has(fn))
+                continue;
+            fn.body = transformStmtList(fn.body, { stmt: (stmt) => stmt, expr: (expr) => {
+                    if (expr.kind !== "dynInvoke" || !["next", "return", "throw"].includes(expr.method))
+                        return expr;
+                    const key = JSON.stringify([expr.method, expr.args.length, expr.calleeName]);
+                    let dispatch = this.dispatches.get(key);
+                    if (!dispatch) {
+                        const loc = expr.loc;
+                        const params = [expr.recv, ...expr.args].map((_, i) => ({ localId: `p.${i}`, name: `p${i}`, type: DYN }));
+                        const helper = {
+                            name: `%dyn.generator.call.${this.dispatches.size}`, params, returnType: DYN,
+                            locals: params.map((p) => ({ id: p.localId, name: p.name, type: DYN, mutable: false })),
+                            body: [{ kind: "return", value: { ...expr, recv: varRef("p.0", DYN, loc), args: expr.args.map((_, i) => varRef(`p.${i + 1}`, DYN, loc)) }, loc }], loc,
+                        };
+                        dispatch = { fn: helper, source: expr, types: new Set() };
+                        this.dispatches.set(key, dispatch);
+                        this.generated.add(helper);
+                        lowerer.liftedFns.push(helper);
+                        changed = true;
+                    }
+                    return { kind: "call", callee: dispatch.fn.name, args: [expr.recv, ...expr.args], type: DYN, loc: expr.loc };
+                } });
+        }
+        for (const dispatch of this.dispatches.values())
+            for (const [key, type] of this.generators) {
+                if (dispatch.types.has(key))
+                    continue;
+                dispatch.types.add(key);
+                const loc = dispatch.fn.loc;
+                const receiver = varRef("p.0", DYN, loc);
+                const mode = dispatch.source.method;
+                const result = genResultRecord(type.yieldT, type.retT, lowerer.shapes, lowerer.unions);
+                const resultType = type.async ? { kind: "promise", inner: result } : result;
+                const supplied = dispatch.source.args.length > 0;
+                const incoming = supplied ? varRef("p.1", DYN, loc) : dynUndefinedExpr(loc);
+                const channel = mode === "next" ? type.nextT : type.retT;
+                const arg = mode === "throw" ? incoming : channel.kind === "undefinedT" || channel.kind === "void" ? null : lowerer.coerceToExpected(incoming, channel);
+                const convertible = canConvertToDyn(resultType, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id));
+                const body = [];
+                // A void return channel cannot store a supplied completion value.
+                if (mode === "return" && type.retT.kind === "void" && supplied)
+                    body.push({
+                        kind: "if", cond: { kind: "unary", op: "!", operand: { kind: "dynTest", test: "undefined", value: incoming, type: BOOL, loc }, type: BOOL, loc },
+                        then: [{ kind: "runtimeFence", code: "SC1071", message: "returning a value through a void native generator channel is not supported yet", loc }], else_: null, loc,
+                    });
+                body.push(convertible && (arg === null || mode === "throw" || typeEquals(arg.type, channel))
+                    ? { kind: "return", value: { kind: "dynFrom", value: {
+                                kind: "genResume", mode, gen: { kind: "dynCheck", value: receiver, type, loc }, arg, type: resultType, loc,
+                            }, type: DYN, loc }, loc }
+                    : { kind: "runtimeFence", code: "SC1071", message: "resuming this native generator through an untyped value is not supported yet", loc });
+                dispatch.fn.body.unshift({ kind: "if", cond: {
+                        kind: "libCall", fn: "dyn.typedRefIs", args: [receiver, { kind: "strLit", value: key, type: STRING, loc }], type: BOOL, loc,
+                    }, then: body, else_: null, loc });
+                changed = true;
+            }
+        return changed;
+    }
+}
+//# sourceMappingURL=generator-dynamic-dispatch.js.map

package/dist/frontend/lowering/generator-dynamic-dispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator-dynamic-dispatch.js","sourceRoot":"","sources":["../../../src/frontend/lowering/generator-dynamic-dispatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,OAAO,EAA0D,MAAM,gBAAgB,CAAC;AACjJ,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAgB,MAAM,cAAc,CAAC;AAK9D;uEACuE;AACvE,MAAM,OAAO,wBAAwB;IAClB,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,UAAU,GAAG,IAAI,GAAG,EAAkE,CAAC;IACvF,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IAEnD,OAAO,CAAC,OAAgB,EAAE,SAAgC,EAAE,YAAqC;QAC/F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;QACtC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAQ,EAAE;YACtC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO;YAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;iBACzD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;iBAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBAClD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;iBAC9G,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3F,CAAC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,SAAS;YAAE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACpF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;wBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACpG,OAAO,IAAI,CAAC;gBACd,CAAC,EAAE,CAAC,CAAC;QACL,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,sEAAsE;YACtE,oEAAoE;YACpE,gEAAgE;YAChE,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACjF,EAAE,CAAC,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACjG,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;oBAC7E,IAAI,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;wBACrB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;wBAC1G,MAAM,MAAM,GAAe;4BACzB,IAAI,EAAE,uBAAuB,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG;4BAC5E,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;4BACvF,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG;yBACvJ,CAAC;wBACF,QAAQ,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;wBAC1D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC/B,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;oBACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC/G,CAAC,EAAE,CAAC,CAAC;QACP,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;YAAE,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC3F,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACtC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;gBAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAqC,CAAC;gBACnE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAE,CAAC;gBACxF,MAAM,UAAU,GAAW,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAC5E,MAAM,OAAO,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzD,MAAM,GAAG,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACxJ,MAAM,WAAW,GAAG,eAAe,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChH,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,kEAAkE;gBAClE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ;oBAAE,IAAI,CAAC,IAAI,CAAC;wBACxE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAChJ,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gFAAgF,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG;qBACnK,CAAC,CAAC;gBACH,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC1F,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;gCACnD,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG;6BAC3G,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;oBAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,8EAA8E,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC5I,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;wBAC3C,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG;qBAC5H,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACnC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}

package/dist/frontend/lowering/lib-boundary.d.ts

@@ -1,6 +1,7 @@
 import type { Lowerer } from "./lowerer.js";
+import { type IrStmt } from "../../ir/ir.js";
 /** Walks one lowered statement's IR in place, coercing or fencing every
  * signature-table argument slot. Idempotent: a wrapped argument matches its
  * slot on a revisit (nested statement lists are walked by their own
  * lowerStmts call first, then again inside the enclosing statement). */
-export declare function enforceLibBoundary(lowerer: Lowerer, node: unknown): void;
+export declare function enforceLibBoundary(lowerer: Lowerer, node: IrStmt | IrStmt[]): void;