@adobe/ecs 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025-2026 Adobe, Inc.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/implementation/compiler/access.d.ts

@@ -0,0 +1,6 @@
+import type { Node } from 'estree';
+import type { Key } from './key.js';
+import type { Scope } from './scope.js';
+import { type Value } from './value.js';
+/** `value[key]`, resolved at compile time where the kernel subset allows. */
+export declare const access: (value: Value, key: Key, node: Node, scope: Scope, optional: boolean) => Value;

package/dist/implementation/compiler/access.js

@@ -0,0 +1,155 @@
+import { entityRead } from './columns.js';
+import { fail } from './failure.js';
+import { local, number } from './ir.js';
+import { mathConstants, mathFunctions } from './math.js';
+import { scalar } from './scalar.js';
+import { resolveExport } from './link.js';
+import { resolvedValue } from './module-value.js';
+import { describeValue, scalarValue } from './value.js';
+const commandNames = new Set(["spawn", "despawn", "add", "remove"]);
+const literal = (key) => key.kind === "static" ? key.name : undefined;
+/** Indexes a plain JS value. A static index into a resource or the input extends its path. */
+const element = (node, scope, object, key, optional) => {
+    if (key.kind === "static" && !optional && (object.kind === "resource" || object.kind === "args")) {
+        return { ...object, path: [...object.path, key.name] };
+    }
+    const index = key.kind === "static"
+        ? typeof key.name === "number" ? number(key.name) : { kind: "string", value: key.name }
+        : key.kind === "value" ? scalar(key.value, node, scope)
+            : fail(node, `${key.name} is not an index here`);
+    return { kind: "element", object, index, optional };
+};
+const mathConstant = (name) => {
+    const value = Reflect.get(Math, name);
+    return number(typeof value === "number" ? value : NaN);
+};
+/** `value[key]`, resolved at compile time where the kernel subset allows. */
+export const access = (value, key, node, scope, optional) => {
+    const signature = scope.unit.signature;
+    const name = literal(key);
+    switch (value.kind) {
+        case "row":
+            if (key.kind === "binding") {
+                if (!signature.read.has(key.name) && !signature.write.has(key.name))
+                    fail(node, `${key.name} is not in components read or write`);
+                return { kind: "component", component: key.name, path: [] };
+            }
+            if (name === "entity")
+                return scalarValue(entityRead(scope.unit));
+            return fail(node, "row is indexed by a component in components read or write, or .entity");
+        case "context":
+            if (name === "resources")
+                return { kind: "resources" };
+            if (name === "lookup")
+                return { kind: "lookups" };
+            if (name === "reduce")
+                return { kind: "reducers" };
+            if (name === "commands")
+                return { kind: "commands" };
+            if (name === "input" && signature.input)
+                return { kind: "dynamic", expression: { kind: "args", path: [] } };
+            if (name === "up" && scope.unit.up !== null)
+                return { kind: "found", lookup: signature.lookups.length, expression: local(scope.unit.up) };
+            return fail(node, "the context holds the declared resources, lookup, reduce, input and up, and commands");
+        case "resources": {
+            const index = key.kind === "binding" ? signature.resources.indexOf(key.name) : -1;
+            if (key.kind !== "binding" || index < 0)
+                return fail(node, `${key.kind === "binding" ? key.name : "resources"} is not in resources read`);
+            scope.unit.used.resources.add(key.name);
+            return { kind: "dynamic", expression: { kind: "resource", index, path: [] } };
+        }
+        case "reducers": {
+            const reduced = key.kind === "binding" ? signature.reduced.findIndex(entry => entry.resource === key.name) : -1;
+            return reduced >= 0 ? { kind: "reducer", reduced } : fail(node, "reduce is indexed by a resource in the declaration's reduce");
+        }
+        case "lookups": {
+            const lookup = signature.lookups.findIndex(entry => entry.name === name);
+            return lookup >= 0 ? { kind: "lookup", lookup } : fail(node, "lookup holds the declaration's lookups, by name");
+        }
+        case "found": {
+            // The lookup after the declaration's is `up`'s.
+            const up = value.lookup === signature.lookups.length ? signature.up : null;
+            const lookup = up ?? signature.lookups[value.lookup];
+            // A lookup by entity with `changed` gives it after what it reads.
+            if (up === null && lookup !== undefined && "watches" in lookup && lookup.watches && name === "changed") {
+                return { kind: "dynamic", expression: { kind: "element", object: value.expression, index: number(lookup.read.length), optional } };
+            }
+            const index = key.kind === "binding" ? (lookup?.read ?? []).indexOf(key.name) : -1;
+            if (lookup === undefined || key.kind !== "binding" || index < 0)
+                return fail(node, up === null ? "a lookup result is indexed by a component in that lookup's read, or by changed with changed declared" : "up is indexed by a component in up.read");
+            if (up !== null) {
+                // Read straight from the parent's columns, at the parent's row.
+                if (optional)
+                    return fail(node, "up is read only where it isn't null: test up === null first");
+                scope.unit.used.up.add(key.name);
+                return { kind: "component", component: key.name, path: [], up: true };
+            }
+            else {
+                const used = scope.unit.used.lookups;
+                const name = signature.lookups[value.lookup]?.name ?? "";
+                used.set(name, (used.get(name) ?? new Set()).add(key.name));
+            }
+            return { kind: "dynamic", expression: { kind: "element", object: value.expression, index: number(index), optional } };
+        }
+        case "indexed":
+            // A unique index's result is its first row.
+            if (name === "length")
+                return scalarValue({ kind: "listLength", list: value.list, lookup: value.lookup });
+            if (name === "changed")
+                return scalarValue({ kind: "listChanged", list: value.list, lookup: value.lookup });
+            if (name === "at")
+                return { kind: "listAt", lookup: value.lookup, list: value.list };
+            return access({ kind: "indexRow", lookup: value.lookup, row: value.first }, key, node, scope, optional);
+        case "indexRow": {
+            if (name === "entity")
+                return scalarValue({ kind: "rowEntity", row: value.row, lookup: value.lookup });
+            const lookup = signature.lookups[value.lookup];
+            const read = key.kind === "binding" ? (lookup?.read ?? []).indexOf(key.name) : -1;
+            if (lookup === undefined || key.kind !== "binding" || read < 0)
+                return fail(node, "a lookup's row is indexed by a component in that lookup's read, or .entity");
+            const used = scope.unit.used.lookups;
+            used.set(lookup.name, (used.get(lookup.name) ?? new Set()).add(key.name));
+            return { kind: "rowRead", lookup: value.lookup, row: value.row, read, path: [] };
+        }
+        case "rowRead":
+            return name === undefined
+                ? fail(node, "component values are indexed by literal elements or field names")
+                : { ...value, path: [...value.path, name] };
+        case "dynamic":
+            return { kind: "dynamic", expression: element(node, scope, value.expression, key, optional) };
+        case "tuple":
+            return typeof name === "number" && value.items[name] !== undefined
+                ? value.items[name]
+                : fail(node, "tuple elements are indexed by an in-range literal");
+        case "struct": {
+            const field = value.fields.find(([fieldName]) => fieldName === name);
+            return field ? field[1] : fail(node, `no field ${String(name)}`);
+        }
+        case "component":
+        case "snapshot":
+            return name === undefined
+                ? fail(node, "component values are indexed by literal elements or field names")
+                : { ...value, path: [...value.path, name] };
+        case "math":
+            if (typeof name === "string" && mathConstants.has(name))
+                return scalarValue(mathConstant(name));
+            if (typeof name === "string" && mathFunctions.has(name))
+                return { kind: "method", owner: "math", name };
+            return fail(node, `Math.${String(name)} is not in the kernel subset`);
+        case "namespace": {
+            const link = scope.unit.link;
+            if (typeof name !== "string" || link === null)
+                return fail(node, "namespaces are indexed by an export name");
+            const out = [];
+            const member = resolvedValue(node, resolveExport(link, value.file, name), scope, out);
+            return out.length === 0 ? member : fail(node, `${name} must be a function or a literal constant`);
+        }
+        case "commands":
+            if (typeof name === "string" && commandNames.has(name))
+                return { kind: "method", owner: "commands", name };
+            return fail(node, "commands has spawn, despawn, add and remove");
+        default:
+            return fail(node, `${describeValue(value)} can't be indexed`);
+    }
+};
+//# sourceMappingURL=access.js.map

