@adobe/ecs 0.0.0-stage → 0.1.0

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

@@ -0,0 +1,70 @@
+import type { Program } from 'estree';
+import { type Module, type ModuleBinding } from './module-scope.js';
+/**
+ * Why a specifier names no file the linker can read. `unreadable` marks one the build leaves unread, such as a package
+ * external to it, rather than one that fails to resolve.
+ */
+export type Unresolved = {
+    readonly error: string;
+    readonly unreadable?: boolean;
+};
+/** How the linker reaches other modules. Errors are reasons, reported only if a kernel uses what failed. */
+export type LinkHost = {
+    /** The file an import specifier names from `importer`. */
+    readonly resolve: (specifier: string, importer: string) => Promise<string | Unresolved>;
+    /** A file's code as JavaScript, and how offsets in it map to source lines when it was compiled from another language. */
+    readonly load: (file: string) => Promise<{
+        readonly code: string;
+        readonly locate?: Module["locate"];
+    } | {
+        readonly error: string;
+    }>;
+};
+/**
+ * Modules as the compiler sees them. Both answer from what the linker has loaded, and when it hasn't loaded something
+ * yet they throw a `Pending`, which `transformKernels` awaits before compiling the kernel again.
+ */
+export type Link = {
+    readonly module: (file: string) => Module | {
+        readonly error: string;
+    };
+    readonly resolve: (specifier: string, importer: string) => string | Unresolved;
+};
+/** A cache of modules and resolutions shared across transforms. */
+export type Linker = Link & {
+    /** Adds the module being transformed, so imports back into it resolve to the same module. */
+    readonly add: (module: Module) => void;
+    /** Drops a changed file, and with `resolutions` every resolution, for files that were created or deleted. */
+    readonly forget: (file: string, resolutions: boolean) => void;
+};
+type Pending = {
+    readonly pending: Promise<void>;
+};
+export declare const isPending: (error: unknown) => error is Pending;
+export declare const createLinker: (host: LinkHost, parse: (code: string) => Program) => Linker;
+/** A name as the linker resolves it: a definition in its module, a module namespace, or why it isn't one. */
+export type Resolved = {
+    readonly kind: "binding";
+    readonly module: Module;
+    readonly name: string;
+    readonly binding: Exclude<ModuleBinding, {
+        kind: "import" | "importNamespace";
+    }>;
+} | {
+    readonly kind: "namespace";
+    readonly file: string;
+}
+/**
+ * `cause` tells a name a module doesn't export, one several `export *` provide, and one in a module the build leaves
+ * unread, from failing to tell.
+ */
+ | {
+    readonly kind: "error";
+    readonly error: string;
+    readonly cause?: "missing" | "ambiguous" | "unreadable";
+};
+/** Follows a binding of `module` through imports to its definition. */
+export declare const resolveBinding: (link: Link, module: Module, name: string, binding: ModuleBinding, seen?: Set<string>) => Resolved;
+/** What `file` exports as `name`, following re-exports and `export *`. */
+export declare const resolveExport: (link: Link, file: string, name: string, seen?: Set<string>) => Resolved;
+export {};

package/dist/implementation/compiler/link.js

