@scriptc/compiler 0.2.4 → 0.2.6

package/dist/frontend/lowering/native-ffi.js

@@ -1,40 +1,509 @@
-import { DYN, VOID, ffiClassType, ffiSourceParamTypes, funcOf, isFfiCallbackParam } from "../../ir/ir.js";
+import * as ts from "../ts7/adapter.js";
+import { PoisonError } from "./lowerer.js";
+import { ffiClassType, ffiSourceParamTypes, isFfiCallbackParam, isFfiContextParam, isFfiReleaseParam, typeEquals, DYN, VOID, funcOf, } from "../../ir/ir.js";
+import { locOf } from "../program.js";
+import { ffiBindingDiag, ffiSignatureDiag, libCallbackDiag, } from "../../diagnostics/diagnostic.js";
 import { strLit, varRef } from "../../ir/build.js";
+function ffiSourceParams(binding) {
+    const params = [];
+    for (const param of binding.params) {
+        if (!isFfiContextParam(param))
+            params.push(param);
+    }
+    return params;
+}
+function ffiParamDisplay(param) {
+    return isFfiCallbackParam(param)
+        ? `callback '${param.callback.id}'`
+        : isFfiReleaseParam(param)
+            ? `release callback '${param.callback.release}'`
+            : `class '${param}'`;
+}
+/** A native input must cover its full scalar domain before IR widening.
+ * Bytes and void have no scalar-domain check. */
+function ffiScalarDomain(nativeClass) {
+    switch (nativeClass) {
+        case "bytes":
+        case "void":
+            return null;
+        case "i64":
+        case "u64":
+        case "pointer":
+            return { name: "bigint", flag: ts.TypeFlags.BigInt };
+        case "bool":
+            return { name: "boolean", flag: ts.TypeFlags.Boolean };
+        case "cstring":
+        case "string":
+            return { name: "string", flag: ts.TypeFlags.String };
+        default:
+            return { name: "number", flag: ts.TypeFlags.Number };
+    }
+}
+/** Callback arguments flow from native code into TypeScript. Their source
+ * declarations therefore need to cover the whole scalar domain represented
+ * by the manifest class: IR widening alone cannot distinguish `0`, a numeric
+ * enum, or `never` from an unrestricted `number`. */
+function ffiCallbackInputDiagnostic(lowerer, descriptor, callbackType) {
+    const signatures = lowerer.checker.getCallSignatures(callbackType);
+    if (signatures.length !== 1)
+        return null;
+    const nativeParams = [];
+    for (const param of descriptor.callback.params) {
+        if (!isFfiContextParam(param))
+            nativeParams.push(param);
+    }
+    let nativeIndex = 0;
+    const params = signatures[0].getParameters();
+    for (let i = 0; i < params.length; i++) {
+        const paramType = lowerer.checker.getTypeOfSymbol(params[i]);
+        const mapped = lowerer.mapTypeOf(paramType);
+        // Function mapping drops a `void` parameter because it consumes no
+        // argument. Mirror that alignment before comparing manifest slots.
+        if (mapped?.kind === "void")
+            continue;
+        const nativeClass = nativeParams[nativeIndex++];
+        if (nativeClass === undefined ||
+            mapped === null ||
+            !typeEquals(mapped, ffiClassType(nativeClass))) {
+            continue;
+        }
+        const domain = ffiScalarDomain(nativeClass);
+        if (domain === null)
+            continue;
+        if ((paramType.flags & domain.flag) === 0) {
+            const descriptorName = isFfiCallbackParam(descriptor)
+                ? descriptor.callback.id
+                : descriptor.callback.release;
+            return (`callback '${descriptorName}' parameter ${i + 1} is '${lowerer.checker.typeToString(paramType)}', ` +
+                `but native class '${nativeClass}' may supply any ${domain.name}; declare it as '${domain.name}'`);
+        }
+    }
+    return null;
+}
+/** Values returned by native code flow into TypeScript, so a declaration
+ * must admit the whole scalar domain the ABI class can produce. `mapType`
+ * intentionally widens literal and enum types to their storage type; that
+ * is sound for script-owned values but not for an external return contract
+ * (`(): true` cannot describe a bool callback that is free to return false). */
+function ffiReturnDomainDiagnostic(lowerer, nativeClass, returnType) {
+    const domain = ffiScalarDomain(nativeClass);
+    if (domain === null)
+        return null;
+    return (returnType.flags & domain.flag) !== 0
+        ? null
+        : `the return type is '${lowerer.checker.typeToString(returnType)}', but native class '${nativeClass}' may supply ` +
+            `any ${domain.name}; declare it as '${domain.name}'`;
+}
+/** The binding surface's diagnostic flavor: native-manifest bindings
+ * speak the SC5002/SC5003 FFI codes; library-mode host callbacks are the
+ * same recognition machinery under the profile's vocabulary — SC4024 for
+ * both the binding and signature halves, with "manifest" respelled
+ * "profile" in the shared detail strings so the teaching names the
+ * document the author actually edits. */
+function ffiFlavor(lowerer) {
+    if (!lowerer.libraryCallbacks)
+        return { binding: ffiBindingDiag, signature: ffiSignatureDiag };
+    const lib = (name, detail, loc) => libCallbackDiag(name, detail.replaceAll("manifest", "profile"), loc);
+    return { binding: lib, signature: lib };
+}
+/** The declaration half of an outbound FFI binding. Kept independent of
+ * call-site argument checks so the whole manifest can be validated even
+ * when a configured function is never called. */
+function ffiDeclarationDiagnostic(lowerer, binding, symbol, loc) {
+    const { binding: bindingDiag, signature: signatureDiag } = ffiFlavor(lowerer);
+    const declarations = lowerer.checker.declarationsOf(symbol);
+    const functionDecls = declarations.filter(ts.isFunctionDeclaration);
+    if (functionDecls.length === 0 ||
+        declarations.some((decl) => !ts.isFunctionDeclaration(decl)) ||
+        functionDecls.some((decl) => decl.body !== undefined)) {
+        return bindingDiag(binding.name, "the configured name does not resolve exclusively to signature-only function declarations", loc);
+    }
+    if (functionDecls.some((decl) => (decl.typeParameters?.length ?? 0) > 0)) {
+        return signatureDiag(binding.name, "generic ambient declarations cannot describe one fixed C ABI", loc);
+    }
+    const signatures = lowerer.checker.getCallSignatures(lowerer.checker.getTypeOfSymbol(symbol));
+    if (signatures.length !== 1) {
+        return signatureDiag(binding.name, `the ambient binding has ${signatures.length} call signatures; exactly one non-overloaded signature is required`, loc);
+    }
+    const signature = signatures[0];
+    const params = signature.getParameters();
+    const sourceParams = ffiSourceParams(binding);
+    if (params.length !== sourceParams.length) {
+        return signatureDiag(binding.name, `the TypeScript declaration has ${params.length} parameter(s), but the manifest declares ${sourceParams.length} source parameter(s) ` +
+            `(${binding.params.length - sourceParams.length} additional native context slot(s) are compiler-supplied)`, loc);
+    }
+    const expectedParams = ffiSourceParamTypes(binding.params);
+    for (let i = 0; i < params.length; i++) {
+        const paramType = lowerer.checker.getTypeOfSymbol(params[i]);
+        const sourceParam = sourceParams[i];
+        // `mapType` deliberately gives uninhabited value positions a cheap f64
+        // slot because no TypeScript value can ever reach them. An FFI
+        // declaration is different: it is a callable external contract, so a
+        // `never` slot cannot truthfully describe any native parameter.
+        if ((paramType.flags & ts.TypeFlags.Never) !== 0) {
+            return signatureDiag(binding.name, `parameter ${i + 1} is 'never', an uninhabited TypeScript type that cannot describe a native ABI parameter`, loc);
+        }
+        if (isFfiCallbackParam(sourceParam) || isFfiReleaseParam(sourceParam)) {
+            const callbackDiagnostic = ffiCallbackInputDiagnostic(lowerer, sourceParam, paramType);
+            if (callbackDiagnostic !== null) {
+                return signatureDiag(binding.name, callbackDiagnostic, loc);
+            }
+        }
+        const mapped = lowerer.mapTypeOf(paramType);
+        const expected = expectedParams[i];
+        if (mapped === null || !typeEquals(mapped, expected)) {
+            return signatureDiag(binding.name, `parameter ${i + 1} maps to '${mapped === null ? lowerer.checker.typeToString(paramType) : lowerer.fmt(mapped)}', ` +
+                `which does not fit manifest ${ffiParamDisplay(sourceParam)}`, loc);
+        }
+    }
+    const returnType = lowerer.checker.getReturnTypeOfSignature(signature);
+    // A native function is allowed to return. Accepting `never` here would
+    // let tsc erase all control flow after the call while the linked function
+    // continues, making the generated program disagree with TypeScript.
+    if ((returnType.flags & ts.TypeFlags.Never) !== 0) {
+        return signatureDiag(binding.name, "the return type is 'never', but a native ABI return cannot uphold TypeScript's non-returning contract", loc);
+    }
+    const declaredReturn = lowerer.mapTypeOf(returnType);
+    const expectedReturn = ffiClassType(binding.returns);
+    if (declaredReturn === null || !typeEquals(declaredReturn, expectedReturn)) {
+        return signatureDiag(binding.name, `the return maps to '${declaredReturn === null ? lowerer.checker.typeToString(returnType) : lowerer.fmt(declaredReturn)}', ` +
+            `which does not fit manifest class '${binding.returns}'`, loc);
+    }
+    const returnDomainDiagnostic = ffiReturnDomainDiagnostic(lowerer, binding.returns, returnType);
+    if (returnDomainDiagnostic !== null) {
+        return signatureDiag(binding.name, returnDomainDiagnostic, loc);
+    }
+    return null;
+}
+/** True when a library callback may claim declarations from this file.
+ * Ordinary program source is always eligible. Declaration files are
+ * eligible only when they are project-owned: the standard library and
+ * installed/workspace package declarations are existing ambient surfaces,
+ * never callback declarations merely because a profile channel shares their
+ * spelling. */
+function libraryCallbackOwnsFile(lowerer, file) {
+    return !file.isDeclarationFile || (!lowerer.isStdlibFile(file) && !lowerer.isNpmFile(file));
+}
+/** Resolve and validate every configured outbound binding before emit.
+ * Candidate declarations are signature-only functions bearing the manifest
+ * name anywhere in the program. Multiple scoped declarations are all native
+ * bindings under the existing name-based call surface, so every candidate
+ * must fit the one manifest ABI. Library callbacks additionally exclude
+ * standard-library and package declaration files while retaining project
+ * declaration files as authored callback surface. */
+export function validateFfiImports(lowerer) {
+    const diagnostics = [];
+    const symbolsByName = new Map();
+    const configuredNames = new Set(lowerer.ffiImports
+        .filter((binding) => binding.library === undefined)
+        .map((binding) => binding.name));
+    const candidates = new Map();
+    if (configuredNames.size === 0)
+        return { diagnostics, symbolsByName };
+    for (const file of lowerer.program.getSourceFiles()) {
+        if (lowerer.libraryCallbacks && !libraryCallbackOwnsFile(lowerer, file))
+            continue;
+        ts.walkPreorder(file, (node) => {
+            if (ts.isFunctionDeclaration(node)) {
+                if (node.body === undefined &&
+                    node.name !== undefined &&
+                    configuredNames.has(node.name.text)) {
+                    const symbol = lowerer.checker.getSymbolAtLocation(node.name);
+                    if (symbol !== undefined) {
+                        let bySymbol = candidates.get(node.name.text);
+                        if (bySymbol === undefined) {
+                            bySymbol = new Map();
+                            candidates.set(node.name.text, bySymbol);
+                        }
+                        if (!bySymbol.has(symbol))
+                            bySymbol.set(symbol, node);
+                    }
+                }
+                return "skip";
+            }
+            if (ts.isFunctionLike(node))
+                return "skip";
+        });
+    }
+    for (const binding of lowerer.ffiImports) {
+        if (binding.library !== undefined)
+            continue;
+        const bySymbol = candidates.get(binding.name);
+        if (bySymbol === undefined || bySymbol.size === 0) {
+            // A native-manifest binding with no declaration is a broken build
+            // input. A library callback channel with no declaration is unused
+            // CAPACITY: the registration symbol still dispatches it, nothing
+            // calls it, and a later program revision may (a program that calls
+            // the name without declaring it fails ordinary typechecking first).
+            if (!lowerer.libraryCallbacks) {
+                diagnostics.push(ffiBindingDiag(binding.name, "the program has no signature-only function declaration with this name", { file: lowerer.entry.fileName, start: 0, end: 0 }));
+            }
+            else {
+                // Preserve the distinction between unused capacity and a binding
+                // whose program declaration was found but failed validation. The
+                // latter deliberately leaves no map entry so calls poison without
+                // duplicating the program-level diagnostic; the empty set lets call
+                // lowering inspect same-named builtins, implementations, and
+                // unsupported ambient declaration shapes individually.
+                symbolsByName.set(binding.name, new Set());
+            }
+            continue;
+        }
+        const validSymbols = new Set();
+        let valid = true;
+        for (const [symbol, declaration] of bySymbol) {
+            const diagnostic = ffiDeclarationDiagnostic(lowerer, binding, symbol, locOf(declaration));
+            if (diagnostic === null) {
+                validSymbols.add(symbol);
+            }
+            else {
+                diagnostics.push(diagnostic);
+                valid = false;
+            }
+        }
+        if (valid)
+            symbolsByName.set(binding.name, validSymbols);
+    }
+    return { diagnostics, symbolsByName };
+}
+/** A manifest-bound call of a signature-only ambient declaration. This
+ * recognition deliberately runs before ambientUndefVarRootOf: without the
+ * manifest the exact same source keeps Node's ReferenceError semantics;
+ * with it, only the resolved declaration binding (never a shadowing
+ * function with a body) becomes a direct native call. */
+export function lowerFfiCall(lowerer, expr) {
+    if (!ts.isIdentifier(expr.expression))
+        return null;
+    const binding = lowerer.ffiImportsByName.get(expr.expression.text);
+    if (binding?.library !== undefined)
+        return null;
+    if (binding === undefined) {
+        // LIBRARY mode with a declared callback surface: a CALL of a
+        // program-authored signature-only ambient function that names no
+        // channel is the author reaching for the host seam the profile does
+        // not provide — refuse with the callback teaching instead of the
+        // ambient ReferenceError lowering. Scoped to project-owned source and
+        // declaration files so lib.d.ts/@types/package ambients (parseInt,
+        // setTimeout, …) keep every existing lowering; callback-free profiles
+        // are untouched.
+        if (lowerer.libraryCallbacks) {
+            const symbol = lowerer.resolveValueSymbol(expr.expression);
+            const decls = symbol === null ? [] : lowerer.checker.declarationsOf(symbol);
+            const callbackShaped = decls.length > 0 &&
+                decls.every((decl) => ts.isFunctionDeclaration(decl) &&
+                    decl.body === undefined &&
+                    libraryCallbackOwnsFile(lowerer, decl.getSourceFile()));
+            if (callbackShaped) {
+                lowerer.pushDiag(libCallbackDiag(expr.expression.text, "the profile declares no callback channel with this name", locOf(expr)));
+                throw new PoisonError();
+            }
+        }
+        return null;
+    }
+    const loc = locOf(expr);
+    const { binding: bindingFlavor, signature: signatureFlavor } = ffiFlavor(lowerer);
+    const bindingError = (detail) => {
+        lowerer.pushDiag(bindingFlavor(binding.name, detail, loc));
+        throw new PoisonError();
+    };
+    const signatureError = (detail) => {
+        lowerer.pushDiag(signatureFlavor(binding.name, detail, loc));
+        throw new PoisonError();
+    };
+    const symbol = lowerer.resolveValueSymbol(expr.expression);
+    if (!symbol)
+        bindingError("the call has no resolved TypeScript symbol");
+    if (lowerer.ffiBindingSymbols !== null) {
+        const validSymbols = lowerer.ffiBindingSymbols.get(binding.name);
+        // No entry means the program-level pass already diagnosed this
+        // binding. Poison the statement without duplicating that diagnostic.
+        if (validSymbols === undefined)
+            throw new PoisonError();
+        if (!validSymbols.has(symbol)) {
+            if (lowerer.libraryCallbacks) {
+                const declarations = lowerer.checker.declarationsOf(symbol);
+                const programDeclarations = declarations.filter((decl) => libraryCallbackOwnsFile(lowerer, decl.getSourceFile()));
+                const programAmbient = programDeclarations.length > 0 &&
+                    programDeclarations.every((decl) => decl.getSourceFile().isDeclarationFile ||
+                        (ts.getCombinedModifierFlags(decl) & ts.ModifierFlags.Ambient) !==
+                            0);
+                if (programAmbient) {
+                    // A called, program-authored ambient with a configured channel
+                    // name is not unused capacity. Validate the resolved symbol now
+                    // so unsupported declaration forms (`declare const cb: ...`)
+                    // refuse SC4024 instead of silently dropping the call. A valid
+                    // declaration missed by the up-front syntax walk may proceed as
+                    // the callback binding after this exact-symbol check.
+                    const diagnostic = ffiDeclarationDiagnostic(lowerer, binding, symbol, loc);
+                    if (diagnostic !== null) {
+                        lowerer.pushDiag(diagnostic);
+                        throw new PoisonError();
+                    }
+                }
+                else {
+                    // Standard-library/package ambients and same-named program
+                    // implementations remain their ordinary TypeScript bindings;
+                    // the profile does not claim them.
+                    return null;
+                }
+            }
+            else {
+                // TypeScript resolved this call to a distinct local declaration.
+                // The manifest owns only the exact validated ambient binding; a
+                // same-named function with a body remains ordinary scriptc code.
+                return null;
+            }
+        }
+    }
+    else {
+        const diagnostic = ffiDeclarationDiagnostic(lowerer, binding, symbol, loc);
+        if (diagnostic !== null) {
+            lowerer.pushDiag(diagnostic);
+            throw new PoisonError();
+        }
+    }
+    if (expr.questionDotToken !== undefined || expr.typeArguments !== undefined) {
+        signatureError("native bindings support direct, non-generic calls only");
+    }
+    if (expr.arguments.some(ts.isSpreadElement)) {
+        signatureError("spread arguments do not have a fixed native ABI");
+    }
+    const expectedParams = ffiSourceParamTypes(binding.params);
+    if (expr.arguments.length !== expectedParams.length) {
+        signatureError(`this call passes ${expr.arguments.length} argument(s), but the native binding requires exactly ${expectedParams.length}`);
+    }
+    const expectedReturn = ffiClassType(binding.returns);
+    const sourceParams = ffiSourceParams(binding);
+    const args = expr.arguments.map((arg, i) => {
+        const sourceParam = sourceParams[i];
+        const expected = expectedParams[i];
+        const lowered = lowerer.lowerExprExpecting(arg, expected);
+        // Retained identity is the runtime closure pointer. A coercion adapter
+        // would be freshly allocated at registration and release sites, so an
+        // assignable-but-different function shape (notably `() => number` into
+        // `() => void`) cannot honestly participate in explicit release. The
+        // adapter set comes from the mint sites themselves (Lowerer's
+        // freshClosureAdapters), not name-prefix matching, so a new coercion
+        // helper cannot silently slip past this guard.
+        if (isFfiReleaseParam(sourceParam) ||
+            (isFfiCallbackParam(sourceParam) && sourceParam.callback.lifetime === "retained")) {
+            if (lowered.kind === "dynCheck" ||
+                (lowered.kind === "call" && lowerer.freshClosureAdapters.has(lowered.callee))) {
+                signatureError(`retained callback argument ${i + 1} must have the exact manifest function type; ` +
+                    `an implicit function adapter would change its release identity`);
+            }
+            // An inline function value at a RELEASE site can never match:
+            // lifted lambdas always carry a captures list (even an empty one),
+            // so the backend creates a fresh closure per evaluation of the
+            // expression — the release argument is a pointer no registration
+            // holds, a guaranteed runtime trap. Declared functions stay valid
+            // here — their value is the interned immortal closure (captures
+            // undefined), one pointer for every mention. Registration sites
+            // still accept literals: an unnameable registration is simply
+            // permanent, released by the exit teardown (the live-at-exit
+            // fixture shape), and hides no matching failure.
+            if (isFfiReleaseParam(sourceParam) &&
+                lowered.kind === "closure" &&
+                lowerer.liftedFns.some((f) => f.name === lowered.fnName && f.captures !== undefined)) {
+                signatureError(`retained callback argument ${i + 1} cannot be an inline function value; ` +
+                    `each evaluation creates a fresh closure no registration holds — ` +
+                    `pass the same named value used to register`);
+            }
+        }
+        return lowered;
+    });
+    return {
+        kind: "ffiCall",
+        import: binding.name,
+        args,
+        type: expectedReturn,
+        loc,
+    };
+}
 /** Compile node:ffi's library catalog into ordinary native closures. No
  * runtime resolver, executable code generation, or engine is involved. */
 export function lowerFfiMemoryModule(lowerer, loc) {
-    const text = (value) => ({ kind: "dynFrom", value: strLit(value, loc), type: DYN, loc });
+    const text = (value) => ({
+        kind: "dynFrom",
+        value: strLit(value, loc),
+        type: DYN,
+        loc,
+    });
     const object = (fields) => ({
-        kind: "dynObjLit", fields: Object.entries(fields).map(([key, value]) => ({ key: strLit(key, loc), value })), type: DYN, loc,
+        kind: "dynObjLit",
+        fields: Object.entries(fields).map(([key, value]) => ({ key: strLit(key, loc), value })),
+        type: DYN,
+        loc,
     });
-    const entries = lowerer.ffiImports.filter(entry => entry.library !== undefined).map(entry => {
+    const entries = lowerer.ffiImports
+        .filter((entry) => entry.library !== undefined)
+        .map((entry) => {
         const name = `%ffi.module.${lowerer.lambdaCounter++}`;
         const sourceTypes = ffiSourceParamTypes(entry.params);
-        const locals = sourceTypes.map((_, i) => ({ id: `%arg${i}`, name: `arg${i}`, type: DYN, mutable: false }));
+        const locals = sourceTypes.map((_, i) => ({
+            id: `%arg${i}`,
+            name: `arg${i}`,
+            type: DYN,
+            mutable: false,
+        }));
         const args = entry.params.map((param, i) => ({
-            kind: "dynCheck", type: sourceTypes[i], loc,
+            kind: "dynCheck",
+            type: sourceTypes[i],
+            loc,
             value: typeof param === "string"
-                ? { kind: "libCall", fn: "ffi.argument", args: [varRef(locals[i].id, DYN, loc), strLit(param, loc)], type: DYN, loc }
+                ? {
+                    kind: "libCall",
+                    fn: "ffi.argument",
+                    args: [varRef(locals[i].id, DYN, loc), strLit(param, loc)],
+                    type: DYN,
+                    loc,
+                }
                 : varRef(locals[i].id, DYN, loc),
         }));
         const resultType = ffiClassType(entry.returns);
         const call = { kind: "ffiCall", import: entry.name, args, type: resultType, loc };
         lowerer.liftedFns.push({
-            name, params: locals.map(local => ({ localId: local.id, name: local.name, type: DYN })),
-            locals, returnType: resultType.kind === "void" ? VOID : DYN,
+            name,
+            params: locals.map((local) => ({ localId: local.id, name: local.name, type: DYN })),
+            locals,
+            returnType: resultType.kind === "void" ? VOID : DYN,
             body: resultType.kind === "void"
-                ? [{ kind: "exprStmt", expr: call, loc }, { kind: "return", value: null, loc }]
-                : [{ kind: "return", value: { kind: "dynFrom", value: call, type: DYN, loc }, loc }], loc,
+                ? [
+                    { kind: "exprStmt", expr: call, loc },
+                    { kind: "return", value: null, loc },
+                ]
+                : [{ kind: "return", value: { kind: "dynFrom", value: call, type: DYN, loc }, loc }],
+            loc,
         });
-        const closure = { kind: "closure", fnName: name, captures: [], type: funcOf(locals.map(() => DYN), resultType.kind === "void" ? VOID : DYN), loc };
-        const callback = entry.params.find(param => isFfiCallbackParam(param))?.callback;
+        const closure = {
+            kind: "closure",
+            fnName: name,
+            captures: [],
+            type: funcOf(locals.map(() => DYN), resultType.kind === "void" ? VOID : DYN),
+            loc,
+        };
+        const callback = entry.params.find((param) => isFfiCallbackParam(param))?.callback;
         return object({
-            library: text(entry.library), name: text(entry.name),
-            operation: text(entry.callbackOperation ?? "call"), target: text(entry.callbackTarget ?? ""),
-            arguments: { kind: "dynArrLit", elems: (callback?.params ?? entry.params).map(param => text(param)), type: DYN, loc },
-            return: text(callback?.returns ?? entry.returns), call: { kind: "dynFrom", value: closure, type: DYN, loc },
+            library: text(entry.library),
+            name: text(entry.name),
+            operation: text(entry.callbackOperation ?? "call"),
+            target: text(entry.callbackTarget ?? ""),
+            arguments: {
+                kind: "dynArrLit",
+                elems: (callback?.params ?? entry.params).map((param) => text(param)),
+                type: DYN,
+                loc,
+            },
+            return: text(callback?.returns ?? entry.returns),
+            call: { kind: "dynFrom", value: closure, type: DYN, loc },
         });
     });
-    return { kind: "libCall", fn: "ffi.memoryModule", args: [{ kind: "dynArrLit", elems: entries, type: DYN, loc }], type: DYN, loc };
+    return {
+        kind: "libCall",
+        fn: "ffi.memoryModule",
+        args: [{ kind: "dynArrLit", elems: entries, type: DYN, loc }],
+        type: DYN,
+        loc,
+    };
 }
 //# sourceMappingURL=native-ffi.js.map

package/dist/frontend/lowering/native-ffi.js.map

@@ -1 +1 @@
-{"version":3,"file":"native-ffi.js","sourceRoot":"","sources":["../../../src/frontend/lowering/native-ffi.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,EAAE,kBAAkB,EAA0C,MAAM,gBAAgB,CAAC;AAClJ,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGnD;0EAC0E;AAC1E,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,GAAW;IAChE,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IACzG,MAAM,MAAM,GAAG,CAAC,MAA8B,EAAU,EAAE,CAAC,CAAC;QAC1D,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;KAC5H,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QAC1F,MAAM,IAAI,GAAG,eAAe,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtD,MAAM,MAAM,GAAc,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACtH,MAAM,IAAI,GAAa,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACrD,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAE,EAAE,GAAG;YAC5C,KAAK,EAAE,OAAO,KAAK,KAAK,QAAQ;gBAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACtH,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC;SACpC,CAAC,CAAC,CAAC;QACJ,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC1F,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YACvF,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;YAC3D,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,MAAM;gBAC9B,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;gBAC/E,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG;SAC5F,CAAC,CAAC;QACH,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;QAC3J,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;QACjF,OAAO,MAAM,CAAC;YACZ,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACrD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAI,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC;YAC5F,SAAS,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/H,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;SAC5G,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACpI,CAAC"}
+{"version":3,"file":"native-ffi.js","sourceRoot":"","sources":["../../../src/frontend/lowering/native-ffi.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,EAAgB,WAAW,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAGL,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EAMV,GAAG,EACH,IAAI,EACJ,MAAM,GAEP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,eAAe,GAEhB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEnD,SAAS,eAAe,CACtB,OAAoB;IAEpB,MAAM,MAAM,GAAkE,EAAE,CAAC;IACjF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,KAAiD;IACxE,OAAO,kBAAkB,CAAC,KAAK,CAAC;QAC9B,CAAC,CAAC,aAAa,KAAK,CAAC,QAAQ,CAAC,EAAE,GAAG;QACnC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC;YACxB,CAAC,CAAC,qBAAqB,KAAK,CAAC,QAAQ,CAAC,OAAO,GAAG;YAChD,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC;AAC3B,CAAC;AAED;iDACiD;AACjD,SAAS,eAAe,CACtB,WAAuD;IAEvD,QAAQ,WAAW,EAAE,CAAC;QACpB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACvD,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;QACzD,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACvD;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;IACzD,CAAC;AACH,CAAC;AAED;;;qDAGqD;AACrD,SAAS,0BAA0B,CACjC,OAAgB,EAChB,UAAkD,EAClD,YAAqB;IAErB,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACnE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEzC,MAAM,YAAY,GAA8B,EAAE,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/C,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC,aAAa,EAAE,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC5C,mEAAmE;QACnE,mEAAmE;QACnE,IAAI,MAAM,EAAE,IAAI,KAAK,MAAM;YAAE,SAAS;QAEtC,MAAM,WAAW,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC;QAChD,IACE,WAAW,KAAK,SAAS;YACzB,MAAM,KAAK,IAAI;YACf,CAAC,UAAU,CAAC,MAAM,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,EAC9C,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,IAAI,CAAC,SAAS,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,cAAc,GAAG,kBAAkB,CAAC,UAAU,CAAC;gBACnD,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE;gBACxB,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC;YAChC,OAAO,CACL,aAAa,cAAc,eAAe,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,KAAK;gBACnG,qBAAqB,WAAW,oBAAoB,MAAM,CAAC,IAAI,oBAAoB,MAAM,CAAC,IAAI,GAAG,CAClG,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;gFAIgF;AAChF,SAAS,yBAAyB,CAChC,OAAgB,EAChB,WAAmC,EACnC,UAAmB;IAEnB,MAAM,MAAM,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,CAAC,UAAU,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,uBAAuB,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,wBAAwB,WAAW,eAAe;YAC/G,OAAO,MAAM,CAAC,IAAI,oBAAoB,MAAM,CAAC,IAAI,GAAG,CAAC;AAC7D,CAAC;AAED;;;;;yCAKyC;AACzC,SAAS,SAAS,CAAC,OAAgB;IAIjC,IAAI,CAAC,OAAO,CAAC,gBAAgB;QAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC/F,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,GAAW,EAAiB,EAAE,CACvE,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC;IACvE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;AAC1C,CAAC;AAED;;iDAEiD;AACjD,SAAS,wBAAwB,CAC/B,OAAgB,EAChB,OAAoB,EACpB,MAAiB,EACjB,GAAW;IAEX,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC;IACpE,IACE,aAAa,CAAC,MAAM,KAAK,CAAC;QAC1B,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC5D,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,EACrD,CAAC;QACD,OAAO,WAAW,CAChB,OAAO,CAAC,IAAI,EACZ,0FAA0F,EAC1F,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,aAAa,CAClB,OAAO,CAAC,IAAI,EACZ,8DAA8D,EAC9D,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,aAAa,CAClB,OAAO,CAAC,IAAI,EACZ,2BAA2B,UAAU,CAAC,MAAM,oEAAoE,EAChH,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;IACjC,MAAM,MAAM,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,MAAM,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;QAC1C,OAAO,aAAa,CAClB,OAAO,CAAC,IAAI,EACZ,kCAAkC,MAAM,CAAC,MAAM,4CAA4C,YAAY,CAAC,MAAM,uBAAuB;YACnI,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,2DAA2D,EAC5G,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;QACrC,uEAAuE;QACvE,+DAA+D;QAC/D,qEAAqE;QACrE,gEAAgE;QAChE,IAAI,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,OAAO,aAAa,CAClB,OAAO,CAAC,IAAI,EACZ,aAAa,CAAC,GAAG,CAAC,yFAAyF,EAC3G,GAAG,CACJ,CAAC;QACJ,CAAC;QACD,IAAI,kBAAkB,CAAC,WAAW,CAAC,IAAI,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;YACtE,MAAM,kBAAkB,GAAG,0BAA0B,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;YACvF,IAAI,kBAAkB,KAAK,IAAI,EAAE,CAAC;gBAChC,OAAO,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAE,CAAC;QACpC,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;YACrD,OAAO,aAAa,CAClB,OAAO,CAAC,IAAI,EACZ,aAAa,CAAC,GAAG,CAAC,aAAa,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK;gBACjH,+BAA+B,eAAe,CAAC,WAAW,CAAC,EAAE,EAC/D,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,oEAAoE;IACpE,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO,aAAa,CAClB,OAAO,CAAC,IAAI,EACZ,uGAAuG,EACvG,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,cAAc,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,cAAc,EAAE,cAAc,CAAC,EAAE,CAAC;QAC3E,OAAO,aAAa,CAClB,OAAO,CAAC,IAAI,EACZ,uBAAuB,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK;YAC1H,sCAAsC,OAAO,CAAC,OAAO,GAAG,EAC1D,GAAG,CACJ,CAAC;IACJ,CAAC;IACD,MAAM,sBAAsB,GAAG,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/F,IAAI,sBAAsB,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAOD;;;;;eAKe;AACf,SAAS,uBAAuB,CAAC,OAAgB,EAAE,IAAmB;IACpE,OAAO,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED;;;;;;qDAMqD;AACrD,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkC,CAAC;IAChE,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,OAAO,CAAC,UAAU;SACf,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC;SAClD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAClC,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkD,CAAC;IAE7E,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;IAEtE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QACpD,IAAI,OAAO,CAAC,gBAAgB,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC;YAAE,SAAS;QAClF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;oBACvB,IAAI,CAAC,IAAI,KAAK,SAAS;oBACvB,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EACnC,CAAC;oBACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC9D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,IAAI,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;4BAC3B,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;4BACrB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;wBAC3C,CAAC;wBACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;4BAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBACxD,CAAC;gBACH,CAAC;gBACD,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;YAAE,SAAS;QAC5C,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAClD,kEAAkE;YAClE,kEAAkE;YAClE,iEAAiE;YACjE,mEAAmE;YACnE,oEAAoE;YACpE,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC;gBAC9B,WAAW,CAAC,IAAI,CACd,cAAc,CACZ,OAAO,CAAC,IAAI,EACZ,uEAAuE,EACvE,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CACnD,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,iEAAiE;gBACjE,iEAAiE;gBACjE,kEAAkE;gBAClE,oEAAoE;gBACpE,6DAA6D;gBAC7D,uDAAuD;gBACvD,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAC7C,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAa,CAAC;QAC1C,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,KAAK,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;YAC1F,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBACxB,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC7B,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,KAAK;YAAE,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AACxC,CAAC;AAED;;;;yDAIyD;AACzD,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,IAAuB;IACpE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnE,IAAI,OAAO,EAAE,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,6DAA6D;QAC7D,iEAAiE;QACjE,oEAAoE;QACpE,iEAAiE;QACjE,sEAAsE;QACtE,mEAAmE;QACnE,sEAAsE;QACtE,iBAAiB;QACjB,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YAC5E,MAAM,cAAc,GAClB,KAAK,CAAC,MAAM,GAAG,CAAC;gBAChB,KAAK,CAAC,KAAK,CACT,CAAC,IAAI,EAAE,EAAE,CACP,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;oBAC9B,IAAI,CAAC,IAAI,KAAK,SAAS;oBACvB,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CACzD,CAAC;YACJ,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,CAAC,QAAQ,CACd,eAAe,CACb,IAAI,CAAC,UAAU,CAAC,IAAI,EACpB,yDAAyD,EACzD,KAAK,CAAC,IAAI,CAAC,CACZ,CACF,CAAC;gBACF,MAAM,IAAI,WAAW,EAAE,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAClF,MAAM,YAAY,GAA8B,CAAC,MAAM,EAAE,EAAE;QACzD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3D,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,MAAc,EAAS,EAAE;QAC/C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7D,MAAM,IAAI,WAAW,EAAE,CAAC;IAC1B,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,CAAC,MAAM;QAAE,YAAY,CAAC,4CAA4C,CAAC,CAAC;IACxE,IAAI,OAAO,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QACvC,MAAM,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACjE,+DAA+D;QAC/D,qEAAqE;QACrE,IAAI,YAAY,KAAK,SAAS;YAAE,MAAM,IAAI,WAAW,EAAE,CAAC;QACxD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;gBAC7B,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;gBAC5D,MAAM,mBAAmB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACvD,uBAAuB,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CACvD,CAAC;gBACF,MAAM,cAAc,GAClB,mBAAmB,CAAC,MAAM,GAAG,CAAC;oBAC9B,mBAAmB,CAAC,KAAK,CACvB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,aAAa,EAAE,CAAC,iBAAiB;wBACtC,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAsB,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;4BAC9E,CAAC,CACN,CAAC;gBACJ,IAAI,cAAc,EAAE,CAAC;oBACnB,+DAA+D;oBAC/D,gEAAgE;oBAChE,6DAA6D;oBAC7D,+DAA+D;oBAC/D,gEAAgE;oBAChE,sDAAsD;oBACtD,MAAM,UAAU,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;oBAC3E,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;wBACxB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;wBAC7B,MAAM,IAAI,WAAW,EAAE,CAAC;oBAC1B,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,2DAA2D;oBAC3D,6DAA6D;oBAC7D,mCAAmC;oBACnC,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,iEAAiE;gBACjE,gEAAgE;gBAChE,iEAAiE;gBACjE,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,UAAU,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC3E,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC7B,MAAM,IAAI,WAAW,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QAC5E,cAAc,CAAC,wDAAwD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC5C,cAAc,CAAC,iDAAiD,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,cAAc,GAAG,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QACpD,cAAc,CACZ,oBAAoB,IAAI,CAAC,SAAS,CAAC,MAAM,yDAAyD,cAAc,CAAC,MAAM,EAAE,CAC1H,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACzC,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAE,CAAC;QACpC,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC1D,uEAAuE;QACvE,sEAAsE;QACtE,uEAAuE;QACvE,qEAAqE;QACrE,8DAA8D;QAC9D,qEAAqE;QACrE,+CAA+C;QAC/C,IACE,iBAAiB,CAAC,WAAW,CAAC;YAC9B,CAAC,kBAAkB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,CAAC,EACjF,CAAC;YACD,IACE,OAAO,CAAC,IAAI,KAAK,UAAU;gBAC3B,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAC7E,CAAC;gBACD,cAAc,CACZ,8BAA8B,CAAC,GAAG,CAAC,+CAA+C;oBAChF,gEAAgE,CACnE,CAAC;YACJ,CAAC;YACD,8DAA8D;YAC9D,mEAAmE;YACnE,+DAA+D;YAC/D,iEAAiE;YACjE,kEAAkE;YAClE,gEAAgE;YAChE,gEAAgE;YAChE,8DAA8D;YAC9D,6DAA6D;YAC7D,iDAAiD;YACjD,IACE,iBAAiB,CAAC,WAAW,CAAC;gBAC9B,OAAO,CAAC,IAAI,KAAK,SAAS;gBAC1B,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,EACpF,CAAC;gBACD,cAAc,CACZ,8BAA8B,CAAC,GAAG,CAAC,uCAAuC;oBACxE,kEAAkE;oBAClE,4CAA4C,CAC/C,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,OAAO,CAAC,IAAI;QACpB,IAAI;QACJ,IAAI,EAAE,cAAc;QACpB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,oBAAoB,CAAC,OAAgB,EAAE,GAAW;IAChE,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;QACzB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,MAA8B,EAAU,EAAE,CAAC,CAAC;QAC1D,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACxF,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU;SAC/B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC;SAC9C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,IAAI,GAAG,eAAe,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtD,MAAM,MAAM,GAAc,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACnD,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,IAAI,EAAE,MAAM,CAAC,EAAE;YACf,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,KAAK;SACf,CAAC,CAAC,CAAC;QACJ,MAAM,IAAI,GAAa,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACrD,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,WAAW,CAAC,CAAC,CAAE;YACrB,GAAG;YACH,KAAK,EACH,OAAO,KAAK,KAAK,QAAQ;gBACvB,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,cAAc;oBAClB,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBAC3D,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACH,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC;SACtC,CAAC,CAAC,CAAC;QACJ,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC1F,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YACnF,MAAM;YACN,UAAU,EAAE,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG;YACnD,IAAI,EACF,UAAU,CAAC,IAAI,KAAK,MAAM;gBACxB,CAAC,CAAC;oBACE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;iBACrC;gBACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;YACxF,GAAG;SACJ,CAAC,CAAC;QACH,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,MAAM,CACV,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EACrB,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CACxC;YACD,GAAG;SACJ,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;QACnF,OAAO,MAAM,CAAC;YACZ,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAQ,CAAC;YAC7B,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACtB,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAI,MAAM,CAAC;YAClD,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC;YACxC,SAAS,EAAE;gBACT,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC;gBAC/E,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;YACD,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC;YAChD,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;SAC1D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACL,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC7D,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/object-enumeration-receiver.js

@@ -1,4 +1,4 @@
-import { BOOL, STRING, isUnitType, typeEquals } from "../../ir/ir.js";
+import { BOOL, STRING, isUnitType, typeEquals, } from "../../ir/ir.js";
 import { varRef } from "../../ir/build.js";
 /** Array/property reads retain a missing-value arm even when the checker
  * promises a record. Object enumeration must check it before reading fields. */
@@ -17,15 +17,60 @@ export function objectEnumerationReceiver(lowerer, receiver, expected, loc) {
         lowerer.arrHofHelpers.set(key, name);
         const value = varRef("value.0", source, loc);
         lowerer.liftedFns.push({
-            name, params: [{ localId: "value.0", name: "value", type: source }],
-            returnType: expected, locals: [{ id: "value.0", name: "value", type: source, mutable: false }],
-            body: [{
-                    kind: "if", cond: { kind: "unionIsTag", unionId: source.unionId, tag, value, negated: false, type: BOOL, loc },
-                    then: [{ kind: "return", value: { kind: "unionNarrow", unionId: source.unionId, tag, value, type: expected, loc }, loc }],
-                    else_: [{ kind: "throw", value: { kind: "libCall", fn: "error.new",
-                                args: [{ kind: "strLit", value: "Cannot convert undefined or null to object", type: STRING, loc }],
-                                type: { kind: "object", className: "%TypeError" }, loc }, loc }], loc,
-                }], loc,
+            name,
+            params: [{ localId: "value.0", name: "value", type: source }],
+            returnType: expected,
+            locals: [{ id: "value.0", name: "value", type: source, mutable: false }],
+            body: [
+                {
+                    kind: "if",
+                    cond: {
+                        kind: "unionIsTag",
+                        unionId: source.unionId,
+                        tag,
+                        value,
+                        negated: false,
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [
+                        {
+                            kind: "return",
+                            value: {
+                                kind: "unionNarrow",
+                                unionId: source.unionId,
+                                tag,
+                                value,
+                                type: expected,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ],
+                    else_: [
+                        {
+                            kind: "throw",
+                            value: {
+                                kind: "libCall",
+                                fn: "error.new",
+                                args: [
+                                    {
+                                        kind: "strLit",
+                                        value: "Cannot convert undefined or null to object",
+                                        type: STRING,
+                                        loc,
+                                    },
+                                ],
+                                type: { kind: "object", className: "%TypeError" },
+                                loc,
+                            },
+                            loc,
+                        },
+                    ],
+                    loc,
+                },
+            ],
+            loc,
         });
     }
     return { kind: "call", callee: name, args: [receiver], type: expected, loc };