package/dist/implementation/compiler/access.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"access.js","sourceRoot":"","sources":["../../../src/implementation/compiler/access.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAmB,MAAM,SAAS,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAElD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAc,MAAM,YAAY,CAAC;AAEpE,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEzF,MAAM,OAAO,GAAG,CAAC,GAAQ,EAA+B,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAExG,8FAA8F;AAC9F,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,KAAY,EAAE,MAAkB,EAAE,GAAQ,EAAE,QAAiB,EAAc,EAAE;IACtG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QAC/F,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3D,CAAC;IACD,MAAM,KAAK,GAAe,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC3C,CAAC,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE;QACvF,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;YACvD,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,IAAI,uBAAuB,CAAC,CAAC;IACrD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,IAAY,EAAc,EAAE;IAC9C,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,OAAO,MAAM,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,GAAQ,EAAE,IAAU,EAAE,KAAY,EAAE,QAAiB,EAAS,EAAE;IACjG,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IACvC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,KAAK;YACN,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,IAAI,qCAAqC,CAAC,CAAC;gBAClI,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YAChE,CAAC;YACD,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAClE,OAAO,IAAI,CAAC,IAAI,EAAE,uEAAuE,CAAC,CAAC;QAC/F,KAAK,SAAS;YACV,IAAI,IAAI,KAAK,WAAW;gBAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YACvD,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAClD,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YACnD,IAAI,IAAI,KAAK,UAAU;gBAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YACrD,IAAI,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,KAAK;gBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5G,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1I,OAAO,IAAI,CAAC,IAAI,EAAE,sFAAsF,CAAC,CAAC;QAC9G,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClF,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,2BAA2B,CAAC,CAAC;YAC1I,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC;QAClF,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChH,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,6DAA6D,CAAC,CAAC;QACnI,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACb,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACzE,OAAO,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;QACpH,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,gDAAgD;YAChD,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3E,MAAM,MAAM,GAAG,EAAE,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrD,kEAAkE;YAClE,IAAI,EAAE,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACrG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC;YACvI,CAAC;YACD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,sGAAsG,CAAC,CAAC,CAAC,yCAAyC,CAAC,CAAC;YACrP,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBACd,gEAAgE;gBAChE,IAAI,QAAQ;oBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,6DAA6D,CAAC,CAAC;gBAC/F,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACjC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YAC1E,CAAC;iBACI,CAAC;gBACF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;gBACrC,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;gBACzD,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAChE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC;QAC1H,CAAC;QACD,KAAK,SAAS;YACV,4CAA4C;YAC5C,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAC1G,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5G,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACrF,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC5G,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,IAAI,IAAI,KAAK,QAAQ;gBAAE,OAAO,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACvG,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClF,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,4EAA4E,CAAC,CAAC;YAChK,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;YACrC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACrF,CAAC;QACD,KAAK,SAAS;YACV,OAAO,IAAI,KAAK,SAAS;gBACrB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,iEAAiE,CAAC;gBAC/E,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpD,KAAK,SAAS;YACV,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;QAClG,KAAK,OAAO;YACR,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS;gBAC9D,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;gBACnB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,mDAAmD,CAAC,CAAC;QAC1E,KAAK,QAAQ,CAAC,CAAC,CAAC;YACZ,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC;YACrE,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU;YACX,OAAO,IAAI,KAAK,SAAS;gBACrB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,iEAAiE,CAAC;gBAC/E,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM;YACP,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;YAChG,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACxG,OAAO,IAAI,CAAC,IAAI,EAAE,QAAQ,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC1E,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,0CAA0C,CAAC,CAAC;YAC7G,MAAM,GAAG,GAAQ,EAAE,CAAC;YACpB,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YACtF,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,2CAA2C,CAAC,CAAC;QACtG,CAAC;QACD,KAAK,UAAU;YACX,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;YAC3G,OAAO,IAAI,CAAC,IAAI,EAAE,6CAA6C,CAAC,CAAC;QACrE;YACI,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACtE,CAAC;AACL,CAAC,CAAC"}

