feat: add Yarn PnP support

Author: merceyz

.github/workflows/ci.yml

@@ -5,6 +5,7 @@ on:
     branches:
       - main
       - release-*
+      - '*/pnp-*'
   pull_request:
     branches:
       - main

src/compiler/moduleNameResolver.ts

@@ -110,6 +110,8 @@ import {
     versionMajorMinor,
     VersionRange,
 } from "./_namespaces/ts.js";
+import { getPnpTypeRoots } from "./pnp.js";
+import { getPnpApi } from "./pnpapi.js";
 
 /** @internal */
 export function trace(host: ModuleResolutionHost, message: DiagnosticMessage, ...args: any[]): void {
@@ -495,7 +497,7 @@ export function getEffectiveTypeRoots(options: CompilerOptions, host: GetEffecti
  * Returns the path to every node_modules/@types directory from some ancestor directory.
  * Returns undefined if there are none.
  */
-function getDefaultTypeRoots(currentDirectory: string): string[] | undefined {
+function getNodeModulesTypeRoots(currentDirectory: string) {
     let typeRoots: string[] | undefined;
     forEachAncestorDirectory(normalizePath(currentDirectory), directory => {
         const atTypes = combinePaths(directory, nodeModulesAtTypes);
@@ -510,6 +512,18 @@ function arePathsEqual(path1: string, path2: string, host: ModuleResolutionHost)
     return comparePaths(path1, path2, !useCaseSensitiveFileNames) === Comparison.EqualTo;
 }
 
+function getDefaultTypeRoots(currentDirectory: string): string[] | undefined {
+    const nmTypes = getNodeModulesTypeRoots(currentDirectory);
+    const pnpTypes = getPnpTypeRoots(currentDirectory);
+
+    if (nmTypes?.length) {
+        return [...nmTypes, ...pnpTypes];
+    }
+    else if (pnpTypes.length) {
+        return pnpTypes;
+    }
+}
+
 function getOriginalAndResolvedFileName(fileName: string, host: ModuleResolutionHost, traceEnabled: boolean) {
     const resolvedFileName = realPath(fileName, host, traceEnabled);
     const pathsAreEqual = arePathsEqual(fileName, resolvedFileName, host);
@@ -790,6 +804,18 @@ export function resolvePackageNameToPackageJson(
 ): PackageJsonInfo | undefined {
     const moduleResolutionState = getTemporaryModuleResolutionState(cache?.getPackageJsonInfoCache(), host, options);
 
+    const pnpapi = getPnpApi(containingDirectory);
+    if (pnpapi) {
+        try {
+            const resolution = pnpapi.resolveToUnqualified(packageName, `${containingDirectory}/`, { considerBuiltins: false });
+            const candidate = normalizeSlashes(resolution).replace(/\/$/, "");
+            return getPackageJsonInfo(candidate, /*onlyRecordFailures*/ false, moduleResolutionState);
+        }
+        catch {
+            return;
+        }
+    }
+
     return forEachAncestorDirectoryStoppingAtGlobalCache(host, containingDirectory, ancestorDirectory => {
         if (getBaseFileName(ancestorDirectory) !== "node_modules") {
             const nodeModulesFolder = combinePaths(ancestorDirectory, "node_modules");
@@ -3013,6 +3039,15 @@ function loadModuleFromNearestNodeModulesDirectoryWorker(extensions: Extensions,
     }
 
     function lookup(extensions: Extensions) {
+        const issuer = normalizeSlashes(directory);
+        if (getPnpApi(issuer)) {
+            const resolutionFromCache = tryFindNonRelativeModuleNameInCache(cache, moduleName, mode, issuer, redirectedReference, state);
+            if (resolutionFromCache) {
+                return resolutionFromCache;
+            }
+            return toSearchResult(loadModuleFromImmediateNodeModulesDirectoryPnP(extensions, moduleName, issuer, state, typesScopeOnly, cache, redirectedReference));
+        }
+
         return forEachAncestorDirectoryStoppingAtGlobalCache(
             state.host,
             normalizeSlashes(directory),
@@ -3075,11 +3110,34 @@ function loadModuleFromImmediateNodeModulesDirectory(extensions: Extensions, mod
     }
 }
 
+function loadModuleFromImmediateNodeModulesDirectoryPnP(extensions: Extensions, moduleName: string, directory: string, state: ModuleResolutionState, typesScopeOnly: boolean, cache: ModuleResolutionCache | undefined, redirectedReference: ResolvedProjectReference | undefined): Resolved | undefined {
+    const issuer = normalizeSlashes(directory);
+
+    if (!typesScopeOnly) {
+        const packageResult = tryLoadModuleUsingPnpResolution(extensions, moduleName, issuer, state, cache, redirectedReference);
+        if (packageResult) {
+            return packageResult;
+        }
+    }
+
+    if (extensions & Extensions.Declaration) {
+        return tryLoadModuleUsingPnpResolution(Extensions.Declaration, `@types/${mangleScopedPackageNameWithTrace(moduleName, state)}`, issuer, state, cache, redirectedReference);
+    }
+}
+
 function loadModuleFromSpecificNodeModulesDirectory(extensions: Extensions, moduleName: string, nodeModulesDirectory: string, nodeModulesDirectoryExists: boolean, state: ModuleResolutionState, cache: ModuleResolutionCache | undefined, redirectedReference: ResolvedProjectReference | undefined): Resolved | undefined {
     const candidate = normalizePath(combinePaths(nodeModulesDirectory, moduleName));
     const { packageName, rest } = parsePackageName(moduleName);
     const packageDirectory = combinePaths(nodeModulesDirectory, packageName);
+    return loadModuleFromSpecificNodeModulesDirectoryImpl(extensions, nodeModulesDirectoryExists, state, cache, redirectedReference, candidate, rest, packageDirectory);
+}
+
+function loadModuleFromPnpResolution(extensions: Extensions, packageDirectory: string, rest: string, state: ModuleResolutionState, cache: ModuleResolutionCache | undefined, redirectedReference: ResolvedProjectReference | undefined): Resolved | undefined {
+    const candidate = normalizePath(combinePaths(packageDirectory, rest));
+    return loadModuleFromSpecificNodeModulesDirectoryImpl(extensions, /*nodeModulesDirectoryExists*/ true, state, cache, redirectedReference, candidate, rest, packageDirectory);
+}
 
+function loadModuleFromSpecificNodeModulesDirectoryImpl(extensions: Extensions, nodeModulesDirectoryExists: boolean, state: ModuleResolutionState, cache: ModuleResolutionCache | undefined, redirectedReference: ResolvedProjectReference | undefined, candidate: string, rest: string, packageDirectory: string): Resolved | undefined {
     let rootPackageInfo: PackageJsonInfo | undefined;
     // First look for a nested package.json, as in `node_modules/foo/bar/package.json`.
     let packageInfo = getPackageJsonInfo(candidate, !nodeModulesDirectoryExists, state);
@@ -3415,3 +3473,22 @@ function useCaseSensitiveFileNames(state: ModuleResolutionState) {
         typeof state.host.useCaseSensitiveFileNames === "boolean" ? state.host.useCaseSensitiveFileNames :
         state.host.useCaseSensitiveFileNames();
 }
+
+function loadPnpPackageResolution(packageName: string, containingDirectory: string) {
+    try {
+        const resolution = getPnpApi(containingDirectory).resolveToUnqualified(packageName, `${containingDirectory}/`, { considerBuiltins: false });
+        return normalizeSlashes(resolution).replace(/\/$/, "");
+    }
+    catch {
+        // Nothing to do
+    }
+}
+
+function tryLoadModuleUsingPnpResolution(extensions: Extensions, moduleName: string, containingDirectory: string, state: ModuleResolutionState, cache: ModuleResolutionCache | undefined, redirectedReference: ResolvedProjectReference | undefined) {
+    const { packageName, rest } = parsePackageName(moduleName);
+
+    const packageResolution = loadPnpPackageResolution(packageName, containingDirectory);
+    return packageResolution
+        ? loadModuleFromPnpResolution(extensions, packageResolution, rest, state, cache, redirectedReference)
+        : undefined;
+}

src/compiler/moduleSpecifiers.ts

@@ -100,6 +100,7 @@ import {
     NodeModulePathParts,
     normalizePath,
     PackageJsonPathFields,
+    PackagePathParts,
     pathContainsNodeModules,
     pathIsBareSpecifier,
     pathIsRelative,
@@ -129,6 +130,7 @@ import {
     TypeChecker,
     UserPreferences,
 } from "./_namespaces/ts.js";
+import { getPnpApi } from "./pnpapi.js";
 
 const stringToRegex = memoizeOne((pattern: string) => {
     try {
@@ -833,7 +835,17 @@ function getAllModulePathsWorker(info: Info, importedFileName: string, host: Mod
         host,
         /*preferSymlinks*/ true,
         (path, isRedirect) => {
-            const isInNodeModules = pathContainsNodeModules(path);
+            let isInNodeModules = pathContainsNodeModules(path);
+
+            const pnpapi = getPnpApi(path);
+            if (!isInNodeModules && pnpapi) {
+                const fromLocator = pnpapi.findPackageLocator(info.importingSourceFileName);
+                const toLocator = pnpapi.findPackageLocator(path);
+                if (fromLocator && toLocator && fromLocator !== toLocator) {
+                    isInNodeModules = true;
+                }
+            }
+
             allFileNames.set(path, { path: info.getCanonicalFileName(path), isRedirect, isInNodeModules });
             importedFileFromNodeModules = importedFileFromNodeModules || isInNodeModules;
             // don't return value, so we collect everything
@@ -1187,7 +1199,51 @@ function tryGetModuleNameAsNodeModule({ path, isRedirect }: ModulePath, { getCan
     if (!host.fileExists || !host.readFile) {
         return undefined;
     }
-    const parts: NodeModulePathParts = getNodeModulePathParts(path)!;
+    let parts: NodeModulePathParts | PackagePathParts | undefined = getNodeModulePathParts(path);
+
+    let pnpPackageName: string | undefined;
+
+    const pnpApi = getPnpApi(path);
+    if (pnpApi) {
+        const fromLocator = pnpApi.findPackageLocator(importingSourceFile.fileName);
+        const toLocator = pnpApi.findPackageLocator(path);
+
+        // Don't use the package name when the imported file is inside
+        // the source directory (prefer a relative path instead)
+        if (fromLocator === toLocator) {
+            return undefined;
+        }
+
+        if (fromLocator && toLocator) {
+            const fromInfo = pnpApi.getPackageInformation(fromLocator);
+            if (toLocator.reference === fromInfo.packageDependencies.get(toLocator.name)) {
+                pnpPackageName = toLocator.name;
+            }
+            else {
+                // Aliased dependencies
+                for (const [name, reference] of fromInfo.packageDependencies) {
+                    if (Array.isArray(reference)) {
+                        if (reference[0] === toLocator.name && reference[1] === toLocator.reference) {
+                            pnpPackageName = name;
+                            break;
+                        }
+                    }
+                }
+            }
+
+            if (!parts) {
+                const toInfo = pnpApi.getPackageInformation(toLocator);
+                parts = {
+                    topLevelNodeModulesIndex: undefined,
+                    topLevelPackageNameIndex: undefined,
+                    // The last character from packageLocation is the trailing "/", we want to point to it
+                    packageRootIndex: toInfo.packageLocation.length - 1,
+                    fileNameIndex: path.lastIndexOf(`/`),
+                };
+            }
+        }
+    }
+
     if (!parts) {
         return undefined;
     }
@@ -1232,19 +1288,26 @@ function tryGetModuleNameAsNodeModule({ path, isRedirect }: ModulePath, { getCan
         return undefined;
     }
 
-    const globalTypingsCacheLocation = host.getGlobalTypingsCacheLocation && host.getGlobalTypingsCacheLocation();
-    // Get a path that's relative to node_modules or the importing file's path
-    // if node_modules folder is in this folder or any of its parent folders, no need to keep it.
-    const pathToTopLevelNodeModules = getCanonicalFileName(moduleSpecifier.substring(0, parts.topLevelNodeModulesIndex));
-    if (!(startsWith(canonicalSourceDirectory, pathToTopLevelNodeModules) || globalTypingsCacheLocation && startsWith(getCanonicalFileName(globalTypingsCacheLocation), pathToTopLevelNodeModules))) {
-        return undefined;
+    // If PnP is enabled the node_modules entries we'll get will always be relevant even if they
+    // are located in a weird path apparently outside of the source directory
+    if (typeof process.versions.pnp === "undefined") {
+        const globalTypingsCacheLocation = host.getGlobalTypingsCacheLocation && host.getGlobalTypingsCacheLocation();
+        // Get a path that's relative to node_modules or the importing file's path
+        // if node_modules folder is in this folder or any of its parent folders, no need to keep it.
+        const pathToTopLevelNodeModules = getCanonicalFileName(moduleSpecifier.substring(0, parts.topLevelNodeModulesIndex));
+        if (!(startsWith(canonicalSourceDirectory, pathToTopLevelNodeModules) || globalTypingsCacheLocation && startsWith(getCanonicalFileName(globalTypingsCacheLocation), pathToTopLevelNodeModules))) {
+            return undefined;
+        }
     }
 
     // If the module was found in @types, get the actual Node package name
-    const nodeModulesDirectoryName = moduleSpecifier.substring(parts.topLevelPackageNameIndex + 1);
-    const packageName = getPackageNameFromTypesPackageName(nodeModulesDirectoryName);
+    const nodeModulesDirectoryName = typeof pnpPackageName !== "undefined"
+        ? pnpPackageName + moduleSpecifier.substring(parts.packageRootIndex)
+        : moduleSpecifier.substring(parts.topLevelPackageNameIndex! + 1);
+
+    const packageNameFromPath = getPackageNameFromTypesPackageName(nodeModulesDirectoryName);
     // For classic resolution, only allow importing from node_modules/@types, not other node_modules
-    return getEmitModuleResolutionKind(options) === ModuleResolutionKind.Classic && packageName === nodeModulesDirectoryName ? undefined : packageName;
+    return getEmitModuleResolutionKind(options) === ModuleResolutionKind.Classic && packageNameFromPath === nodeModulesDirectoryName ? undefined : packageNameFromPath;
 
     function tryDirectoryWithPackageJson(packageRootIndex: number): { moduleFileToTry: string; packageRootPath?: string; blockedByExports?: true; verbatimFromExports?: true; } {
         const packageRootPath = path.substring(0, packageRootIndex);
@@ -1259,8 +1322,8 @@ function tryGetModuleNameAsNodeModule({ path, isRedirect }: ModulePath, { getCan
                 // The package name that we found in node_modules could be different from the package
                 // name in the package.json content via url/filepath dependency specifiers. We need to
                 // use the actual directory name, so don't look at `packageJsonContent.name` here.
-                const nodeModulesDirectoryName = packageRootPath.substring(parts.topLevelPackageNameIndex + 1);
-                const packageName = getPackageNameFromTypesPackageName(nodeModulesDirectoryName);
+                const nodeModulesDirectoryName = packageRootPath.substring(parts!.topLevelPackageNameIndex! + 1);
+                const packageName = getPackageNameFromTypesPackageName(pnpPackageName ? pnpPackageName : nodeModulesDirectoryName);
                 const conditions = getConditions(options, importMode);
                 const fromExports = packageJsonContent?.exports
                     ? tryGetModuleNameFromExports(
@@ -1333,7 +1396,7 @@ function tryGetModuleNameAsNodeModule({ path, isRedirect }: ModulePath, { getCan
         }
         else {
             // No package.json exists; an index.js will still resolve as the package name
-            const fileName = getCanonicalFileName(moduleFileToTry.substring(parts.packageRootIndex + 1));
+            const fileName = getCanonicalFileName(moduleFileToTry.substring(parts!.packageRootIndex + 1));
             if (fileName === "index.d.ts" || fileName === "index.js" || fileName === "index.ts" || fileName === "index.tsx") {
                 return { moduleFileToTry, packageRootPath };
             }

src/compiler/pnp.ts

@@ -0,0 +1,65 @@
+import {
+    getDirectoryPath,
+    resolvePath,
+} from "./path.js";
+import { getPnpApi } from "./pnpapi.js";
+
+export function getPnpTypeRoots(currentDirectory: string): string[] {
+    const pnpApi = getPnpApi(currentDirectory);
+    if (!pnpApi) {
+        return [];
+    }
+
+    // Some TS consumers pass relative paths that aren't normalized
+    currentDirectory = resolvePath(currentDirectory);
+
+    const currentPackage = pnpApi.findPackageLocator(`${currentDirectory}/`);
+    if (!currentPackage) {
+        return [];
+    }
+
+    const { packageDependencies } = pnpApi.getPackageInformation(currentPackage);
+
+    const typeRoots: string[] = [];
+    for (const [name, referencish] of Array.from<any>(packageDependencies.entries())) {
+        // eslint-disable-next-line no-restricted-syntax
+        if (name.startsWith(`@types/`) && referencish !== null) {
+            const dependencyLocator = pnpApi.getLocator(name, referencish);
+            const { packageLocation } = pnpApi.getPackageInformation(dependencyLocator);
+
+            typeRoots.push(getDirectoryPath(packageLocation));
+        }
+    }
+
+    return typeRoots;
+}
+
+export function isImportablePathPnp(fromPath: string, toPath: string): boolean {
+    const pnpApi = getPnpApi(fromPath);
+
+    const fromLocator = pnpApi.findPackageLocator(fromPath);
+    const toLocator = pnpApi.findPackageLocator(toPath);
+
+    // eslint-disable-next-line no-restricted-syntax
+    if (toLocator === null) {
+        return false;
+    }
+
+    const fromInfo = pnpApi.getPackageInformation(fromLocator);
+    const toReference = fromInfo.packageDependencies.get(toLocator.name);
+
+    if (toReference) {
+        return toReference === toLocator.reference;
+    }
+
+    // Aliased dependencies
+    for (const reference of fromInfo.packageDependencies.values()) {
+        if (Array.isArray(reference)) {
+            if (reference[0] === toLocator.name && reference[1] === toLocator.reference) {
+                return true;
+            }
+        }
+    }
+
+    return false;
+}

src/compiler/pnpapi.ts

@@ -0,0 +1,18 @@
+// To preserve the effects of https://github.com/microsoft/TypeScript/pull/55326
+// this file needs to avoid importing large graphs.
+
+export function getPnpApi(path: string): any {
+    if (typeof process.versions.pnp === "undefined") {
+        return;
+    }
+
+    const { findPnpApi } = require("module");
+    if (findPnpApi) {
+        return findPnpApi(`${path}/`);
+    }
+}
+
+export function getPnpApiPath(path: string): string | undefined {
+    // eslint-disable-next-line no-restricted-syntax
+    return getPnpApi(path)?.resolveRequest("pnpapi", /*issuer*/ null);
+}

src/compiler/sys.ts

@@ -1720,6 +1720,10 @@ export let sys: System = (() => {
         }
 
         function isFileSystemCaseSensitive(): boolean {
+            // The PnP runtime is always case-sensitive
+            if (typeof process.versions.pnp !== `undefined`) {
+                return true;
+            }
             // win32\win64 are case insensitive platforms
             if (platform === "win32" || platform === "win64") {
                 return false;

src/compiler/utilities.ts

@@ -10837,6 +10837,15 @@ export interface NodeModulePathParts {
     readonly packageRootIndex: number;
     readonly fileNameIndex: number;
 }
+
+/** @internal */
+export interface PackagePathParts {
+    readonly topLevelNodeModulesIndex: undefined;
+    readonly topLevelPackageNameIndex: undefined;
+    readonly packageRootIndex: number;
+    readonly fileNameIndex: number;
+}
+
 /** @internal */
 export function getNodeModulePathParts(fullPath: string): NodeModulePathParts | undefined {
     // If fullPath can't be valid module file within node_modules, returns undefined.