@scriptc/compiler 0.4.2 → 0.4.3

package/dist/frontend/ts7/lib-diagnostics.js

@@ -0,0 +1,307 @@
+/* The semantic diagnostics of the declaration files scriptc supplies (the
+ * TypeScript libs and scriptc's own declaration files), reused across
+ * builds. Checking them is most of the full check of a small program. When
+ * no other file of a program can change what checking those files reports
+ * (every one is a module without global or module augmentations, or a
+ * script declaring no global name the supplied files declare), the answer
+ * depends only on the checker, the compiler options and the files
+ * themselves, so a stored answer for the same three stands in for checking
+ * them again: the server checks only the program's other files
+ * (getDiagnosticsOfCheckedFiles), and the semantic diagnostics merge in the
+ * order the full check sorts them, by file name. An answer is stored only
+ * when the full check reports no global diagnostics: the global diagnostics
+ * of checking the other files are then the full check's. */
+import { createHash } from "node:crypto";
+import { statSync } from "node:fs";
+import { NodeFlags, SyntaxKind } from "./enums.js";
+import { walkPreorder } from "./ast.js";
+const SCHEMA = "scriptc.lib-diagnostics.v1";
+let configured = null;
+/** Has later builds of this process reuse the diagnostics of the supplied
+ * declaration files through `store`, for the checker identified by
+ * `checker` (its executable's identity), or stop reusing them (null). */
+export function setLibDiagnosticsStore(store, checker = "") {
+    configured = store === null ? null : { store, checker };
+}
+/** A checker executable's identity for the stored diagnostics' key: its
+ * path and file identity, or the path alone when it cannot be read. */
+export function checkerExecutableIdentity(path) {
+    try {
+        const info = statSync(path);
+        return JSON.stringify([path, info.size, info.mtimeMs, info.ino]);
+    }
+    catch {
+        return JSON.stringify([path]);
+    }
+}
+/** The program's semantic and global diagnostics as the full check reports
+ * them, using stored diagnostics for the supplied declaration files; null
+ * when they cannot be reused for this program (then the caller asks for
+ * them as before). `supplied` tells whether a program file is one of the
+ * supplied declaration files. */
+export function reusedLibDiagnostics(program, fileNames, supplied, sourceFile) {
+    if (configured === null || process.env["SCRIPTC_LIB_DIAGNOSTICS"] === "0")
+        return null;
+    const { store, checker } = configured;
+    const libs = [];
+    const own = [];
+    for (const name of fileNames)
+        (supplied(name) ? libs : own).push(name);
+    if (libs.length === 0)
+        return null;
+    // The global names each of the program's scripts declares; a module that
+    // declares nothing global contributes none.
+    const scripts = [];
+    for (const name of own) {
+        const file = sourceFile(name);
+        if (file === undefined)
+            return null;
+        if (file.externalModuleIndicator !== undefined) {
+            if (!declaresNothingGlobal(file))
+                return null;
+            continue;
+        }
+        const names = isJsFileName(name) ? null : scriptGlobalNames(file);
+        if (names === null)
+            return null;
+        scripts.push(names);
+    }
+    // A script's globals cannot change what the supplied files report unless
+    // one of them is also a global the supplied files declare.
+    const collides = (globals) => scripts.some((names) => [...names].some((name) => globals.has(name)));
+    // The options without the configuration file's path: it names where the
+    // project is, which checking the supplied files does not read (the files a
+    // project's location brings in are part of the key).
+    const options = { ...program.getCompilerOptions(), configFilePath: undefined };
+    const key = entryKey(checker, options, libs);
+    if (key === null)
+        return null;
+    const stored = readEntry(store, key, libs);
+    if (stored !== null && !collides(stored.globals)) {
+        const checked = program.checkedFileDiagnosticData(own);
+        if (checked === null)
+            return null;
+        const byFile = new Map(stored.files);
+        own.forEach((name, index) => byFile.set(name, checked.files[index] ?? []));
+        return { semantic: inFileOrder(byFile), global: checked.global };
+    }
+    // The full check, as before. Its answers for the supplied files are stored
+    // when it reports no global diagnostics and the program's scripts declare
+    // none of the supplied files' globals (so nothing of the program reached
+    // what those files report).
+    const global = program.diagnosticData("getGlobalDiagnostics");
+    const semantic = program.diagnosticData("getSemanticDiagnostics");
+    // A server that cannot check only some files could never use the answer.
+    if (global.length === 0 && stored === null && program.checkedFileDiagnosticData([]) !== null) {
+        const globals = suppliedGlobalNames(libs, sourceFile);
+        if (globals !== null && !collides(globals)) {
+            const files = {};
+            for (const name of libs)
+                files[name] = program.diagnosticData("getSemanticDiagnostics", name);
+            try {
+                store.write(key, JSON.stringify({ schema: SCHEMA, globals: [...globals], files }));
+            }
+            catch {
+                // Best effort: a failed write is a later miss.
+            }
+        }
+    }
+    return { semantic, global };
+}
+/** Whether a file cannot add to or change the global declarations the
+ * supplied files declare: a module with no `declare global`, no module
+ * augmentation and no UMD `export as namespace` declaration. */
+function declaresNothingGlobal(file) {
+    if (file.externalModuleIndicator === undefined)
+        return false;
+    if (file.moduleAugmentations.length > 0)
+        return false;
+    for (const statement of file.statements.nodes) {
+        if (statement.kind === SyntaxKind.NamespaceExportDeclaration)
+            return false;
+        // `declare global` (a module declaration named by the identifier `global`).
+        if (statement.kind === SyntaxKind.ModuleDeclaration &&
+            statement.name?.kind === SyntaxKind.Identifier &&
+            statement.name.text === "global")
+            return false;
+    }
+    return true;
+}
+function isJsFileName(name) {
+    return /\.[cm]?jsx?$/.test(name);
+}
+/** The names a script file declares in the global scope: its top-level
+ * declarations, and the `var` and function declarations of its top-level
+ * blocks; null when it declares an ambient module (`declare module "x"`),
+ * which can merge with one the supplied files declare. Over-approximates:
+ * a name more only makes the stored answer apply less often. */
+function scriptGlobalNames(file) {
+    const names = new Set();
+    let ambientModule = false;
+    walkPreorder(file, (node) => {
+        if (node === file)
+            return undefined;
+        if (node.kind === SyntaxKind.ModuleDeclaration && node.name?.kind === SyntaxKind.StringLiteral)
+            ambientModule = true;
+        const topLevel = node.parent === file;
+        if (topLevel || node.kind === SyntaxKind.FunctionDeclaration)
+            addDeclaredNames(node, names);
+        else if (node.kind === SyntaxKind.VariableDeclarationList &&
+            (node.flags & NodeFlags.BlockScoped) === 0)
+            for (const declaration of node.declarations?.nodes ?? [])
+                addBindingNames(declaration.name, names);
+        // Functions, classes and namespaces have scopes of their own.
+        return GLOBAL_SCOPE_BOUNDARIES.has(node.kind) ? "skip" : undefined;
+    });
+    return ambientModule ? null : names;
+}
+/** The global names the supplied files declare: the declarations of their
+ * scripts (as scriptGlobalNames finds them, with ambient modules as their
+ * quoted names) and those of the `declare global` blocks of their modules;
+ * null when one of them is not available. */
+function suppliedGlobalNames(libs, sourceFile) {
+    const names = new Set();
+    for (const name of libs) {
+        const file = sourceFile(name);
+        if (file === undefined)
+            return null;
+        if (file.externalModuleIndicator === undefined) {
+            walkPreorder(file, (node) => {
+                if (node === file)
+                    return undefined;
+                if (node.kind === SyntaxKind.ModuleDeclaration &&
+                    node.name?.kind === SyntaxKind.StringLiteral)
+                    names.add(JSON.stringify(node.name.text ?? ""));
+                if (node.parent === file || node.kind === SyntaxKind.FunctionDeclaration)
+                    addDeclaredNames(node, names);
+                else if (node.kind === SyntaxKind.VariableDeclarationList &&
+                    (node.flags & NodeFlags.BlockScoped) === 0)
+                    for (const declaration of node.declarations?.nodes ?? [])
+                        addBindingNames(declaration.name, names);
+                return GLOBAL_SCOPE_BOUNDARIES.has(node.kind) ? "skip" : undefined;
+            });
+            continue;
+        }
+        for (const statement of file.statements.nodes) {
+            if (statement.kind !== SyntaxKind.ModuleDeclaration ||
+                statement.name?.kind !== SyntaxKind.Identifier ||
+                statement.name.text !== "global")
+                continue;
+            for (const inner of statement.body?.statements?.nodes ?? [])
+                addDeclaredNames(inner, names);
+        }
+    }
+    return names;
+}
+const GLOBAL_SCOPE_BOUNDARIES = new Set([
+    SyntaxKind.FunctionDeclaration,
+    SyntaxKind.FunctionExpression,
+    SyntaxKind.ArrowFunction,
+    SyntaxKind.MethodDeclaration,
+    SyntaxKind.Constructor,
+    SyntaxKind.GetAccessor,
+    SyntaxKind.SetAccessor,
+    SyntaxKind.ClassDeclaration,
+    SyntaxKind.ClassExpression,
+    SyntaxKind.ModuleDeclaration,
+]);
+/** The names a statement declares in the scope it is in. */
+function addDeclaredNames(node, names) {
+    switch (node.kind) {
+        case SyntaxKind.VariableStatement:
+            for (const declaration of node.declarationList?.declarations?.nodes ?? [])
+                addBindingNames(declaration.name, names);
+            return;
+        case SyntaxKind.FunctionDeclaration:
+        case SyntaxKind.ClassDeclaration:
+        case SyntaxKind.InterfaceDeclaration:
+        case SyntaxKind.TypeAliasDeclaration:
+        case SyntaxKind.EnumDeclaration:
+        case SyntaxKind.ModuleDeclaration:
+        case SyntaxKind.ImportEqualsDeclaration:
+            if (node.name?.kind === SyntaxKind.Identifier)
+                names.add(node.name.text ?? "");
+            return;
+    }
+}
+function addBindingNames(name, names) {
+    if (name === undefined)
+        return;
+    if (name.kind === SyntaxKind.Identifier) {
+        names.add(name.text ?? "");
+        return;
+    }
+    // Object and array binding patterns.
+    for (const element of name.elements?.nodes ?? [])
+        addBindingNames(element.name, names);
+}
+/** The stored diagnostics' key: the checker, the compiler options and the
+ * supplied files in program order with each one's file identity; null when
+ * one of them cannot be read. */
+function entryKey(checker, options, libs) {
+    const files = [];
+    for (const name of libs) {
+        try {
+            const info = statSync(name);
+            files.push([name, info.size, info.mtimeMs, info.ino]);
+        }
+        catch {
+            return null;
+        }
+    }
+    return createHash("sha256")
+        .update(JSON.stringify({ schema: SCHEMA, checker, options, files }))
+        .digest("hex");
+}
+function readEntry(store, key, libs) {
+    let text;
+    try {
+        text = store.read(key);
+    }
+    catch {
+        return null;
+    }
+    if (text === null)
+        return null;
+    let entry;
+    try {
+        entry = JSON.parse(text);
+    }
+    catch {
+        return null;
+    }
+    if (entry.schema !== SCHEMA || entry.files === undefined || !Array.isArray(entry.globals))
+        return null;
+    const files = new Map();
+    for (const name of libs) {
+        const list = entry.files[name];
+        if (!Array.isArray(list))
+            return null;
+        files.set(name, list);
+    }
+    return { files, globals: new Set(entry.globals.filter((name) => typeof name === "string")) };
+}
+/** Each file's diagnostics (already in the checker's order) in the order the
+ * checker sorts files: by file name, compared by code point. */
+function inFileOrder(byFile) {
+    const names = [...byFile.keys()].sort(compareCodePoints);
+    const out = [];
+    for (const name of names)
+        for (const d of byFile.get(name))
+            out.push(d);
+    return out;
+}
+function compareCodePoints(a, b) {
+    let i = 0;
+    let j = 0;
+    while (i < a.length && j < b.length) {
+        const x = a.codePointAt(i);
+        const y = b.codePointAt(j);
+        if (x !== y)
+            return x < y ? -1 : 1;
+        i += x > 0xffff ? 2 : 1;
+        j += y > 0xffff ? 2 : 1;
+    }
+    return i < a.length ? 1 : j < b.length ? -1 : 0;
+}
+//# sourceMappingURL=lib-diagnostics.js.map