package/dist/implementation/compiler/assign.d.ts

@@ -0,0 +1,7 @@
+import type { AssignmentExpression, UpdateExpression } from 'estree';
+import type { Out } from './out.js';
+import { type Scope } from './scope.js';
+/** Compiles an assignment statement. */
+export declare const assign: (node: AssignmentExpression, scope: Scope, out: Out) => void;
+/** Compiles `x++`, `--x` and friends as statements. */
+export declare const update: (node: UpdateExpression, scope: Scope, out: Out) => void;

package/dist/implementation/compiler/assign.js

@@ -0,0 +1,162 @@
+import { access } from './access.js';
+import { failPattern } from './bind.js';
+import { set } from './booleans.js';
+import { changedColumns, fieldColumn, fieldRead } from './columns.js';
+import { leavesOf, toData } from './data.js';
+import { fail } from './failure.js';
+import { isBinary, local, number, references } from './ir.js';
+import { propertyKey } from './key.js';
+import { requireReadable } from './scalar.js';
+import { findLocal } from './scope.js';
+import { snapshotLeaf } from './snapshot.js';
+import { fresh } from './unit.js';
+import { describeValue } from './value.js';
+const localTarget = (node, expression) => expression.kind === "local" ? { kind: "local", local: expression.local } : fail(node, "this can't be assigned in a kernel");
+const root = (node) => node.type === "Identifier" ? node.name : node.type === "MemberExpression" ? root(node.object) : undefined;
+const requireWritable = (node, scope, component) => {
+    if (!scope.unit.signature.write.has(component))
+        fail(node, `${component} is not in components write`);
+    scope.unit.used.write.add(component);
+};
+/** Resolves an assignment target to a value whose scalar leaves are assignable. */
+const targetValue = (node, scope, out) => {
+    const value = scope.unit.expression(node, scope, out);
+    if (value.kind === "component") {
+        if (value.up === true)
+            return fail(node, "up is read-only");
+        requireWritable(node, scope, value.component);
+        // Values are immutable: a write replaces the whole component value.
+        if (value.path.length > 0)
+            return fail(node, "component values are immutable; write the whole value");
+        return value;
+    }
+    if (node.type !== "Identifier")
+        return fail(node, "values are immutable; assign a whole new value to a let local");
+    const name = root(node);
+    const local = name === undefined ? undefined : findLocal(scope, name);
+    if (value.kind === "dynamic" && (local?.mutable !== true || node.type !== "Identifier"))
+        return fail(node, "resources, args and lookup results are read-only in kernels");
+    if (local === undefined)
+        return fail(node, "this can't be assigned in a kernel");
+    if (!local.mutable)
+        return fail(node, `${name} is const`);
+    return value;
+};
+/** Pairs a target with assigned data, leaf by leaf. */
+const pair = (node, target, data, scope) => {
+    const unit = scope.unit;
+    switch (target.kind) {
+        case "component": {
+            const leaves = leavesOf(data);
+            if (target.path.length === 0 && data.kind !== "leaf") {
+                unit.shapes.add(`{ component: ${target.component}, leaves: ${JSON.stringify(leaves.map(leaf => leaf.path))} }`);
+            }
+            return leaves.map(leaf => ({
+                target: { kind: "column", column: fieldColumn(unit, target.component, [...target.path, ...leaf.path]) }, value: leaf.expression, component: target.component,
+            }));
+        }
+        case "snapshot":
+            return leavesOf(data).map(leaf => ({
+                target: { kind: "local", local: snapshotLeaf(unit, target.snapshot, [...target.path, ...leaf.path]) }, value: leaf.expression, component: undefined,
+            }));
+        case "scalar":
+        case "dynamic":
+            return data.kind === "leaf" ? [{ target: localTarget(node, target.expression), value: data.expression, component: undefined }] : fail(node, "can't assign a tuple or struct to a scalar");
+        case "tuple":
+            return data.kind === "tuple" && data.items.length === target.items.length
+                ? target.items.flatMap((item, index) => pair(node, item, data.items[index], scope))
+                : fail(node, "the assigned value must have the same shape");
+        case "struct":
+            if (data.kind !== "struct")
+                return fail(node, "the assigned value must have the same shape");
+            return target.fields.flatMap(([name, field]) => {
+                const source = data.fields.find(([sourceName]) => sourceName === name);
+                return source ? pair(node, field, source[1], scope) : fail(node, `the assigned value has no field ${name}`);
+            });
+        default:
+            return fail(node, `can't assign to ${describeValue(target)}`);
+    }
+};
+const collect = (pattern, value, scope, out) => {
+    switch (pattern.type) {
+        case "ArrayPattern":
+            return pattern.elements.flatMap((element, index) => element === null ? []
+                : element.type === "RestElement" ? fail(element, "rest elements are not in the kernel subset")
+                    : collect(element, access(value, { kind: "static", name: index }, element, scope, false), scope, out));
+        case "ObjectPattern":
+            return pattern.properties.flatMap(property => property.type === "RestElement"
+                ? fail(property, "rest elements are not in the kernel subset")
+                : collect(property.value, access(value, propertyKey(property, scope, out), property, scope, false), scope, out));
+        case "Identifier":
+        case "MemberExpression":
+            return pair(pattern, targetValue(pattern, scope, out), toData(value, pattern, scope), scope);
+        default:
+            return failPattern(pattern);
+    }
+};
+/** Whether `value` reads what `target` writes. */
+const reads = (value, target) => references(value, node => target.kind === "local"
+    ? node.kind === "local" && node.local === target.local
+    : node.kind === "column" && node.column === target.column);
+/**
+ * Emits stores as if every right-hand leaf were evaluated first, so `[a, b] = [b, a]` swaps: a leaf that reads an
+ * earlier store's target is copied to a temporary first. Each written component is stamped once.
+ */
+const emit = (stores, scope, out) => {
+    const unit = scope.unit;
+    const values = stores.map((store, index) => {
+        if (!stores.slice(0, index).some(earlier => reads(store.value, earlier.target)))
+            return store.value;
+        const temporary = fresh(unit, "t");
+        out.push(set(unit, temporary, store.value, "const"));
+        return local(temporary);
+    });
+    stores.forEach((store, index) => out.push(store.target.kind === "local"
+        ? set(unit, store.target.local, values[index], undefined)
+        : { kind: "store", column: store.target.column, value: values[index] }));
+    for (const component of new Set(stores.flatMap(store => store.component === undefined ? [] : [store.component]))) {
+        out.push({ kind: "stamp", ...changedColumns(unit, component) });
+    }
+};
+/** A scalar read-modify-write target. */
+const compoundStore = (node, operator, operand, scope, out) => {
+    if (!isBinary(operator))
+        return fail(node, `${operator}= is not in the kernel subset`);
+    const target = targetValue(node, scope, out);
+    const unit = scope.unit;
+    const combine = (current) => ({ kind: "binary", operator, left: current, right: operand });
+    switch (target.kind) {
+        case "component":
+            requireReadable(node, scope, target.component);
+            return {
+                target: { kind: "column", column: fieldColumn(unit, target.component, target.path) },
+                value: combine(fieldRead(unit, target.component, target.path)), component: target.component,
+            };
+        case "snapshot": {
+            const leaf = snapshotLeaf(unit, target.snapshot, target.path);
+            return { target: { kind: "local", local: leaf }, value: combine(local(leaf)), component: undefined };
+        }
+        case "scalar":
+        case "dynamic":
+            return { target: localTarget(node, target.expression), value: combine(target.expression), component: undefined };
+        default:
+            return fail(node, `compound assignment needs a scalar, not ${describeValue(target)}`);
+    }
+};
+const logical = new Set(["&&=", "||=", "??="]);
+/** Compiles an assignment statement. */
+export const assign = (node, scope, out) => {
+    if (node.operator === "=") {
+        const value = scope.unit.expression(node.right, scope, out);
+        return emit(collect(node.left, value, scope, out), scope, out);
+    }
+    if (logical.has(node.operator))
+        return fail(node, `${node.operator} is not in the kernel subset`);
+    const operand = toData(scope.unit.expression(node.right, scope, out), node.right, scope);
+    if (operand.kind !== "leaf")
+        return fail(node.right, "compound assignment needs a scalar");
+    emit([compoundStore(node.left, node.operator.slice(0, -1), operand.expression, scope, out)], scope, out);
+};
+/** Compiles `x++`, `--x` and friends as statements. */
+export const update = (node, scope, out) => emit([compoundStore(node.argument, node.operator === "++" ? "+" : "-", number(1), scope, out)], scope, out);
+//# sourceMappingURL=assign.js.map

