@scriptc/compiler 0.4.1 → 0.4.2

package/dist/frontend/npm-static-tsc-helpers.js

@@ -0,0 +1,106 @@
+/* tsc wraps every CommonJS import in its interop helpers:
+ *
+ *   const events_1 = __importDefault(require("events"));   // events_1.default.X
+ *   const path = __importStar(require("path"));             // path.basename
+ *
+ * For program modules cjs-tsc-interop.ts reads such a binding as a plain
+ * require binding, and the helper declarations (`var __importDefault =
+ * (this && this.__importDefault) || …`) go dead. A builtin module is not a
+ * program module, so its binding kept the helpers live, and their probe of
+ * the module's top-level `this` has no lowering. A builtin carries no
+ * `__esModule`: `events_1.default` is the module and the namespace copy
+ * reads the module's members. When every reference has that form
+ * (`x.default…` for the default helper, `x.<member>` other than `default`
+ * for the namespace helper), the binding becomes the plain `require()` of
+ * the builtin and `x.default` becomes `x`. */
+import * as ts from "./ts7/syntax.js";
+import { applyEdits, unparen } from "./npm-static-bundled-chunks.js";
+import { canonicalBuiltinModule } from "./builtin-modules.js";
+/** True when the text may hold such a binding (a cheap probe). */
+export function mayHoldTscBuiltinImport(source) {
+    return /__import(?:Default|Star)\(require\(/.test(source);
+}
+/** `__importDefault(require("<builtin>"))` / `__importStar(…)`: the helper
+ * and builtin spec, or null. */
+function builtinInterop(init) {
+    const e = unparen(init);
+    if (!ts.isCallExpression(e) || !ts.isIdentifier(e.expression) || e.arguments.nodes.length !== 1)
+        return null;
+    const helper = e.expression.text;
+    if (helper !== "__importDefault" && helper !== "__importStar")
+        return null;
+    const req = unparen(e.arguments.nodes[0]);
+    if (!ts.isCallExpression(req) ||
+        !ts.isIdentifier(req.expression) ||
+        req.expression.text !== "require" ||
+        req.arguments.nodes.length !== 1 ||
+        !ts.isStringLiteral(req.arguments.nodes[0]))
+        return null;
+    const spec = req.arguments.nodes[0].text;
+    return canonicalBuiltinModule(spec) === null ? null : { helper, spec };
+}
+/** The `.default` accesses to remove when every reference to `name` (other
+ * than its declaration) has the helper's form, or null. */
+function interopReferences(sf, decl, name, helper) {
+    const defaults = [];
+    let ok = true;
+    ts.walkPreorder(sf, (n) => {
+        if (!ok)
+            return "stop";
+        if (!ts.isIdentifier(n) || n.text !== name || n === decl.name)
+            return undefined;
+        const parent = n.parent;
+        if (parent === undefined ||
+            !ts.isPropertyAccessExpression(parent) ||
+            parent.expression !== n ||
+            parent.questionDotToken !== undefined) {
+            ok = false;
+            return "stop";
+        }
+        const member = parent.name.text;
+        if (helper === "__importDefault") {
+            if (member !== "default")
+                ok = false;
+            else
+                defaults.push(parent);
+        }
+        else if (member === "default") {
+            ok = false;
+        }
+        return undefined;
+    });
+    return ok ? defaults : null;
+}
+/** The module text with its builtin interop bindings unwrapped, or null. */
+export function unwrapTscBuiltinImports(sf) {
+    if (ts.isExternalModule(sf) && !sf.fileName.endsWith(".cjs"))
+        return null;
+    const edits = [];
+    const stmts = sf.statements.nodes;
+    // Builtin modules through the interop helpers.
+    for (const stmt of stmts) {
+        if (!ts.isVariableStatement(stmt))
+            continue;
+        for (const d of stmt.declarationList.declarations.nodes) {
+            if (!ts.isIdentifier(d.name) || d.initializer === undefined)
+                continue;
+            const interop = builtinInterop(d.initializer);
+            if (interop === null)
+                continue;
+            const defaults = interopReferences(sf, d, d.name.text, interop.helper);
+            if (defaults === null)
+                continue;
+            edits.push({
+                start: d.initializer.getStart(sf),
+                end: d.initializer.getEnd(),
+                text: `require(${JSON.stringify(interop.spec)})`,
+            });
+            for (const access of defaults)
+                edits.push({ start: access.getStart(sf), end: access.getEnd(), text: d.name.text });
+        }
+    }
+    if (edits.length === 0)
+        return null;
+    return applyEdits(sf.text, 0, sf.text.length, edits);
+}
+//# sourceMappingURL=npm-static-tsc-helpers.js.map

package/dist/frontend/npm-static-tsc-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-static-tsc-helpers.js","sourceRoot":"","sources":["../../src/frontend/npm-static-tsc-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;8CAc8C;AAC9C,OAAO,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAa,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,kEAAkE;AAClE,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,OAAO,qCAAqC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5D,CAAC;AAED;gCACgC;AAChC,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAC7F,OAAO,IAAI,CAAC;IACd,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;IACjC,IAAI,MAAM,KAAK,iBAAiB,IAAI,MAAM,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAC3C,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;QACzB,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;QAChC,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;QACjC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAE5C,OAAO,IAAI,CAAC;IACd,MAAM,IAAI,GAAI,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAsB,CAAC,IAAI,CAAC;IAC/D,OAAO,sBAAsB,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACzE,CAAC;AAED;2DAC2D;AAC3D,SAAS,iBAAiB,CACxB,EAAiB,EACjB,IAA4B,EAC5B,IAAY,EACZ,MAAc;IAEd,MAAM,QAAQ,GAAkC,EAAE,CAAC;IACnD,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;QACxB,IAAI,CAAC,EAAE;YAAE,OAAO,MAAM,CAAC;QACvB,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAChF,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QACxB,IACE,MAAM,KAAK,SAAS;YACpB,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;YACtC,MAAM,CAAC,UAAU,KAAK,CAAC;YACvB,MAAM,CAAC,gBAAgB,KAAK,SAAS,EACrC,CAAC;YACD,EAAE,GAAG,KAAK,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,IAAI,MAAM,KAAK,iBAAiB,EAAE,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS;gBAAE,EAAE,GAAG,KAAK,CAAC;;gBAChC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;aAAM,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,EAAE,GAAG,KAAK,CAAC;QACb,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9B,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,uBAAuB,CAAC,EAAiB;IACvD,IAAI,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;IAClC,+CAA+C;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YACxD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;gBAAE,SAAS;YACtE,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,IAAI;gBAAE,SAAS;YAC/B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACvE,IAAI,QAAQ,KAAK,IAAI;gBAAE,SAAS;YAChC,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjC,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE;gBAC3B,IAAI,EAAE,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG;aACjD,CAAC,CAAC;YACH,KAAK,MAAM,MAAM,IAAI,QAAQ;gBAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACvD,CAAC"}

package/dist/frontend/npm-static-tsc-helpers.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/npm-static-tsc-helpers.test.js

@@ -0,0 +1,58 @@
+import { spawnSync } from "node:child_process";
+import { mkdtempSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { afterAll, expect, test } from "vitest";
+import { nodeFrontendServices } from "./services-node.js";
+const dirs = [];
+afterAll(() => {
+    for (const dir of dirs)
+        rmSync(dir, { recursive: true, force: true });
+});
+function rewrite(source) {
+    return nodeFrontendServices().tscBuiltinImports(source, "/pkg/index.js");
+}
+const helpers = `"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) result[k] = mod[k];
+    result["default"] = mod;
+    return result;
+};
+`;
+function expectSameBehavior(source) {
+    const result = rewrite(source);
+    expect(typeof result).toBe("string");
+    const dir = mkdtempSync(join(tmpdir(), "scriptc-tsc-builtin-imports-"));
+    dirs.push(dir);
+    writeFileSync(join(dir, "original.cjs"), source);
+    writeFileSync(join(dir, "rewritten.cjs"), result);
+    const run = (file) => spawnSync(process.execPath, [join(dir, file)], { encoding: "utf8" });
+    const oracle = run("original.cjs");
+    expect(oracle.status).toBe(0);
+    expect(run("rewritten.cjs").stdout).toBe(oracle.stdout);
+    return result;
+}
+test("builtin modules behind tsc's interop helpers become plain requires", () => {
+    const out = expectSameBehavior(`${helpers}const events_1 = __importDefault(require("events"));
+const path = __importStar(require("node:path"));
+class Bus extends events_1.default.EventEmitter {}
+console.log(new Bus() instanceof events_1.default, path.basename("/a/b.txt"), typeof path.join);
+`);
+    expect(out).toContain('const events_1 = require("events");');
+    expect(out).toContain("class Bus extends events_1.EventEmitter {}");
+    expect(out).toContain('const path = require("node:path");');
+});
+test("other references, program modules and default reads of a namespace keep their text", () => {
+    // The binding itself as a value.
+    expect(rewrite(`${helpers}const events_1 = __importDefault(require("events"));\nconsole.log(events_1);\n`)).toBeNull();
+    // A program module (cjs-tsc-interop.ts owns it).
+    expect(rewrite(`${helpers}const m = __importDefault(require("./m"));\nm.default();\n`)).toBeNull();
+    // `ns.default` reads the namespace copy's own default.
+    expect(rewrite(`${helpers}const p = __importStar(require("path"));\nconsole.log(p.default === p);\n`)).toBeNull();
+});
+//# sourceMappingURL=npm-static-tsc-helpers.test.js.map

package/dist/frontend/npm-static-tsc-helpers.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-static-tsc-helpers.test.js","sourceRoot":"","sources":["../../src/frontend/npm-static-tsc-helpers.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE1D,MAAM,IAAI,GAAa,EAAE,CAAC;AAC1B,QAAQ,CAAC,GAAG,EAAE;IACZ,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,oBAAoB,EAAE,CAAC,iBAAiB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,OAAO,GAAG;;;;;;;;;;;CAWf,CAAC;AAEF,SAAS,kBAAkB,CAAC,MAAc;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,8BAA8B,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC;IACjD,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,EAAE,MAAO,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAE,CAC3B,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,OAAO,MAAO,CAAC;AACjB,CAAC;AAED,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,OAAO;;;;CAI1C,CAAC,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,4CAA4C,CAAC,CAAC;IACpE,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oCAAoC,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;IAC9F,iCAAiC;IACjC,MAAM,CACJ,OAAO,CACL,GAAG,OAAO,gFAAgF,CAC3F,CACF,CAAC,QAAQ,EAAE,CAAC;IACb,iDAAiD;IACjD,MAAM,CACJ,OAAO,CAAC,GAAG,OAAO,4DAA4D,CAAC,CAChF,CAAC,QAAQ,EAAE,CAAC;IACb,uDAAuD;IACvD,MAAM,CACJ,OAAO,CAAC,GAAG,OAAO,2EAA2E,CAAC,CAC/F,CAAC,QAAQ,EAAE,CAAC;AACf,CAAC,CAAC,CAAC"}

package/dist/frontend/npm-static-type-exports-host.d.ts

@@ -0,0 +1,8 @@
+import type { FrontendServices } from "./services.js";
+export interface NpmStaticTypeExportPlan {
+    /** Copies of the declaration files, by copy path. */
+    copies: Map<string, string>;
+    /** The typedef block to append, by runtime entry (forward slashes). */
+    typedefs: Map<string, string>;
+}
+export declare function npmStaticTypeExportPlan(services: FrontendServices, entryPath: string, packages: readonly string[]): NpmStaticTypeExportPlan;

package/dist/frontend/npm-static-type-exports-host.js

@@ -0,0 +1,214 @@
+/** Filesystem side of npm-static-type-exports.ts: finds each opted-in
+ * package's declaration entry and runtime entry, copies the declaration
+ * files the entry reaches, and builds the runtime entry's typedefs. */
+import { dirname, relative, resolve as resolvePath } from "node:path";
+import { trackedFileExists, trackedReadFile } from "./input-tracker.js";
+import { resolveBareModule } from "./resolve.js";
+import { isJsSourceFileName } from "./tsc-codes.js";
+import { NPM_STATIC_TYPES_SUFFIX } from "./npm-static.js";
+import * as ts from "./ts7/syntax.js";
+import { npmStaticDeclarationCopy, npmStaticDeclarationExports, npmStaticDeclarationSpecifiers, npmStaticTypedefBlock, } from "./npm-static-type-exports.js";
+/** The copy path of a declaration file. */
+function copyPathOf(declarationFile) {
+    return declarationFile.replace(/\.d\.ts$/, NPM_STATIC_TYPES_SUFFIX);
+}
+/** The declaration file a relative specifier names from `fromFile`, or null. */
+function declarationTargetOf(fromFile, specifier) {
+    const base = resolvePath(dirname(fromFile), specifier);
+    const candidates = [
+        `${base}.d.ts`,
+        `${base.replace(/\.(c|m)?js$/, "")}.d.ts`,
+        resolvePath(base, "index.d.ts"),
+    ];
+    for (const candidate of candidates)
+        if (trackedFileExists(candidate))
+            return candidate;
+    return null;
+}
+/** A specifier for `target` from `fromFile`'s directory, without `.d.ts`. */
+function specifierFor(fromFile, target) {
+    const rel = relative(dirname(fromFile), target)
+        .split("\\")
+        .join("/")
+        .replace(/\.d\.ts$/, "");
+    return rel.startsWith(".") ? rel : `./${rel}`;
+}
+/** The names the runtime JavaScript declares as types itself: classes,
+ * JSDoc typedefs and callbacks, and `@enum` constants. */
+function runtimeTypeNames(services, file, text) {
+    const names = new Set();
+    for (const m of text.matchAll(/@(?:typedef|callback)\s+(?:\{[^}]*\}\s*)?([A-Za-z_$][\w$]*)/g))
+        names.add(m[1]);
+    // `/** @enum {number} */ const Kind = { ... }`: the constant names a type too.
+    for (const m of text.matchAll(/@enum\b[^\n]*\n(?:\s*\*[^\n]*\n)*?\s*(?:\*\/\s*)?(?:export\s+)?(?:const|let|var)\s+([A-Za-z_$][\w$]*)/g))
+        names.add(m[1]);
+    const sf = services.parse(file, text, "js");
+    for (const stmt of sf.statements.nodes)
+        if (ts.isClassDeclaration(stmt) && stmt.name !== undefined)
+            names.add(stmt.name.text);
+    return names;
+}
+export function npmStaticTypeExportPlan(services, entryPath, packages) {
+    const copies = new Map();
+    const typedefs = new Map();
+    const parsed = new Map();
+    const parse = (file) => {
+        let sf = parsed.get(file);
+        if (sf === undefined) {
+            const text = trackedReadFile(file);
+            sf = text === null ? null : services.parse(file, text, "ts");
+            parsed.set(file, sf);
+        }
+        return sf;
+    };
+    // Copies every declaration file reachable from `file` through relative
+    // specifiers, each specifier respelled to its target's copy.
+    const copy = (file) => {
+        const copyPath = copyPathOf(file);
+        if (copies.has(copyPath))
+            return;
+        const sf = parse(file);
+        if (sf === null)
+            return;
+        copies.set(copyPath, "");
+        const targets = new Map();
+        for (const specifier of npmStaticDeclarationSpecifiers(sf)) {
+            const target = declarationTargetOf(file, specifier);
+            if (target !== null)
+                targets.set(specifier, target);
+        }
+        copies.set(copyPath, npmStaticDeclarationCopy(sf, (specifier) => {
+            const target = targets.get(specifier);
+            return target === undefined ? null : specifierFor(copyPath, copyPathOf(target));
+        }));
+        for (const target of targets.values())
+            copy(target);
+    };
+    const exportsOf = new Map();
+    const declarationExports = (file) => {
+        let ex = exportsOf.get(file);
+        if (ex === undefined) {
+            const sf = parse(file);
+            ex = sf === null ? null : npmStaticDeclarationExports(sf);
+            exportsOf.set(file, ex);
+        }
+        return ex;
+    };
+    const typesOf = (file, seen) => {
+        const result = { types: new Map(), values: new Set() };
+        if (seen.has(file))
+            return result;
+        seen.add(file);
+        const own = declarationExports(file);
+        if (own === null)
+            return result;
+        for (const t of own.types)
+            result.types.set(t.name, { decl: t, file });
+        for (const v of own.values)
+            result.values.add(v);
+        for (const n of own.named) {
+            const target = n.specifier === null ? null : declarationTargetOf(file, n.specifier);
+            if (target === null)
+                continue;
+            const inner = typesOf(target, new Set(seen));
+            const t = inner.types.get(n.local);
+            if (t !== undefined)
+                result.types.set(n.exported, { ...t, decl: { ...t.decl, name: n.exported } });
+            else if (inner.values.has(n.local))
+                result.values.add(n.exported);
+        }
+        for (const specifier of own.stars) {
+            const target = declarationTargetOf(file, specifier);
+            if (target === null)
+                continue;
+            const inner = typesOf(target, new Set(seen));
+            for (const [name, t] of inner.types)
+                if (!result.types.has(name))
+                    result.types.set(name, t);
+            for (const v of inner.values)
+                result.values.add(v);
+        }
+        return result;
+    };
+    const referencesOf = (file, name) => {
+        const ex = declarationExports(file);
+        if (ex === null)
+            return null;
+        const local = ex.locals.get(name);
+        if (local !== undefined)
+            return local.behavior ? null : local.references.map((r) => ({ file, name: r }));
+        if (ex.valueNames.has(name))
+            return null;
+        const from = ex.imports.get(name);
+        if (from !== undefined) {
+            const target = declarationTargetOf(file, from.specifier);
+            return target === null ? null : [{ file: target, name: from.local }];
+        }
+        const reexport = typesOf(file, new Set()).types.get(name);
+        if (reexport !== undefined)
+            return [{ file: reexport.file, name: reexport.decl.declared }];
+        return [];
+    };
+    // A name is a data shape when every name reachable from it is one by
+    // itself. `isData` walks everything reachable before it records any name
+    // as a data shape, so a type in a reference cycle is not recorded while
+    // another type in the cycle is still unchecked.
+    const dataMemo = new Map();
+    const isData = (file, name) => {
+        const keyOf = (ref) => `${ref.file}\0${ref.name}`;
+        // Each reached name, by key, with the key of the name it was reached from.
+        const reachedFrom = new Map([[keyOf({ file, name }), null]]);
+        const queue = [{ file, name }];
+        for (let i = 0; i < queue.length; i++) {
+            const ref = queue[i];
+            const key = keyOf(ref);
+            const memo = dataMemo.get(key);
+            if (memo === true)
+                continue;
+            const next = memo === false ? null : referencesOf(ref.file, ref.name);
+            if (next === null) {
+                // Every name on the path to this one reaches a non-data type.
+                for (let k = key; k !== null; k = reachedFrom.get(k) ?? null)
+                    dataMemo.set(k, false);
+                return false;
+            }
+            for (const target of next) {
+                const targetKey = keyOf(target);
+                if (reachedFrom.has(targetKey))
+                    continue;
+                reachedFrom.set(targetKey, key);
+                queue.push(target);
+            }
+        }
+        for (const key of reachedFrom.keys())
+            dataMemo.set(key, true);
+        return true;
+    };
+    for (const pkg of packages) {
+        const declared = resolveBareModule(entryPath, pkg, "types-only");
+        if (declared === null || declared.packageName !== pkg || !declared.typesFile.endsWith(".d.ts"))
+            continue;
+        const runtime = resolveBareModule(entryPath, pkg, "js-only");
+        if (runtime === null || !isJsSourceFileName(runtime.typesFile))
+            continue;
+        const runtimeText = trackedReadFile(runtime.typesFile);
+        if (runtimeText === null)
+            continue;
+        const { types, values } = typesOf(declared.typesFile, new Set());
+        const declaredByRuntime = runtimeTypeNames(services, runtime.typesFile, runtimeText);
+        // Only data shapes: a type with methods describes the package's
+        // JavaScript objects, which stay as the JavaScript types them.
+        const exported = [...types.values()]
+            .filter(({ decl, file }) => !values.has(decl.name) &&
+            !declaredByRuntime.has(decl.name) &&
+            isData(file, decl.declared))
+            .map(({ decl }) => decl);
+        if (exported.length === 0)
+            continue;
+        copy(declared.typesFile);
+        const specifier = specifierFor(runtime.typesFile, copyPathOf(declared.typesFile));
+        typedefs.set(runtime.typesFile.split("\\").join("/"), npmStaticTypedefBlock(exported, specifier));
+    }
+    return { copies, typedefs };
+}
+//# sourceMappingURL=npm-static-type-exports-host.js.map

package/dist/frontend/npm-static-type-exports-host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-static-type-exports-host.js","sourceRoot":"","sources":["../../src/frontend/npm-static-type-exports-host.ts"],"names":[],"mappings":"AAAA;;uEAEuE;AACvE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,WAAW,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAE1D,OAAO,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,8BAA8B,EAC9B,qBAAqB,GAGtB,MAAM,8BAA8B,CAAC;AAStC,2CAA2C;AAC3C,SAAS,UAAU,CAAC,eAAuB;IACzC,OAAO,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;AACtE,CAAC;AAED,gFAAgF;AAChF,SAAS,mBAAmB,CAAC,QAAgB,EAAE,SAAiB;IAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG;QACjB,GAAG,IAAI,OAAO;QACd,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,OAAO;QACzC,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC;KAChC,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,IAAI,iBAAiB,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;IACvF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6EAA6E;AAC7E,SAAS,YAAY,CAAC,QAAgB,EAAE,MAAc;IACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;SAC5C,KAAK,CAAC,IAAI,CAAC;SACX,IAAI,CAAC,GAAG,CAAC;SACT,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC3B,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;AAChD,CAAC;AAED;0DAC0D;AAC1D,SAAS,gBAAgB,CAAC,QAA0B,EAAE,IAAY,EAAE,IAAY;IAC9E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,8DAA8D,CAAC;QAC3F,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACnB,+EAA+E;IAC/E,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAC3B,wGAAwG,CACzG;QACC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACnB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK;QACpC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAA0B,EAC1B,SAAiB,EACjB,QAA2B;IAE3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAwB,EAAE;QACnD,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACnC,EAAE,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IACF,uEAAuE;IACvE,6DAA6D;IAC7D,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE;QAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAO;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO;QACxB,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,KAAK,MAAM,SAAS,IAAI,8BAA8B,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3D,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACpD,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,CAAC,GAAG,CACR,QAAQ,EACR,wBAAwB,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE;YACzC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACtC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAClF,CAAC,CAAC,CACH,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE;YAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACtD,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAA8C,CAAC;IACxE,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAsC,EAAE;QAC9E,IAAI,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACvB,EAAE,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;YAC1D,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAIF,MAAM,OAAO,GAAG,CACd,IAAY,EACZ,IAAiB,EACmC,EAAE;QACtD,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,IAAI,GAAG,EAAiB,EAAE,MAAM,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;QAC9E,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK;YAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM;YAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;YACpF,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,SAAS;gBACjB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;iBAC3E,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACpD,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK;gBAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC5F,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;gBAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAWF,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,IAAY,EAAgB,EAAE;QAChE,MAAM,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC7B,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YACrB,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClF,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YACzD,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3F,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IACF,qEAAqE;IACrE,yEAAyE;IACzE,wEAAwE;IACxE,gDAAgD;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,IAAY,EAAW,EAAE;QACrD,MAAM,KAAK,GAAG,CAAC,GAAQ,EAAU,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;QAC/D,2EAA2E;QAC3E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAwB,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACpF,MAAM,KAAK,GAAU,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,IAAI,KAAK,IAAI;gBAAE,SAAS;YAC5B,MAAM,IAAI,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACtE,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,8DAA8D;gBAC9D,KAAK,IAAI,CAAC,GAAkB,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI;oBACzE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;gBACzB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;gBAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;gBAChC,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC;oBAAE,SAAS;gBACzC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACjE,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,WAAW,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC;YAC5F,SAAS;QACX,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAC7D,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,SAAS;QACzE,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACvD,IAAI,WAAW,KAAK,IAAI;YAAE,SAAS;QACnC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACjE,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACrF,gEAAgE;QAChE,+DAA+D;QAC/D,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;aACjC,MAAM,CACL,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CACjB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAC9B;aACA,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAClF,QAAQ,CAAC,GAAG,CACV,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EACvC,qBAAqB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAC3C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC"}

package/dist/frontend/npm-static-type-exports-host.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/npm-static-type-exports-host.test.js

@@ -0,0 +1,53 @@
+import { mkdirSync, mkdtempSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { afterAll, expect, test } from "vitest";
+import { nodeFrontendServices } from "./services-node.js";
+import { npmStaticTypeExportPlan } from "./npm-static-type-exports-host.js";
+const dirs = [];
+afterAll(() => {
+    for (const dir of dirs)
+        rmSync(dir, { recursive: true, force: true });
+});
+/** A program directory with one package whose .d.ts is `declarations`;
+ * returns the program's entry path. */
+function fixture(declarations) {
+    const dir = mkdtempSync(join(tmpdir(), "scriptc-type-exports-"));
+    dirs.push(dir);
+    const lib = join(dir, "node_modules", "pkg", "lib");
+    mkdirSync(lib, { recursive: true });
+    writeFileSync(join(dir, "node_modules", "pkg", "package.json"), JSON.stringify({ name: "pkg", main: "./lib/index.js", types: "./lib/index.d.ts" }));
+    writeFileSync(join(lib, "index.d.ts"), declarations);
+    writeFileSync(join(lib, "index.js"), "exports.grow = function grow(into) {};\n");
+    writeFileSync(join(dir, "main.ts"), 'import { grow } from "pkg";\n');
+    return join(dir, "main.ts");
+}
+/** The type names the runtime entry's typedefs re-export. */
+function reexported(entry) {
+    const plan = npmStaticTypeExportPlan(nodeFrontendServices(), entry, ["pkg"]);
+    const block = [...plan.typedefs.values()].join("\n");
+    return [...block.matchAll(/@typedef \{[^}]*\} (\w+)/g)].map((m) => m[1]);
+}
+test("only data shapes are re-exported", () => {
+    const entry = fixture(`export interface Point { x: number; y: number }
+export interface Handle { close(): void }
+export type Label = { text: string; at: Point };
+export type Callback = (point: Point) => void;
+export interface Holder { handle: Handle }
+export declare function grow(into: Point[]): void;
+`);
+    expect(reexported(entry)).toEqual(["Point", "Label"]);
+});
+test("mutually recursive types are data shapes only when every type they reach is", () => {
+    // Branch is checked first and reaches Tree, which refers back to Branch:
+    // Tree is a data shape only if Branch is, and Branch holds a Handle.
+    const entry = fixture(`export interface Branch { child: Tree; handle: Handle }
+export interface Tree { name: string; parent: Branch | null }
+export interface Handle { close(): void }
+export interface Node { value: number; next: List }
+export interface List { head: Node | null }
+export declare function grow(into: Tree[]): void;
+`);
+    expect(reexported(entry)).toEqual(["Node", "List"]);
+});
+//# sourceMappingURL=npm-static-type-exports-host.test.js.map

package/dist/frontend/npm-static-type-exports-host.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-static-type-exports-host.test.js","sourceRoot":"","sources":["../../src/frontend/npm-static-type-exports-host.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAE5E,MAAM,IAAI,GAAa,EAAE,CAAC;AAC1B,QAAQ,CAAC,GAAG,EAAE;IACZ,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH;uCACuC;AACvC,SAAS,OAAO,CAAC,YAAoB;IACnC,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACpD,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACpC,aAAa,CACX,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,CAAC,EAChD,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CACnF,CAAC;IACF,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,YAAY,CAAC,CAAC;IACrD,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,0CAA0C,CAAC,CAAC;IACjF,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,+BAA+B,CAAC,CAAC;IACrE,OAAO,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;AAC9B,CAAC;AAED,6DAA6D;AAC7D,SAAS,UAAU,CAAC,KAAa;IAC/B,MAAM,IAAI,GAAG,uBAAuB,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;AAC5E,CAAC;AAED,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC;;;;;;CAMvB,CAAC,CAAC;IACD,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,yEAAyE;IACzE,qEAAqE;IACrE,MAAM,KAAK,GAAG,OAAO,CAAC;;;;;;CAMvB,CAAC,CAAC;IACD,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC"}

package/dist/frontend/npm-static-type-exports.d.ts

@@ -0,0 +1,52 @@
+import * as ts from "./ts7/syntax.js";
+/** A type-only declaration: its exported name, its name where it is
+ * declared, its type parameters' names and their JSDoc @template tag
+ * bodies, and what npmStaticDataShape needs to know. */
+export interface NpmStaticTypeDeclaration {
+    name: string;
+    declared: string;
+    params: readonly string[];
+    templates: readonly string[];
+    /** The declaration's own syntax describes behavior or a computed type:
+     * a method, call or construct signature, a function or constructor
+     * type, an accessor, `typeof`, `import("...")`, a conditional, mapped,
+     * indexed-access or `keyof` type, or a qualified type name. */
+    behavior: boolean;
+    /** The type names it refers to, its own type parameters excepted. */
+    references: readonly string[];
+}
+/** What a declaration file declares and re-exports, by exported name. */
+export interface NpmStaticDeclarationExports {
+    /** Exported interfaces, type aliases and enums, with their parameters. */
+    types: readonly NpmStaticTypeDeclaration[];
+    /** Exported classes, functions, variables and namespaces: names the
+     * JavaScript declares itself, or that are not type-only. */
+    values: readonly string[];
+    /** `export { local as exported } from "specifier"`, including a local
+     * `export { a }` of an imported name. */
+    named: readonly {
+        exported: string;
+        local: string;
+        specifier: string | null;
+    }[];
+    /** `export * from "specifier"`. */
+    stars: readonly string[];
+    /** Every interface, type alias and enum the file declares, by name. */
+    locals: ReadonlyMap<string, NpmStaticTypeDeclaration>;
+    /** The file's named imports: local name to imported name and specifier. */
+    imports: ReadonlyMap<string, {
+        local: string;
+        specifier: string;
+    }>;
+    /** Every class, function, namespace and variable the file declares. */
+    valueNames: ReadonlySet<string>;
+}
+/** The exports of one declaration file. */
+export declare function npmStaticDeclarationExports(sf: ts.SourceFile): NpmStaticDeclarationExports;
+/** The relative specifiers a declaration file names. */
+export declare function npmStaticDeclarationSpecifiers(sf: ts.SourceFile): string[];
+/** The declaration file's text with each relative specifier `rename`
+ * answers respelled (quoted with the original's quote). */
+export declare function npmStaticDeclarationCopy(sf: ts.SourceFile, rename: (specifier: string) => string | null): string;
+/** The JSDoc typedefs that re-export `types` from the copy at `specifier`. */
+export declare function npmStaticTypedefBlock(types: readonly NpmStaticTypeDeclaration[], specifier: string): string;