package/dist/frontend/ts7/lib-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lib-diagnostics.js","sourceRoot":"","sources":["../../../src/frontend/ts7/lib-diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;4DAY4D;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAInC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAQxC,MAAM,MAAM,GAAG,4BAA4B,CAAC;AAE5C,IAAI,UAAU,GAA2D,IAAI,CAAC;AAE9E;;yEAEyE;AACzE,MAAM,UAAU,sBAAsB,CAAC,KAAiC,EAAE,OAAO,GAAG,EAAE;IACpF,UAAU,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,yBAAyB,CAAC,IAAY;IACpD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;;;iCAIiC;AACjC,MAAM,UAAU,oBAAoB,CAClC,OAA0B,EAC1B,SAA4B,EAC5B,QAAuC,EACvC,UAAwD;IAExD,IAAI,UAAU,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC;IACtC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,SAAS;QAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,yEAAyE;IACzE,4CAA4C;IAC5C,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,IAAI,CAAC,uBAAuB,KAAK,SAAS,EAAE,CAAC;YAC/C,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IACD,yEAAyE;IACzE,2DAA2D;IAC3D,MAAM,QAAQ,GAAG,CAAC,OAA4B,EAAW,EAAE,CACzD,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,wEAAwE;IACxE,2EAA2E;IAC3E,qDAAqD;IACrD,MAAM,OAAO,GAAG,EAAE,GAAG,OAAO,CAAC,kBAAkB,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;IAC/E,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,OAAO,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,GAAG,CAA8B,MAAM,CAAC,KAAK,CAAC,CAAC;QAClE,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3E,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;IACnE,CAAC;IACD,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,4BAA4B;IAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,sBAAsB,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CAAC,wBAAwB,CAAC,CAAC;IAClE,yEAAyE;IACzE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,CAAC,yBAAyB,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7F,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACtD,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAwC,EAAE,CAAC;YACtD,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,wBAAwB,EAAE,IAAI,CAAC,CAAC;YAC9F,IAAI,CAAC;gBACH,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACrF,CAAC;YAAC,MAAM,CAAC;gBACP,+CAA+C;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC;AAED;;gEAEgE;AAChE,SAAS,qBAAqB,CAAC,IAAgB;IAC7C,IAAI,IAAI,CAAC,uBAAuB,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QAC9C,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,0BAA0B;YAAE,OAAO,KAAK,CAAC;QAC3E,4EAA4E;QAC5E,IACE,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB;YAC/C,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,UAAU;YAC9C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAEhC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED;;;;gEAIgE;AAChE,SAAS,iBAAiB,CAAC,IAAgB;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,aAAa;YAC5F,aAAa,GAAG,IAAI,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;QACtC,IAAI,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB;YAAE,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACvF,IACH,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB;YAChD,CAAC,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC;YAE1C,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,KAAK,IAAI,EAAE;gBACtD,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7C,8DAA8D;QAC9D,OAAO,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,CAAC,CAAC,CAAC;IACH,OAAO,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AACtC,CAAC;AAED;;;6CAG6C;AAC7C,SAAS,mBAAmB,CAC1B,IAAuB,EACvB,UAAwD;IAExD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,IAAI,CAAC,uBAAuB,KAAK,SAAS,EAAE,CAAC;YAC/C,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBAC1B,IAAI,IAAI,KAAK,IAAI;oBAAE,OAAO,SAAS,CAAC;gBACpC,IACE,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB;oBAC1C,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,aAAa;oBAE5C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;gBAClD,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB;oBACtE,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;qBAC3B,IACH,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB;oBAChD,CAAC,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC;oBAE1C,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,KAAK,IAAI,EAAE;wBACtD,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7C,OAAO,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,CAAC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YAC9C,IACE,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB;gBAC/C,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,UAAU;gBAC9C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAEhC,SAAS;YACX,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,IAAI,EAAE;gBAAE,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAa;IAClD,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,kBAAkB;IAC7B,UAAU,CAAC,aAAa;IACxB,UAAU,CAAC,iBAAiB;IAC5B,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,WAAW;IACtB,UAAU,CAAC,gBAAgB;IAC3B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,iBAAiB;CAC7B,CAAC,CAAC;AAEH,4DAA4D;AAC5D,SAAS,gBAAgB,CAAC,IAAU,EAAE,KAAkB;IACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,UAAU,CAAC,iBAAiB;YAC/B,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,eAAe,EAAE,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvE,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC3C,OAAO;QACT,KAAK,UAAU,CAAC,mBAAmB,CAAC;QACpC,KAAK,UAAU,CAAC,gBAAgB,CAAC;QACjC,KAAK,UAAU,CAAC,oBAAoB,CAAC;QACrC,KAAK,UAAU,CAAC,oBAAoB,CAAC;QACrC,KAAK,UAAU,CAAC,eAAe,CAAC;QAChC,KAAK,UAAU,CAAC,iBAAiB,CAAC;QAClC,KAAK,UAAU,CAAC,uBAAuB;YACrC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,UAAU;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAC/E,OAAO;IACX,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,IAAsB,EAAE,KAAkB;IACjE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;QACxC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC3B,OAAO;IACT,CAAC;IACD,qCAAqC;IACrC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;QAAE,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACzF,CAAC;AAED;;iCAEiC;AACjC,SAAS,QAAQ,CAAC,OAAe,EAAE,OAAgB,EAAE,IAAuB;IAC1E,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SACnE,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAChB,KAA0B,EAC1B,GAAW,EACX,IAAuB;IAEvB,IAAI,IAAmB,CAAC;IACxB,IAAI,CAAC;QACH,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,KAA2F,CAAC;IAChG,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAiB,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QACvF,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+B,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACtC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC;AAC/F,CAAC;AAED;gEACgE;AAChE,SAAS,WAAW,CAAC,MAAgD;IACnE,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzD,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAS,EAAE,CAAS;IAC7C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC"}