package/dist/implementation/compiler/assign.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assign.js","sourceRoot":"","sources":["../../../src/implementation/compiler/assign.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAa,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAmB,MAAM,SAAS,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAEvC,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAc,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,aAAa,EAAc,MAAM,YAAY,CAAC;AAMvD,MAAM,WAAW,GAAG,CAAC,IAAU,EAAE,UAAsB,EAAU,EAAE,CAC/D,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;AAEhI,MAAM,IAAI,GAAG,CAAC,IAAU,EAAsB,EAAE,CAC5C,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAE9G,MAAM,eAAe,GAAG,CAAC,IAAU,EAAE,KAAY,EAAE,SAAiB,EAAQ,EAAE;IAC1E,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,IAAI,CAAC,IAAI,EAAE,GAAG,SAAS,6BAA6B,CAAC,CAAC;IACtG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,mFAAmF;AACnF,MAAM,WAAW,GAAG,CAAC,IAAgC,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IACpF,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC5D,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QAC9C,oEAAoE;QACpE,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,EAAE,uDAAuD,CAAC,CAAC;QACtG,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,+DAA+D,CAAC,CAAC;IACnH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACtE,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,6DAA6D,CAAC,CAAC;IAC1K,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;IACjF,IAAI,CAAC,KAAK,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,uDAAuD;AACvD,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,MAAa,EAAE,IAAU,EAAE,KAAY,EAAoB,EAAE;IACnF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACnD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,gBAAgB,MAAM,CAAC,SAAS,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;YACpH,CAAC;YACD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS;aAC/J,CAAC,CAAC,CAAC;QACR,CAAC;QACD,KAAK,UAAU;YACX,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS;aACtJ,CAAC,CAAC,CAAC;QACR,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS;YACzB,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,4CAA4C,CAAC,CAAC;QAC9L,KAAK,OAAO;YACR,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM;gBACrE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;gBACnF,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,6CAA6C,CAAC,CAAC;QACpE,KAAK,QAAQ;YACT,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,6CAA6C,CAAC,CAAC;YAC7F,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;gBAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;gBACvE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,mCAAmC,IAAI,EAAE,CAAC,CAAC;YAChH,CAAC,CAAC,CAAC;QACP;YACI,OAAO,IAAI,CAAC,IAAI,EAAE,mBAAmB,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,OAAgB,EAAE,KAAY,EAAE,KAAY,EAAE,GAAQ,EAAoB,EAAE;IACzF,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,cAAc;YACf,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE;gBACrE,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,4CAA4C,CAAC;oBAC9F,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/G,KAAK,eAAe;YAChB,OAAO,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa;gBACzE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,4CAA4C,CAAC;gBAC9D,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACzH,KAAK,YAAY,CAAC;QAAC,KAAK,kBAAkB;YACtC,OAAO,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QACjG;YACI,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;AACL,CAAC,CAAC;AAEF,kDAAkD;AAClD,MAAM,KAAK,GAAG,CAAC,KAAiB,EAAE,MAAc,EAAW,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;IAC3G,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;IACtD,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;AAE/D;;;GAGG;AACH,MAAM,IAAI,GAAG,CAAC,MAAwB,EAAE,KAAY,EAAE,GAAQ,EAAQ,EAAE;IACpE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC;QACpG,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QACnE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;QACzD,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,SAAS,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/G,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;AACL,CAAC,CAAC;AAEF,yCAAyC;AACzC,MAAM,aAAa,GAAG,CAAC,IAAgC,EAAE,QAAgB,EAAE,OAAmB,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IAC7H,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,QAAQ,+BAA+B,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,OAAO,GAAG,CAAC,OAAmB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACnH,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,WAAW;YACZ,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YAC/C,OAAO;gBACH,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE;gBACpF,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS;aAC9F,CAAC;QACN,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC9D,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QACzG,CAAC;QACD,KAAK,QAAQ,CAAC;QAAC,KAAK,SAAS;YACzB,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QACrH;YACI,OAAO,IAAI,CAAC,IAAI,EAAE,2CAA2C,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE/C,wCAAwC;AACxC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAA0B,EAAE,KAAY,EAAE,GAAQ,EAAQ,EAAE;IAC/E,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,QAAQ,8BAA8B,CAAC,CAAC;IAClG,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzF,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,oCAAoC,CAAC,CAAC;IAC3F,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AAC7G,CAAC,CAAC;AAEF,uDAAuD;AACvD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAsB,EAAE,KAAY,EAAE,GAAQ,EAAQ,EAAE,CAC3E,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC"}