@@ -0,0 +1,169 @@
+import { createModule, locateIn } from './module-scope.js';
+const reason = (error) => error instanceof Error ? error.message : String(error);
+const pending = (promise) => {
+    const signal = { pending: promise };
+    throw signal;
+};
+export const isPending = (error) => typeof error === "object" && error !== null && "pending" in error && error.pending instanceof Promise;
+export const createLinker = (host, parse) => {
+    const modules = new Map();
+    const loading = new Map();
+    const resolutions = new Map();
+    const resolving = new Map();
+    /** Bumped when a file changes, or every resolution is dropped, so loads and resolutions in flight are discarded. */
+    const versions = new Map();
+    let resolutionVersion = 0;
+    /** Starts resolving `specifier` and loading its file, unless either is known or in flight. */
+    const prefetch = (specifier, importer) => {
+        const key = `${importer}\0${specifier}`;
+        const resolved = resolutions.get(key);
+        if (resolved !== undefined)
+            return typeof resolved === "string" ? startLoad(resolved) : Promise.resolve();
+        let promise = resolving.get(key);
+        if (promise === undefined) {
+            const version = resolutionVersion;
+            promise = host.resolve(specifier, importer)
+                .catch((error) => ({ error: `${specifier} can't be resolved from ${importer}: ${reason(error)}` }))
+                .then(result => {
+                if (version !== resolutionVersion)
+                    return;
+                resolutions.set(key, result);
+                if (typeof result === "string")
+                    void startLoad(result);
+            })
+                .finally(() => resolving.delete(key));
+            resolving.set(key, promise);
+        }
+        return promise;
+    };
+    const startLoad = (file) => {
+        if (modules.has(file))
+            return Promise.resolve();
+        let promise = loading.get(file);
+        if (promise === undefined) {
+            promise = load(file).finally(() => loading.delete(file));
+            loading.set(file, promise);
+        }
+        return promise;
+    };
+    /**
+     * Loads a module, then starts on the modules it re-exports: compiling stops at each module it doesn't have yet,
+     * and a namespace's members are usually found through re-exports.
+     */
+    const load = async (file) => {
+        const version = versions.get(file) ?? 0;
+        const loaded = await host.load(file).catch((error) => ({ error: `${file} can't be read: ${reason(error)}` }));
+        if (version !== (versions.get(file) ?? 0))
+            return;
+        if ("error" in loaded) {
+            modules.set(file, loaded);
+            return;
+        }
+        let module;
+        try {
+            module = createModule(file, parse(loaded.code), loaded.locate ?? locateIn(loaded.code));
+        }
+        catch (error) {
+            modules.set(file, { error: `${file} can't be parsed: ${reason(error)}` });
+            return;
+        }
+        modules.set(file, module);
+        for (const exported of module.exports.values())
+            if (exported.kind !== "local")
+                void prefetch(exported.specifier, file);
+        for (const star of module.stars)
+            void prefetch(star, file);
+    };
+    return {
+        module: file => modules.get(file) ?? pending(startLoad(file)),
+        resolve: (specifier, importer) => resolutions.get(`${importer}\0${specifier}`) ?? pending(prefetch(specifier, importer)),
+        add: module => { modules.set(module.file, module); },
+        forget: (file, all) => {
+            modules.delete(file);
+            loading.delete(file);
+            versions.set(file, (versions.get(file) ?? 0) + 1);
+            if (all) {
+                resolutions.clear();
+                resolving.clear();
+                resolutionVersion++;
+            }
+        },
+    };
+};
+/** A resolution that names no file, as a `Resolved`. */
+const unresolved = ({ error, unreadable }) => unreadable === true ? { kind: "error", error, cause: "unreadable" } : { kind: "error", error };
+const sameResolution = (a, b) => a.kind === "binding" && b.kind === "binding" ? a.module === b.module && a.name === b.name
+    : a.kind === "namespace" && b.kind === "namespace" && a.file === b.file;
+/** Follows a binding of `module` through imports to its definition. */
+export const resolveBinding = (link, module, name, binding, seen = new Set()) => {
+    switch (binding.kind) {
+        case "import":
+        case "importNamespace": {
+            const file = link.resolve(binding.specifier, module.file);
+            if (typeof file !== "string")
+                return unresolved(file);
+            return binding.kind === "importNamespace" ? { kind: "namespace", file } : resolveExport(link, file, binding.imported, seen);
+        }
+        default:
+            return { kind: "binding", module, name, binding };
+    }
+};
+/** What `file` exports as `name`, following re-exports and `export *`. */
+export const resolveExport = (link, file, name, seen = new Set()) => {
+    const module = link.module(file);
+    if ("error" in module)
+        return { kind: "error", error: module.error };
+    const missing = { kind: "error", error: `${name} isn't exported by ${file}`, cause: "missing" };
+    const key = `${file}\0${name}`;
+    if (seen.has(key))
+        return missing;
+    seen.add(key);
+    const exported = module.exports.get(name);
+    if (exported !== undefined) {
+        switch (exported.kind) {
+            case "local": {
+                const binding = module.bindings.get(exported.local);
+                return binding === undefined ? missing : resolveBinding(link, module, exported.local, binding, seen);
+            }
+            case "reexport":
+            case "namespace": {
+                const target = link.resolve(exported.specifier, file);
+                if (typeof target !== "string")
+                    return unresolved(target);
+                return exported.kind === "namespace" ? { kind: "namespace", file: target } : resolveExport(link, target, exported.imported, seen);
+            }
+        }
+    }
+    if (name === "default")
+        return missing;
+    // Every star is searched, to find ambiguity; what isn't loaded yet is waited for together. A star that is
+    // ambiguous itself makes the name ambiguous, and one that fails is the reason when no other star exports it.
+    const found = [];
+    const failures = [];
+    const waiting = [];
+    for (const star of module.stars) {
+        try {
+            const target = link.resolve(star, file);
+            const result = typeof target === "string" ? resolveExport(link, target, name, new Set(seen)) : unresolved(target);
+            if (result.kind !== "error") {
+                if (!found.some(item => sameResolution(item, result)))
+                    found.push(result);
+            }
+            else if (result.cause === "ambiguous")
+                return result;
+            else if (result.cause !== "missing")
+                failures.push(result);
+        }
+        catch (error) {
+            if (!isPending(error))
+                throw error;
+            waiting.push(error.pending);
+        }
+    }
+    if (waiting.length > 0)
+        pending(Promise.all(waiting).then(() => undefined));
+    if (found.length > 1)
+        return { kind: "error", error: `${name} is exported by more than one export * of ${file}`, cause: "ambiguous" };
+    return found[0] ?? failures[0] ?? missing;
+};
+//# sourceMappingURL=link.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"link.js","sourceRoot":"","sources":["../../../src/implementation/compiler/link.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAmC,MAAM,mBAAmB,CAAC;AAmC5F,MAAM,MAAM,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAElG,MAAM,OAAO,GAAG,CAAC,OAAsB,EAAS,EAAE;IAC9C,MAAM,MAAM,GAAY,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC7C,MAAM,MAAM,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAoB,EAAE,CAC1D,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,SAAS,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,YAAY,OAAO,CAAC;AAK1G,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAc,EAAE,KAAgC,EAAU,EAAE;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IACnD,oHAAoH;IACpH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,8FAA8F;IAC9F,MAAM,QAAQ,GAAG,CAAC,SAAiB,EAAE,QAAgB,EAAiB,EAAE;QACpE,MAAM,GAAG,GAAG,GAAG,QAAQ,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1G,IAAI,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,iBAAiB,CAAC;YAClC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC;iBACtC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,2BAA2B,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;iBAC3G,IAAI,CAAC,MAAM,CAAC,EAAE;gBACX,IAAI,OAAO,KAAK,iBAAiB;oBAAE,OAAO;gBAC1C,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;gBAC7B,IAAI,OAAO,MAAM,KAAK,QAAQ;oBAAE,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC;YAC3D,CAAC,CAAC;iBACD,OAAO,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAiB,EAAE;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAChD,IAAI,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC;IACF;;;OAGG;IACH,MAAM,IAAI,GAAG,KAAK,EAAE,IAAY,EAAiB,EAAE;QAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,IAAI,mBAAmB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACvH,IAAI,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAClD,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1B,OAAO;QACX,CAAC;QACD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACD,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5F,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,qBAAqB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1E,OAAO;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE;YAAE,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;gBAAE,KAAK,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACvH,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;YAAE,KAAK,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC;IACF,OAAO;QACH,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC7D,OAAO,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,QAAQ,KAAK,SAAS,EAAE,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACxH,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;YAClB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClD,IAAI,GAAG,EAAE,CAAC;gBACN,WAAW,CAAC,KAAK,EAAE,CAAC;gBACpB,SAAS,CAAC,KAAK,EAAE,CAAC;gBAClB,iBAAiB,EAAE,CAAC;YACxB,CAAC;QACL,CAAC;KACJ,CAAC;AACN,CAAC,CAAC;AAYF,wDAAwD;AACxD,MAAM,UAAU,GAAG,CAAC,EAAE,KAAK,EAAE,UAAU,EAAc,EAAY,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAEnK,MAAM,cAAc,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE,CACzD,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;IACrF,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;AAEhF,uEAAuE;AACvE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAU,EAAE,MAAc,EAAE,IAAY,EAAE,OAAsB,EAAE,OAAoB,IAAI,GAAG,EAAE,EAAY,EAAE;IACxI,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC;QAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;YACtD,OAAO,OAAO,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAChI,CAAC;QACD;YACI,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1D,CAAC;AACL,CAAC,CAAC;AAEF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAU,EAAE,IAAY,EAAE,IAAY,EAAE,OAAoB,IAAI,GAAG,EAAE,EAAY,EAAE;IAC7G,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,OAAO,IAAI,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACrE,MAAM,OAAO,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,sBAAsB,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC1G,MAAM,GAAG,GAAG,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;IAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IAClC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACX,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACpD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YACzG,CAAC;YACD,KAAK,UAAU,CAAC;YAAC,KAAK,WAAW,CAAC,CAAC,CAAC;gBAChC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;gBACtD,IAAI,OAAO,MAAM,KAAK,QAAQ;oBAAE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC1D,OAAO,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACtI,CAAC;QACL,CAAC;IACL,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACvC,0GAA0G;IAC1G,6GAA6G;IAC7G,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAe,EAAE,CAAC;IAChC,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxC,MAAM,MAAM,GAAa,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC5H,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9E,CAAC;iBACI,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW;gBAAE,OAAO,MAAM,CAAC;iBAChD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,MAAM,KAAK,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5E,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,6CAA6C,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IACtI,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC;AAC9C,CAAC,CAAC"}

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