package/dist/frontend/ts7/lib-diagnostics.test.d.ts

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

package/dist/frontend/ts7/lib-diagnostics.test.js

@@ -0,0 +1,199 @@
+import { mkdtempSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { afterAll, afterEach, expect, test } from "vitest";
+import { reusedLibDiagnostics, setLibDiagnosticsStore, } from "./lib-diagnostics.js";
+import { closeSourceParser, parseSourceFile } from "./source-parser-node.js";
+const dir = mkdtempSync(join(tmpdir(), "scriptc-lib-diagnostics-"));
+const lib = join(dir, "lib.es5.d.ts");
+const fallback = join(dir, "scriptc-node-fallback.d.ts");
+const libText = "declare var NaN: number;\ninterface Array<T> { length: number }\n";
+const fallbackText = "export {};\ndeclare global {\n  var process: { argv: string[] };\n}\n";
+writeFileSync(lib, libText);
+writeFileSync(fallback, fallbackText);
+const main = join(dir, "main.ts");
+const util = join(dir, "\u{1F600}.ts");
+const other = join(dir, "�.ts");
+afterEach(() => setLibDiagnosticsStore(null));
+afterAll(() => {
+    closeSourceParser();
+    rmSync(dir, { recursive: true, force: true });
+});
+function memoryStore() {
+    const entries = new Map();
+    return {
+        entries,
+        read: (key) => entries.get(key) ?? null,
+        write: (key, text) => void entries.set(key, text),
+    };
+}
+function diagnostic(fileName, pos, code = 2322) {
+    return { fileName, pos, end: pos + 1, code, category: 1, text: `at ${pos}` };
+}
+/** A session program whose full-check and checked-file answers are given; it
+ * records which requests it was asked. */
+function sessionProgram(answers) {
+    const asked = [];
+    const all = [...answers.semantic.values()].flat();
+    return {
+        asked,
+        getCompilerOptions: () => ({ strict: true }),
+        diagnosticData: (method, file) => {
+            asked.push(file === undefined ? method : `${method} ${file}`);
+            if (method === "getGlobalDiagnostics")
+                return answers.global ?? [];
+            return file === undefined ? all : (answers.semantic.get(file) ?? []);
+        },
+        checkedFileDiagnosticData: (files) => {
+            asked.push(`checked ${files.join(",")}`);
+            if (answers.checked === false)
+                return null;
+            return { files: files.map((file) => answers.semantic.get(file) ?? []), global: [] };
+        },
+    };
+}
+/** The program's files, parsed: the supplied two and the given others. */
+function files(texts) {
+    const parsed = new Map([
+        [lib, parseSourceFile(lib, libText, "ts")],
+        [fallback, parseSourceFile(fallback, fallbackText, "ts")],
+    ]);
+    for (const [name, text] of Object.entries(texts))
+        parsed.set(name, parseSourceFile(name, text, "ts"));
+    return (name) => parsed.get(name);
+}
+const names = [lib, fallback, main];
+const supplied = (name) => name === lib || name === fallback;
+const moduleFile = files({ [main]: "export const n: number = 'x';\n" });
+test("without a store the full check answers", () => {
+    const program = sessionProgram({ semantic: new Map() });
+    expect(reusedLibDiagnostics(program, names, supplied, moduleFile)).toBeNull();
+    expect(program.asked).toEqual([]);
+});
+test("a stored answer stands in for checking the supplied files, merged by file name", () => {
+    const store = memoryStore();
+    setLibDiagnosticsStore(store, "checker");
+    const semantic = new Map([
+        [lib, [diagnostic(lib, 1)]],
+        [fallback, []],
+        [main, [diagnostic(main, 5), diagnostic(main, 9)]],
+    ]);
+    const first = sessionProgram({ semantic });
+    const full = reusedLibDiagnostics(first, names, supplied, moduleFile);
+    // The first build runs the full check and stores the supplied files' answers.
+    expect(first.asked).toEqual([
+        "getGlobalDiagnostics",
+        "getSemanticDiagnostics",
+        "checked ",
+        `getSemanticDiagnostics ${lib}`,
+        `getSemanticDiagnostics ${fallback}`,
+    ]);
+    expect(store.entries.size).toBe(1);
+    const second = sessionProgram({ semantic });
+    const reused = reusedLibDiagnostics(second, names, supplied, moduleFile);
+    expect(second.asked).toEqual([`checked ${main}`]);
+    // The files' diagnostics in the order of their names (lib.es5.d.ts, main.ts), as the full answer.
+    expect(reused).toEqual({
+        semantic: [diagnostic(lib, 1), diagnostic(main, 5), diagnostic(main, 9)],
+        global: [],
+    });
+    expect(full?.semantic).toEqual(reused?.semantic);
+});
+test("files merge in code point order, which differs from UTF-16 order", () => {
+    const store = memoryStore();
+    setLibDiagnosticsStore(store, "checker");
+    const all = [lib, fallback, util, other];
+    const sources = files({ [util]: "export {};\n", [other]: "export {};\n" });
+    const semantic = new Map([
+        [util, [diagnostic(util, 1)]],
+        [other, [diagnostic(other, 2)]],
+    ]);
+    reusedLibDiagnostics(sessionProgram({ semantic }), all, supplied, sources);
+    const reused = reusedLibDiagnostics(sessionProgram({ semantic }), all, supplied, sources);
+    // U+FFFD sorts before U+1F600 by code point (its surrogates sort after it by UTF-16 unit).
+    expect(reused?.semantic).toEqual([diagnostic(other, 2), diagnostic(util, 1)]);
+});
+test("a full check with global diagnostics is not stored", () => {
+    const store = memoryStore();
+    setLibDiagnosticsStore(store, "checker");
+    const program = sessionProgram({
+        semantic: new Map([[main, [diagnostic(main, 1)]]]),
+        global: [diagnostic(undefined, 0, 2318)],
+    });
+    expect(reusedLibDiagnostics(program, names, supplied, moduleFile)?.global).toEqual([
+        diagnostic(undefined, 0, 2318),
+    ]);
+    expect(store.entries.size).toBe(0);
+});
+test("scripts reuse the answer unless they declare a global the supplied files declare", () => {
+    const store = memoryStore();
+    setLibDiagnosticsStore(store, "checker");
+    const semantic = new Map([[main, []]]);
+    // A script declaring only new names: it stores the answer, and a later one reuses it.
+    const fresh = files({
+        [main]: "const total = 1;\nfunction run() {}\nif (total) { var later = 2; }\n",
+    });
+    reusedLibDiagnostics(sessionProgram({ semantic }), names, supplied, fresh);
+    expect(store.entries.size).toBe(1);
+    const again = sessionProgram({ semantic });
+    expect(reusedLibDiagnostics(again, names, supplied, fresh)).not.toBeNull();
+    expect(again.asked).toEqual([`checked ${main}`]);
+    // Scripts declaring a supplied global, at the top level, in a block, in a
+    // `declare global` of a supplied module, or an ambient module: the full check.
+    for (const text of [
+        "interface Array<T> { extra: T }\n",
+        "if (true) { var NaN = 1; }\n",
+        "declare var process: unknown;\n",
+        'declare module "fs" {}\n',
+    ]) {
+        const program = sessionProgram({ semantic });
+        const result = reusedLibDiagnostics(program, names, supplied, files({ [main]: text }));
+        expect(program.asked[0], text).not.toBe(`checked ${main}`);
+        if (result !== null)
+            expect(program.asked[0]).toBe("getGlobalDiagnostics");
+    }
+    expect(store.entries.size).toBe(1);
+});
+test("a program whose script declares a supplied global does not store its answer", () => {
+    const store = memoryStore();
+    setLibDiagnosticsStore(store, "checker");
+    const program = sessionProgram({ semantic: new Map([[main, []]]) });
+    reusedLibDiagnostics(program, names, supplied, files({ [main]: "declare var NaN: number;\n" }));
+    expect(store.entries.size).toBe(0);
+});
+test("modules that can declare something global, and servers without the method, ask as before", () => {
+    const store = memoryStore();
+    setLibDiagnosticsStore(store, "checker");
+    const semantic = new Map([[main, []]]);
+    reusedLibDiagnostics(sessionProgram({ semantic }), names, supplied, moduleFile);
+    expect(store.entries.size).toBe(1);
+    for (const text of [
+        "export {};\ndeclare global { var extra: number }\n",
+        'export {};\ndeclare module "./other" { const extra: number }\n',
+        "export as namespace Lib;\nexport const n = 1;\n",
+    ]) {
+        const program = sessionProgram({ semantic });
+        expect(reusedLibDiagnostics(program, names, supplied, files({ [main]: text }))).toBeNull();
+        expect(program.asked).toEqual([]);
+    }
+    const old = sessionProgram({ semantic, checked: false });
+    expect(reusedLibDiagnostics(old, names, supplied, moduleFile)).toBeNull();
+    // Nor does a server without the method store an answer it could not use.
+    const fresh = memoryStore();
+    setLibDiagnosticsStore(fresh, "checker");
+    reusedLibDiagnostics(sessionProgram({ semantic, checked: false }), names, supplied, moduleFile);
+    expect(fresh.entries.size).toBe(0);
+});
+test("a supplied file that changes is a different entry", () => {
+    const store = memoryStore();
+    setLibDiagnosticsStore(store, "checker");
+    const semantic = new Map([[main, []]]);
+    reusedLibDiagnostics(sessionProgram({ semantic }), names, supplied, moduleFile);
+    writeFileSync(fallback, fallbackText + "// edited\n");
+    const program = sessionProgram({ semantic });
+    reusedLibDiagnostics(program, names, supplied, moduleFile);
+    expect(program.asked[0]).toBe("getGlobalDiagnostics");
+    expect(store.entries.size).toBe(2);
+    writeFileSync(fallback, fallbackText);
+});
+//# sourceMappingURL=lib-diagnostics.test.js.map

package/dist/frontend/ts7/lib-diagnostics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lib-diagnostics.test.js","sourceRoot":"","sources":["../../../src/frontend/ts7/lib-diagnostics.test.ts"],"names":[],"mappings":"AAAA,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,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE3D,OAAO,EACL,oBAAoB,EACpB,sBAAsB,GAEvB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE7E,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,0BAA0B,CAAC,CAAC,CAAC;AACpE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;AACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,4BAA4B,CAAC,CAAC;AACzD,MAAM,OAAO,GAAG,mEAAmE,CAAC;AACpF,MAAM,YAAY,GAAG,uEAAuE,CAAC;AAC7F,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAC5B,aAAa,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;AACtC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;AAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;AACvC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAEhC,SAAS,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,QAAQ,CAAC,GAAG,EAAE;IACZ,iBAAiB,EAAE,CAAC;IACpB,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,SAAS,WAAW;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,OAAO;QACL,OAAO;QACP,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI;QACvC,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;KAClD,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA4B,EAAE,GAAW,EAAE,IAAI,GAAG,IAAI;IACxE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,EAAE,EAAE,CAAC;AAC/E,CAAC;AAED;0CAC0C;AAC1C,SAAS,cAAc,CAAC,OAIvB;IACC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,OAAO;QACL,KAAK;QACL,kBAAkB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC5C,cAAc,EAAE,CAAC,MAAc,EAAE,IAAa,EAAE,EAAE;YAChD,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC,CAAC;YAC9D,IAAI,MAAM,KAAK,sBAAsB;gBAAE,OAAO,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;YACnE,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,yBAAyB,EAAE,CAAC,KAAwB,EAAuC,EAAE;YAC3F,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACzC,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACtF,CAAC;KACoD,CAAC;AAC1D,CAAC;AAED,0EAA0E;AAC1E,SAAS,KAAK,CAAC,KAA6B;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB;QACzC,CAAC,GAAG,EAAE,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC,QAAQ,EAAE,eAAe,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;KAC1D,CAAC,CAAC;IACH,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAC9C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACtD,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,QAAQ,CAAC;AAC9E,MAAM,UAAU,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,iCAAiC,EAAE,CAAC,CAAC;AAExE,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;IAClD,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;IACxD,MAAM,CAAC,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9E,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AACpC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;IAC5B,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;QACvB,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,QAAQ,EAAE,EAAE,CAAC;QACd,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;KACnD,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtE,8EAA8E;IAC9E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;QAC1B,sBAAsB;QACtB,wBAAwB;QACxB,UAAU;QACV,0BAA0B,GAAG,EAAE;QAC/B,0BAA0B,QAAQ,EAAE;KACrC,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACzE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;IAClD,kGAAkG;IAClG,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;QACrB,QAAQ,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;IAC5B,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,CAAC,KAAK,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;QACvB,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC,KAAK,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;KAChC,CAAC,CAAC;IACH,oBAAoB,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,oBAAoB,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1F,2FAA2F;IAC3F,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;IAC5B,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,cAAc,CAAC;QAC7B,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;KACzC,CAAC,CAAC;IACH,MAAM,CAAC,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC;QACjF,UAAU,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,CAAC;KAC/B,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;IAC5B,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,sFAAsF;IACtF,MAAM,KAAK,GAAG,KAAK,CAAC;QAClB,CAAC,IAAI,CAAC,EAAE,sEAAsE;KAC/E,CAAC,CAAC;IACH,oBAAoB,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC3C,MAAM,CAAC,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC3E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;IACjD,0EAA0E;IAC1E,+EAA+E;IAC/E,KAAK,MAAM,IAAI,IAAI;QACjB,mCAAmC;QACnC,8BAA8B;QAC9B,iCAAiC;QACjC,0BAA0B;KAC3B,EAAE,CAAC;QACF,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACvF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAC3D,IAAI,MAAM,KAAK,IAAI;YAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;IAC5B,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpE,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,4BAA4B,EAAE,CAAC,CAAC,CAAC;IAChG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0FAA0F,EAAE,GAAG,EAAE;IACpG,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;IAC5B,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,oBAAoB,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI;QACjB,oDAAoD;QACpD,gEAAgE;QAChE,iDAAiD;KAClD,EAAE,CAAC;QACF,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3F,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACzD,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1E,yEAAyE;IACzE,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;IAC5B,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,oBAAoB,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;IAC7D,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;IAC5B,sBAAsB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,oBAAoB,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChF,aAAa,CAAC,QAAQ,EAAE,YAAY,GAAG,aAAa,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7C,oBAAoB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC3D,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,aAAa,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC"}

package/dist/frontend/ts7/program-host.d.ts

@@ -6,6 +6,7 @@ import type { Diagnostic, SourceFileMetadata } from "./semantic-types.js";
 import type { SourceFile } from "./ast-types.js";
 import type { Ts7ProjectCompilerOptions, Ts7SessionProject as Project, Ts7SessionSnapshot as Snapshot } from "./session.js";
 import { CheckerFacade } from "./checker.js";
+import type { Ts7DiagnosticData } from "./session-schema.generated.js";
 /** The compiler options our createProgram accepts: TS7's CompilerOptions
  * shape (numeric enums for target/module/moduleResolution — the enums module
  * generates them from the pinned SDK) with the 5.9.3 "lib.es2025.d.ts" lib
@@ -104,6 +105,12 @@ export declare class Ts7Program {
     getProgramDiagnostics(): readonly Diagnostic[];
     getConfigFileParsingDiagnostics(): readonly Diagnostic[];
     getSourceFileMetadata(fileName: string): SourceFileMetadata | undefined;
+    /** The semantic and global diagnostics with the stored diagnostics of the
+     * declaration files scriptc supplies (lib-diagnostics.ts), or null. */
+    reusedLibDiagnostics(): {
+        semantic: Ts7DiagnosticData[];
+        global: Ts7DiagnosticData[];
+    } | null;
     isSourceFileDefaultLibrary(file: SourceFile): boolean;
     isSourceFileFromExternalLibrary(file: SourceFile): boolean;
     dispose(): void;

package/dist/frontend/ts7/program-host.js

@@ -23,6 +23,9 @@ import { jsxOptionName, moduleDetectionKindName, moduleKindName, moduleResolutio
 import { tsgoPath } from "./session-path.js";
 import { trackedAccessibleEntries, trackedDirectoryExists, trackedFileExists, trackedReadFile, trackedRealpath, } from "../input-tracker.js";
 import { packageShimDeclarationText } from "../package-shims.js";
+import { ambientDtsPath, fallbackDtsPath, overridesDtsPath } from "../dts-paths.js";
+import { reusedLibDiagnostics } from "./lib-diagnostics.js";
+import { ts7Diagnostic } from "./diagnostic.js";
 /* tsconfig JSON wants enum NAMES; the options object carries TS7's numeric
  * enum values. Generated name lookups preserve the SDK's reverse mappings
  * without materializing enum objects in the native compiler. */
@@ -321,6 +324,15 @@ export class Ts7Program {
     getSourceFileMetadata(fileName) {
         return this.project.program.getSourceFileMetadata(resolve(fileName));
     }
+    /** The semantic and global diagnostics with the stored diagnostics of the
+     * declaration files scriptc supplies (lib-diagnostics.ts), or null. */
+    reusedLibDiagnostics() {
+        this.snapshot.ensureActive();
+        const program = this.project.program;
+        const declarations = new Set([ambientDtsPath(), overridesDtsPath(), fallbackDtsPath()]);
+        return reusedLibDiagnostics(program, this.getSourceFileNames(), (name) => declarations.has(tsgoPath(name)) ||
+            program.getSourceFileMetadataByPath(name)?.isDefaultLibrary === true, (name) => this.getSourceFile(name));
+    }
     isSourceFileDefaultLibrary(file) {
         return this.project.program.isSourceFileDefaultLibrary(file);
     }
@@ -351,9 +363,20 @@ export class Ts7Program {
  * package dropped the aggregate). Order mirrors 5.9.3: config, options/
  * program, global, syntactic, semantic. */
 export function getPreEmitDiagnostics(program) {
+    const config = program.getConfigFileParsingDiagnostics();
+    const options = program.getProgramDiagnostics();
+    const reused = program.reusedLibDiagnostics();
+    if (reused !== null)
+        return [
+            ...config,
+            ...options,
+            ...reused.global.map(ts7Diagnostic),
+            ...program.getSyntacticDiagnostics(),
+            ...reused.semantic.map(ts7Diagnostic),
+        ];
     return [
-        ...program.getConfigFileParsingDiagnostics(),
-        ...program.getProgramDiagnostics(),
+        ...config,
+        ...options,
         ...program.getGlobalDiagnostics(),
         ...program.getSyntacticDiagnostics(),
         ...program.getSemanticDiagnostics(),