package/dist/implementation/compiler/bind.d.ts

@@ -0,0 +1,9 @@
+import type { Node, Pattern } from 'estree';
+import type { Out } from './out.js';
+import type { Scope } from './scope.js';
+import { type Value } from './value.js';
+/** How a local is bound. Parameters are mutable data, but may also alias non-data values like `row`. */
+export type Binding = "const" | "let" | "parameter";
+/** Binds a declaration or parameter pattern to a value. */
+export declare const bind: (pattern: Pattern, value: Value, binding: Binding, scope: Scope, out: Out) => void;
+export declare const failPattern: (pattern: Node) => never;

package/dist/implementation/compiler/bind.js

@@ -0,0 +1,82 @@
+import { access } from './access.js';
+import { set } from './booleans.js';
+import { componentRead } from './columns.js';
+import { dataValue, mapLeaves, toData } from './data.js';
+import { fail } from './failure.js';
+import { local } from './ir.js';
+import { propertyKey } from './key.js';
+import { requireReadable } from './scalar.js';
+import { createSnapshot, snapshotDeclaration, snapshotLeaf } from './snapshot.js';
+import { fresh } from './unit.js';
+import { describeValue } from './value.js';
+const isLiteral = (expression) => expression.kind === "number" || expression.kind === "boolean" || expression.kind === "nullish";
+/** The value a new local holds: data is copied into fresh locals, so later writes elsewhere don't change it. */
+const declared = (node, value, binding, scope, out) => {
+    const keyword = binding === "const" ? "const" : "let";
+    const unit = scope.unit;
+    const copy = (expression) => {
+        if (binding === "const" && isLiteral(expression))
+            return expression;
+        const target = fresh(unit, node.name);
+        out.push(set(unit, target, expression, keyword));
+        return local(target);
+    };
+    switch (value.kind) {
+        case "scalar":
+            return { kind: "scalar", expression: copy(value.expression) };
+        case "dynamic": {
+            // Resources and args don't change while a kernel runs, so a const can alias them.
+            const constant = value.expression.kind === "resource" || value.expression.kind === "args";
+            return binding === "const" && constant ? value : { kind: "dynamic", expression: copy(value.expression) };
+        }
+        case "tuple":
+        case "struct":
+            return dataValue(mapLeaves(toData(value, node, scope), copy));
+        case "component": {
+            if (value.up !== true)
+                requireReadable(node, scope, value.component);
+            const snapshot = createSnapshot(keyword, node.name, path => componentRead(unit, value, path));
+            out.push(snapshotDeclaration(snapshot));
+            return { kind: "snapshot", snapshot, path: [] };
+        }
+        case "snapshot": {
+            const source = value;
+            const snapshot = createSnapshot(keyword, node.name, path => local(snapshotLeaf(unit, source.snapshot, [...source.path, ...path])));
+            out.push(snapshotDeclaration(snapshot));
+            return { kind: "snapshot", snapshot, path: [] };
+        }
+        // A row's values are read where they're used: a const reads them lazily, a let holds a copy.
+        case "rowRead":
+            return binding === "let" ? dataValue(mapLeaves(toData(value, node, scope), copy)) : value;
+        default:
+            return binding === "let" ? fail(node, `a let can't hold ${describeValue(value)}; use const`) : value;
+    }
+};
+/** Binds a declaration or parameter pattern to a value. */
+export const bind = (pattern, value, binding, scope, out) => {
+    switch (pattern.type) {
+        case "Identifier":
+            scope.locals.set(pattern.name, { value: declared(pattern, value, binding, scope, out), mutable: binding !== "const" });
+            return;
+        case "ArrayPattern":
+            pattern.elements.forEach((element, index) => {
+                if (element === null)
+                    return;
+                if (element.type === "RestElement")
+                    return fail(element, "rest elements are not in the kernel subset");
+                bind(element, access(value, { kind: "static", name: index }, element, scope, false), binding, scope, out);
+            });
+            return;
+        case "ObjectPattern":
+            for (const property of pattern.properties) {
+                if (property.type === "RestElement")
+                    return fail(property, "rest elements are not in the kernel subset");
+                bind(property.value, access(value, propertyKey(property, scope, out), property, scope, false), binding, scope, out);
+            }
+            return;
+        default:
+            return failPattern(pattern);
+    }
+};
+export const failPattern = (pattern) => fail(pattern, pattern.type === "AssignmentPattern" ? "default values are not in the kernel subset" : `${pattern.type} is not in the kernel subset`);
+//# sourceMappingURL=bind.js.map