@@ -0,0 +1,39 @@
+import type { Node } from 'estree';
+import { type Link } from './link.js';
+import type { Module } from './module-scope.js';
+/** The keys a list names, each as an expression of the kernel's module; or why the node isn't a list the compiler can read. */
+export type ListNames = readonly string[] | {
+    readonly error: string;
+};
+/** How a kernel's module reads its lists of keys, wherever they are declared. */
+export type Lists = {
+    /**
+     * The keys a list names: an array literal of the kernel's module-scope identifiers, or a constant, of the kernel's
+     * module or imported through any re-exports and namespaces, holding an array literal or `Archetype.create` of one.
+     * A key of another module's list is named by the kernel's binding of the same definition, or else by the list
+     * itself, as `List[k]`.
+     */
+    readonly names: (node: Node) => ListNames;
+    /**
+     * What a command's component argument names: a list, or one key by the expression the kernel's module names it with.
+     * A name is one key when its definition is a call of the global `Symbol`, identified or not, or a literal, which
+     * registration rejects for not being a symbol. A name defined in a module the build can't read, such as a package
+     * external to it, is taken as a key, and registration rejects a list there. Anything else fails with the reason.
+     */
+    readonly component: (node: Node) => Named;
+};
+/** What a command's component argument names, or why the compiler can't tell. */
+export type Named = {
+    readonly kind: "list";
+} | {
+    readonly kind: "key";
+    readonly name: string;
+} | {
+    readonly kind: "error";
+    readonly error: string;
+};
+/**
+ * Lists as `kernel` reads them. `nodes` are the kernel's declaration and body: the kernel's names for keys of other
+ * modules' lists are found among the module-scope identifiers they use, so only those are followed.
+ */
+export declare const createLists: (kernel: Module, link: Link | null, nodes: readonly Node[]) => Lists;

package/dist/implementation/compiler/lists.js

@@ -0,0 +1,189 @@
+import { children } from './estree.js';
+import { resolveBinding, resolveExport } from './link.js';
+/** A call of the global `Symbol` in `module`. */
+const isSymbolCall = (node, module) => node.type === "CallExpression" && node.callee.type === "Identifier" && node.callee.name === "Symbol" && !module.bindings.has("Symbol");
+/** A key's definition: `Symbol(...)`, as the plugin identifies it, `identify$(Symbol(...), id)`, or a literal. */
+const isKey = (node, module) => {
+    if (node.type === "Literal")
+        return !("regex" in node);
+    if (isSymbolCall(node, module))
+        return true;
+    if (node.type !== "CallExpression" || node.callee.type !== "Identifier" || !/^identify\$\d*$/.test(node.callee.name))
+        return false;
+    const [symbol] = node.arguments;
+    return module.bindings.get(node.callee.name)?.kind === "function" && symbol !== undefined && symbol.type !== "SpreadElement" && isSymbolCall(symbol, module);
+};
+/** `Archetype.create(<array literal>)`, with `Archetype` imported under any name: its array literal, else null. */
+const createdList = (node, module) => {
+    if (node.type !== "CallExpression" || node.arguments.length !== 1)
+        return null;
+    const { callee } = node;
+    if (callee.type !== "MemberExpression" || callee.computed || callee.object.type !== "Identifier" || callee.property.type !== "Identifier" || callee.property.name !== "create")
+        return null;
+    const binding = module.bindings.get(callee.object.name);
+    const [list] = node.arguments;
+    return binding?.kind === "import" && binding.imported === "Archetype" && list.type === "ArrayExpression" ? list : null;
+};
+const fileOf = (module, kernel) => module === kernel ? "this module" : module.file;
+/** Follows a binding to the array literal or key its constant holds, through imports and constants naming another. */
+const follow = (name, binding, module, kernel, link, reference, wanted, seen) => {
+    const identity = `${module.file}\0${name}`;
+    if (seen.has(identity))
+        return { error: `${reference} refers to itself` };
+    seen.add(identity);
+    const unread = wanted === "list" ? "the compiler can't read its components" : "the compiler can't tell whether it's a key or a list";
+    switch (binding.kind) {
+        case "const": {
+            const { init } = binding;
+            if (init.type === "ArrayExpression")
+                return { literal: init, module, reference };
+            const created = createdList(init, module);
+            if (created !== null)
+                return { literal: created, module, reference };
+            if (init.type === "Identifier") {
+                const aliased = module.bindings.get(init.name);
+                if (aliased !== undefined)
+                    return follow(init.name, aliased, module, kernel, link, reference, wanted, seen);
+            }
+            if (isKey(init, module))
+                return { key: identity };
+            const declare = wanted === "list" ? "declare it as an array literal, or Archetype.create of one" : "declare a key as Symbol(...), or a list as an array literal or Archetype.create of one";
+            return { error: `${reference} is computed when ${fileOf(module, kernel)} runs, so ${unread}; ${declare}` };
+        }
+        case "import":
+        case "importNamespace":
+            // Without a linker nothing imported can be read, so a name that may be one key is taken as one.
+            if (link === null)
+                return wanted === "list" ? { error: `${reference} is imported, and this build doesn't link imports` } : { key: null };
+            return followResolved(resolveBinding(link, module, name, binding), kernel, link, reference, wanted, seen);
+        case "function":
+        case "other":
+            return { error: `${reference} isn't a module-scope const, so ${unread}` };
+    }
+};
+const followResolved = (resolved, kernel, link, reference, wanted, seen) => {
+    switch (resolved.kind) {
+        case "error": return wanted === "either" && resolved.cause === "unreadable" ? { key: null } : { error: resolved.error };
+        case "namespace": return { error: `${reference} is a module namespace, not ${wanted === "list" ? "a list of components" : "a key or a list of components"}` };
+        case "binding": return follow(resolved.name, resolved.binding, resolved.module, kernel, link, reference, wanted, seen);
+    }
+};
+/** The names of a member chain of identifiers, `A.B.C`, outermost first; null for any other node. */
+const chain = (node) => {
+    if (node.type === "Identifier")
+        return [node.name];
+    if (node.type !== "MemberExpression" || node.computed || node.property.type !== "Identifier")
+        return null;
+    const object = chain(node.object);
+    return object === null ? null : [...object, node.property.name];
+};
+/** What a node names: an array literal, or the definition an identifier or a namespace member chain names. */
+const find = (node, kernel, link, wanted) => {
+    if (node.type === "ArrayExpression")
+        return { literal: node, module: kernel, reference: "" };
+    const names = chain(node);
+    if (names === null)
+        return { error: "commands and kernel declarations name a list as an array literal, or a constant holding one or Archetype.create of one" };
+    const [first, ...members] = names;
+    const reference = names.join(".");
+    const binding = kernel.bindings.get(first);
+    if (binding === undefined)
+        return { error: `${first} isn't bound at module scope` };
+    if (members.length === 0)
+        return follow(first, binding, kernel, kernel, link, reference, wanted, new Set());
+    const what = wanted === "list" ? "a list" : "a key or a list";
+    if (binding.kind !== "importNamespace")
+        return { error: `${first} isn't a module namespace, so ${reference} isn't ${what} the compiler can read` };
+    if (link === null)
+        return wanted === "list" ? { error: `${reference} is imported, and this build doesn't link imports` } : { key: null };
+    let resolved = resolveBinding(link, kernel, first, binding);
+    for (const member of members) {
+        if (resolved.kind === "error")
+            return followResolved(resolved, kernel, link, reference, wanted, new Set());
+        if (resolved.kind !== "namespace")
+            return { error: `${reference} isn't ${what} the compiler can read` };
+        resolved = resolveExport(link, resolved.file, member);
+    }
+    return followResolved(resolved, kernel, link, reference, wanted, new Set());
+};
+/** The identity of what a binding of `module` defines: its module and name, through imports; null where it can't be followed. */
+const definition = (module, name, binding, link) => {
+    if (binding.kind !== "import" && binding.kind !== "importNamespace")
+        return `${module.file}\0${name}`;
+    if (link === null)
+        return null;
+    const resolved = resolveBinding(link, module, name, binding);
+    return resolved.kind === "binding" ? `${resolved.module.file}\0${resolved.name}` : null;
+};
+/**
+ * Lists as `kernel` reads them. `nodes` are the kernel's declaration and body: the kernel's names for keys of other
+ * modules' lists are found among the module-scope identifiers they use, so only those are followed.
+ */
+export const createLists = (kernel, link, nodes) => {
+    /** Each key definition's name in the kernel's module, filled from the kernel's identifiers when a list of another module is first read. */
+    let named = null;
+    const nameOf = (identity, fallback) => {
+        if (named === null) {
+            const found = new Map();
+            const followed = new Set();
+            const visit = (node) => {
+                if (node.type === "Identifier" && !followed.has(node.name)) {
+                    followed.add(node.name);
+                    const binding = kernel.bindings.get(node.name);
+                    const defined = binding === undefined ? null : definition(kernel, node.name, binding, link);
+                    if (defined !== null && !found.has(defined))
+                        found.set(defined, node.name);
+                }
+                for (const child of children(node))
+                    visit(child);
+            };
+            for (const node of nodes)
+                visit(node);
+            named = found;
+        }
+        const name = named.get(identity);
+        if (name !== undefined)
+            return name;
+        named.set(identity, fallback);
+        return fallback;
+    };
+    const names = (node) => {
+        const found = find(node, kernel, link, "list");
+        if ("key" in found) {
+            const reference = chain(node)?.join(".") ?? "";
+            return { error: `${reference} is a key, not a list of components; list it as [${reference}]` };
+        }
+        if (!("literal" in found))
+            return found;
+        const { literal, module, reference } = found;
+        const result = [];
+        for (let k = 0; k < literal.elements.length; k++) {
+            const element = literal.elements[k];
+            const binding = element?.type === "Identifier" ? module.bindings.get(element.name) : undefined;
+            if (element?.type !== "Identifier" || binding === undefined) {
+                return { error: module === kernel ? "lists name keys by identifiers bound at module scope" : `${reference} names a key by something other than an identifier bound at the scope of ${module.file}` };
+            }
+            if (module === kernel) {
+                result.push(element.name);
+                continue;
+            }
+            const fallback = `${reference}[${k}]`;
+            const identity = definition(module, element.name, binding, link);
+            result.push(identity === null ? fallback : nameOf(identity, fallback));
+        }
+        return result;
+    };
+    const component = (node) => {
+        const found = find(node, kernel, link, "either");
+        if ("literal" in found)
+            return { kind: "list" };
+        if ("error" in found)
+            return { kind: "error", error: found.error };
+        const reference = chain(node)?.join(".") ?? "";
+        // A key named by an identifier is that identifier; one named through a namespace is the kernel's own binding of
+        // its definition where it has one.
+        return { kind: "key", name: node.type === "Identifier" || found.key === null ? reference : nameOf(found.key, reference) };
+    };
+    return { names, component };
+};
+//# sourceMappingURL=lists.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lists.js","sourceRoot":"","sources":["../../../src/implementation/compiler/lists.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,aAAa,EAA4B,MAAM,WAAW,CAAC;AAoCpF,iDAAiD;AACjD,MAAM,YAAY,GAAG,CAAC,IAAgB,EAAE,MAAc,EAAW,EAAE,CAC/D,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAE3I,kHAAkH;AAClH,MAAM,KAAK,GAAG,CAAC,IAAgB,EAAE,MAAc,EAAW,EAAE;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC;IACvD,IAAI,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACnI,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAChC,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,UAAU,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AACjK,CAAC,CAAC;AAEF,mHAAmH;AACnH,MAAM,WAAW,GAAG,CAAC,IAAgB,EAAE,MAAc,EAA0B,EAAE;IAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IACxB,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5L,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9B,OAAO,OAAO,EAAE,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3H,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,MAAc,EAAU,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;AAE3G,sHAAsH;AACtH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,OAAsB,EAAE,MAAc,EAAE,MAAc,EAAE,IAAiB,EAAE,SAAiB,EAAE,MAAc,EAAE,IAAiB,EAAY,EAAE;IACvK,MAAM,QAAQ,GAAG,GAAG,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;IAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,mBAAmB,EAAE,CAAC;IAC1E,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC,sDAAsD,CAAC;IACrI,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;gBAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;YACjF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1C,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;YACrE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,OAAO,KAAK,SAAS;oBAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAChH,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;gBAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,4DAA4D,CAAC,CAAC,CAAC,wFAAwF,CAAC;YAC5L,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,qBAAqB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,MAAM,KAAK,OAAO,EAAE,EAAE,CAAC;QAC/G,CAAC;QACD,KAAK,QAAQ,CAAC;QAAC,KAAK,iBAAiB;YACjC,gGAAgG;YAChG,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,mDAAmD,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;YACzI,OAAO,cAAc,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9G,KAAK,UAAU,CAAC;QAAC,KAAK,OAAO;YACzB,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,mCAAmC,MAAM,EAAE,EAAE,CAAC;IAClF,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,QAAkB,EAAE,MAAc,EAAE,IAAiB,EAAE,SAAiB,EAAE,MAAc,EAAE,IAAiB,EAAY,EAAE;IAC7I,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO,CAAC,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;QACxH,KAAK,WAAW,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,+BAA+B,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,+BAA+B,EAAE,EAAE,CAAC;QAC9J,KAAK,SAAS,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3H,CAAC;AACL,CAAC,CAAC;AAEF,qGAAqG;AACrG,MAAM,KAAK,GAAG,CAAC,IAAU,EAA4B,EAAE;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC1G,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,8GAA8G;AAC9G,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,MAAc,EAAE,IAAiB,EAAE,MAAc,EAAY,EAAE;IACrF,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC7F,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,wHAAwH,EAAE,CAAC;IAC/J,MAAM,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,GAAG,KAAK,CAAC;IAClC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,8BAA8B,EAAE,CAAC;IACpF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC;IAC9D,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,iCAAiC,SAAS,UAAU,IAAI,wBAAwB,EAAE,CAAC;IACnJ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,mDAAmD,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACzI,IAAI,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC3G,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,UAAU,IAAI,wBAAwB,EAAE,CAAC;QACxG,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAChF,CAAC,CAAC;AAEF,iIAAiI;AACjI,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,IAAY,EAAE,OAAsB,EAAE,IAAiB,EAAiB,EAAE;IAC1G,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;IACtG,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5F,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,IAAiB,EAAE,KAAsB,EAAS,EAAE;IAC5F,2IAA2I;IAC3I,IAAI,KAAK,GAA+B,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,CAAC,QAAgB,EAAE,QAAgB,EAAU,EAAE;QAC1D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;YACnC,MAAM,KAAK,GAAG,CAAC,IAAU,EAAQ,EAAE;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACzD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACxB,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC/C,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;oBAC5F,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/E,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACrD,CAAC,CAAC;YACF,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,GAAG,KAAK,CAAC;QAClB,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC9B,OAAO,QAAQ,CAAC;IACpB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAU,EAAa,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;YACjB,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC/C,OAAO,EAAE,KAAK,EAAE,GAAG,SAAS,oDAAoD,SAAS,GAAG,EAAE,CAAC;QACnG,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;QAC7C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,OAAO,GAAG,OAAO,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/F,IAAI,OAAO,EAAE,IAAI,KAAK,YAAY,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1D,OAAO,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,sDAAsD,CAAC,CAAC,CAAC,GAAG,SAAS,4EAA4E,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACzM,CAAC;YACD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACpB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC1B,SAAS;YACb,CAAC;YACD,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,CAAC,GAAG,CAAC;YACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,IAAU,EAAS,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjD,IAAI,SAAS,IAAI,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAChD,IAAI,OAAO,IAAI,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QACnE,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC/C,gHAAgH;QAChH,mCAAmC;QACnC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,CAAC;IAC9H,CAAC,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC,CAAC"}

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