package/dist/implementation/compiler/bind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.js","sourceRoot":"","sources":["../../../src/implementation/compiler/bind.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpC,OAAO,EAAE,KAAK,EAAmB,MAAM,SAAS,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAEvC,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClF,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,aAAa,EAAc,MAAM,YAAY,CAAC;AAKvD,MAAM,SAAS,GAAG,CAAC,UAAsB,EAAW,EAAE,CAClD,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC;AAEnG,gHAAgH;AAChH,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAE,KAAY,EAAE,OAAgB,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IACjG,MAAM,OAAO,GAAG,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,UAAsB,EAAc,EAAE;QAChD,IAAI,OAAO,KAAK,OAAO,IAAI,SAAS,CAAC,UAAU,CAAC;YAAE,OAAO,UAAU,CAAC;QACpE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC,CAAC;IACF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QAClE,KAAK,SAAS,CAAC,CAAC,CAAC;YACb,kFAAkF;YAClF,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC;YAC1F,OAAO,OAAO,KAAK,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7G,CAAC;QACD,KAAK,OAAO,CAAC;QAAC,KAAK,QAAQ;YACvB,OAAO,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAClE,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI;gBAAE,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YACrE,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9F,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACpD,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,KAAK,CAAC;YACrB,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnI,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACpD,CAAC;QACD,6FAA6F;QAC7F,KAAK,SAAS;YACV,OAAO,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9F;YACI,OAAO,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,oBAAoB,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC7G,CAAC;AACL,CAAC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,OAAgB,EAAE,KAAY,EAAE,OAAgB,EAAE,KAAY,EAAE,GAAQ,EAAQ,EAAE;IACnG,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,YAAY;YACb,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,EAAE,CAAC,CAAC;YACvH,OAAO;QACX,KAAK,cAAc;YACf,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBACxC,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO;gBAC7B,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO,IAAI,CAAC,OAAO,EAAE,4CAA4C,CAAC,CAAC;gBACvG,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC9G,CAAC,CAAC,CAAC;YACH,OAAO;QACX,KAAK,eAAe;YAChB,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO,IAAI,CAAC,QAAQ,EAAE,4CAA4C,CAAC,CAAC;gBACzG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YACxH,CAAC;YACD,OAAO;QACX;YACI,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAa,EAAS,EAAE,CAChD,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,6CAA6C,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,8BAA8B,CAAC,CAAC"}

package/dist/implementation/compiler/body-access.d.ts

@@ -0,0 +1,15 @@
+import type { Node, ObjectExpression } from 'estree';
+import type { Used } from './exact.js';
+import type { ModuleScope } from './module-scope.js';
+/**
+ * What a main-thread body reads, writes and contributes to through its row and context, for the parts where every use
+ * shows in its source. `row` and `context` are the indexes of those parameters, or -1 for none. The row and the
+ * context's `resources`, `lookup` and `reduce` are indexed only by module-scope keys the body doesn't shadow, or
+ * destructured by them, and never passed on, aliased or spread. A lookup's results are followed where each is indexed
+ * by such keys or tested, directly or through a `const` declared once; a lookup through an index's lists where they're
+ * read for `length` and `changed`, and their rows from `at` as a lookup's results are.
+ */
+export declare const usedBy: (declaration: ObjectExpression, body: Node, module: ModuleScope, positions: {
+    readonly row: number;
+    readonly context: number;
+}) => Used;