@@ -0,0 +1,24 @@
+import type { Node, ObjectExpression } from 'estree';
+type Range = {
+    readonly start: number;
+    readonly end: number;
+};
+/** How a call passes a key part: as in `world/index-lookups.ts`'s `Shape`, `0` whole, `n` a tuple of `n` scalars, or a comparison's operators. */
+type Form = number | readonly (readonly [string, number])[];
+/**
+ * A call of an index lookup in a main-thread body: its callee's source, its key's shape, and the source ranges of the
+ * values it passes, literals flattened.
+ */
+export type LookupSite = Range & {
+    readonly callee: Range;
+    readonly shape: readonly Form[];
+    readonly values: readonly Range[];
+};
+/**
+ * The index lookup calls in a main-thread body, whose context is its parameter at `context`: `context.lookup.name(key)`,
+ * `lookup.name(key)` and `name(key)` as the parameter's pattern binds them, for lookups the declaration declares with
+ * `index` in an object literal. A body that redeclares the names it reaches them by is left alone, and so is a call
+ * with a spread argument or more than `maximumArguments` values, or one inside another's arguments.
+ */
+export declare const lookupSites: (body: Node, declaration: ObjectExpression, context: number) => readonly LookupSite[];
+export {};

package/dist/implementation/compiler/lookups.js

@@ -0,0 +1,118 @@
+import { children, declaredIn } from './estree.js';
+/** Arguments a site passes at most (`world/prepared-lookup.ts`). */
+const maximumArguments = 16;
+const operators = new Set(["==", "!=", "<", ">", "<=", ">="]);
+/** A property's plain name: an identifier or a string literal, not computed. */
+const nameOf = (key, computed) => !computed && key.type === "Identifier" ? key.name : key.type === "Literal" && typeof key.value === "string" ? key.value : null;
+/** The names of a declaration's lookups that go through an index: those declared as an object literal with `index`. */
+const indexLookupsOf = (declaration) => {
+    const names = new Set();
+    for (const property of declaration.properties) {
+        if (property.type !== "Property" || nameOf(property.key, property.computed) !== "lookup" || property.value.type !== "ObjectExpression")
+            continue;
+        for (const lookup of property.value.properties) {
+            if (lookup.type !== "Property" || lookup.value.type !== "ObjectExpression")
+                continue;
+            const name = nameOf(lookup.key, lookup.computed);
+            const indexed = lookup.value.properties.some(field => field.type === "Property" && nameOf(field.key, field.computed) === "index");
+            if (name !== null && indexed)
+                names.add(name);
+        }
+    }
+    return names;
+};
+const reachOf = (parameter, names) => {
+    if (parameter?.type === "Identifier")
+        return { context: parameter.name, lookup: null, direct: new Map() };
+    if (parameter?.type !== "ObjectPattern")
+        return null;
+    for (const property of parameter.properties) {
+        if (property.type !== "Property" || nameOf(property.key, property.computed) !== "lookup")
+            continue;
+        if (property.value.type === "Identifier")
+            return { context: null, lookup: property.value.name, direct: new Map() };
+        if (property.value.type !== "ObjectPattern")
+            return null;
+        const direct = new Map();
+        for (const inner of property.value.properties) {
+            if (inner.type !== "Property" || inner.value.type !== "Identifier")
+                continue;
+            const name = nameOf(inner.key, inner.computed);
+            if (name !== null && names.has(name))
+                direct.set(inner.value.name, name);
+        }
+        return { context: null, lookup: null, direct };
+    }
+    return null;
+};
+/** The form and values of one argument: a tuple or comparison literal flattened, anything else whole. */
+const formOf = (argument) => {
+    if (argument.type === "ArrayExpression" && argument.elements.length > 0 && argument.elements.every(element => element !== null && element.type !== "SpreadElement")) {
+        return { form: argument.elements.length, values: argument.elements.flatMap(element => element === null ? [] : [{ start: element.start, end: element.end }]) };
+    }
+    if (argument.type === "ObjectExpression" && argument.properties.length > 0) {
+        const entries = [];
+        const values = [];
+        for (const property of argument.properties) {
+            if (property.type !== "Property" || property.kind !== "init" || property.method || property.computed)
+                return { form: 0, values: [argument] };
+            const operator = nameOf(property.key, false);
+            if (operator === null || !operators.has(operator) || property.value.type === "AssignmentPattern" || property.value.type === "ObjectPattern"
+                || property.value.type === "ArrayPattern" || property.value.type === "RestElement")
+                return { form: 0, values: [argument] };
+            const operand = formOf(property.value);
+            entries.push([operator, typeof operand.form === "number" ? operand.form : 0]);
+            values.push(...typeof operand.form === "number" ? operand.values : [property.value]);
+        }
+        return { form: entries, values };
+    }
+    return { form: 0, values: [argument] };
+};
+/**
+ * The index lookup calls in a main-thread body, whose context is its parameter at `context`: `context.lookup.name(key)`,
+ * `lookup.name(key)` and `name(key)` as the parameter's pattern binds them, for lookups the declaration declares with
+ * `index` in an object literal. A body that redeclares the names it reaches them by is left alone, and so is a call
+ * with a spread argument or more than `maximumArguments` values, or one inside another's arguments.
+ */
+export const lookupSites = (body, declaration, context) => {
+    if (body.type !== "ArrowFunctionExpression" && body.type !== "FunctionExpression")
+        return [];
+    const names = indexLookupsOf(declaration);
+    if (names.size === 0)
+        return [];
+    const reach = reachOf(body.params[context], names);
+    if (reach === null)
+        return [];
+    const declared = new Set();
+    declaredIn(body.body, name => declared.add(name));
+    if ((reach.context !== null && declared.has(reach.context)) || (reach.lookup !== null && declared.has(reach.lookup)))
+        return [];
+    /** Whether a callee is one of the declaration's index lookups, as the body reaches it. */
+    const isLookup = (callee) => {
+        if (callee.type === "Identifier")
+            return reach.direct.has(callee.name) && !declared.has(callee.name);
+        if (callee.type !== "MemberExpression" || callee.computed || callee.optional || callee.property.type !== "Identifier" || !names.has(callee.property.name))
+            return false;
+        const { object } = callee;
+        if (object.type === "Identifier")
+            return reach.lookup !== null && object.name === reach.lookup;
+        return reach.context !== null && object.type === "MemberExpression" && !object.computed && !object.optional && object.object.type === "Identifier"
+            && object.object.name === reach.context && object.property.type === "Identifier" && object.property.name === "lookup";
+    };
+    const sites = [];
+    const visit = (node) => {
+        if (node.type === "CallExpression" && !node.optional && isLookup(node.callee) && node.arguments.every((argument) => argument.type !== "SpreadElement")) {
+            const forms = node.arguments.map((argument) => argument.type === "SpreadElement" ? { form: 0, values: [] } : formOf(argument));
+            const values = forms.flatMap(form => form.values);
+            if (values.length <= maximumArguments) {
+                sites.push({ start: node.start, end: node.end, callee: { start: node.callee.start, end: node.callee.end }, shape: forms.map(form => form.form), values });
+                return;
+            }
+        }
+        for (const child of children(node))
+            visit(child);
+    };
+    visit(body.body);
+    return sites;
+};
+//# sourceMappingURL=lookups.js.map