@endo/compartment-mapper 1.6.3 → 2.0.0

package/src/import-hook.js

@@ -29,14 +29,19 @@
  *   ImportNowHookMaker,
  *   MakeImportHookMakerOptions,
  *   MakeImportNowHookMakerOptions,
- *   ModuleDescriptor,
  *   ParseResult,
  *   ReadFn,
  *   ReadPowers,
  *   ReadNowPowers,
  *   StrictlyRequiredFn,
+ *   DeferErrorFn,
+ *   ErrorModuleSource,
+ *   FileUrlString,
  *   CompartmentSources,
- *   DeferErrorFn
+ *   CompartmentModuleConfiguration,
+ *   LogOptions,
+ *   CanonicalName,
+ *   LocalModuleSource
  * } from './types.js'
  */
 
@@ -44,14 +49,14 @@ import { asyncTrampoline, syncTrampoline } from '@endo/trampoline';
 import { resolve } from './node-module-specifier.js';
 import {
   attenuateModuleHook,
-  ATTENUATORS_COMPARTMENT,
-  enforceModulePolicy,
+  enforcePolicyByModule,
+  enforcePackagePolicyByCanonicalName,
 } from './policy.js';
+import { ATTENUATORS_COMPARTMENT } from './policy-format.js';
 import { unpackReadPowers } from './powers.js';
 
 // q, as in quote, for quoting strings in error messages.
-const q = JSON.stringify;
-
+const { quote: q } = assert;
 const { apply } = Reflect;
 
 /**
@@ -62,7 +67,7 @@ const { apply } = Reflect;
  */
 const freeze = Object.freeze;
 
-const { entries, keys, assign, create } = Object;
+const { keys, assign, create } = Object;
 
 const { hasOwnProperty } = Object.prototype;
 /**
@@ -71,12 +76,15 @@ const { hasOwnProperty } = Object.prototype;
  */
 const has = (haystack, needle) => apply(hasOwnProperty, haystack, [needle]);
 
+const noop = () => {};
+
 /**
  * @param {string} rel - a relative URL
- * @param {string} abs - a fully qualified URL
- * @returns {string}
+ * @param {FileUrlString} abs - a fully qualified URL
+ * @returns {FileUrlString}
  */
-const resolveLocation = (rel, abs) => new URL(rel, abs).toString();
+const resolveLocation = (rel, abs) =>
+  /** @type {FileUrlString} */ (new URL(rel, abs).toString());
 
 // this is annoying
 function getImportsFromRecord(record) {
@@ -98,14 +106,14 @@ const nodejsConventionSearchSuffixes = [
 
 /**
  * Returns `true` if `absoluteModuleSpecifier` is within the path `compartmentLocation`.
- * @param {string} absoluteModudeSpecifier Absolute path to module specifier
+ * @param {string} absoluteModuleSpecifier Absolute path to module specifier
  * @param {string} compartmentLocation Absolute path to compartment location
  * @returns {boolean}
  */
 const isLocationWithinCompartment = (
-  absoluteModudeSpecifier,
+  absoluteModuleSpecifier,
   compartmentLocation,
-) => absoluteModudeSpecifier.startsWith(compartmentLocation);
+) => absoluteModuleSpecifier.startsWith(compartmentLocation);
 
 /**
  * Computes the relative path to a module from its compartment location (including a leading `./`)
@@ -159,30 +167,15 @@ const findRedirect = ({
         return undefined;
       }
 
-      // this tests the compartment referred to by the absolute path
-      // is a dependency of the compartment descriptor
-      if (compartmentDescriptor.compartments.has(location)) {
-        return {
-          specifier: relativeSpecifier(moduleSpecifierLocation, location),
-          compartment: compartments[location],
-        };
-      }
-
-      // this tests if the compartment descriptor is a dependency of the
-      // compartment referred to by the absolute path.
-      // it may be in scope, but disallowed by policy.
-      if (
-        someCompartmentDescriptor.compartments.has(
-          compartmentDescriptor.location,
-        )
-      ) {
-        enforceModulePolicy(
-          compartmentDescriptor.name,
+      if (compartmentDescriptor.policy) {
+        enforcePackagePolicyByCanonicalName(
           someCompartmentDescriptor,
+          compartmentDescriptor,
           {
-            errorHint: `Blocked in import hook. ${q(absoluteModuleSpecifier)} is part of the compartment map and resolves to ${location}`,
+            errorHint: `Blocked in importNow hook by package policy. ${q(absoluteModuleSpecifier)} is part of the compartment map and resolves to ${location}`,
           },
         );
+
         return {
           specifier: relativeSpecifier(moduleSpecifierLocation, location),
           compartment: compartments[location],
@@ -264,6 +257,66 @@ const nominateCandidates = (moduleSpecifier, searchSuffixes) => {
   return candidates;
 };
 
+/**
+ * Executes the moduleSource hook for a {@link LocalModuleSource}.
+ *
+ * Preprocesses the fields for the hook.
+ *
+ * @param {import('./types.js').ModuleSourceHook | undefined} moduleSourceHook Hook function
+ * @param {LocalModuleSource} moduleSource Original `LocalModuleSource` object
+ * @param {CanonicalName} canonicalName Canonical name of the compartment/package
+ * @param {LogOptions} options Options
+ * @returns {void}
+ */
+const executeLocalModuleSourceHook = (
+  moduleSourceHook,
+  moduleSource,
+  canonicalName,
+  { log = noop } = {},
+) => {
+  if (!moduleSourceHook) {
+    return;
+  }
+
+  const {
+    sourceLocation: location,
+    parser: language,
+    bytes,
+    record,
+    sha512,
+  } = moduleSource;
+  /** @type {string[]|undefined} */
+  let imports;
+  /** @type {string[]|undefined} */
+  let exports;
+  /** @type {string[]|undefined} */
+  let reexports;
+
+  if ('imports' in record) {
+    ({ imports } = record);
+  }
+  if ('exports' in record) {
+    ({ exports } = record);
+  }
+  if ('reexports' in record) {
+    ({ reexports } = record);
+  }
+
+  moduleSourceHook({
+    moduleSource: {
+      location,
+      language,
+      bytes,
+      imports,
+      exports,
+      reexports,
+      sha512,
+    },
+    canonicalName,
+    log,
+  });
+};
+
 /**
  * Returns a generator which applies {@link ChooseModuleDescriptorOperators} in
  * `operators` using the options in options to ultimately result in a
@@ -297,7 +350,9 @@ function* chooseModuleDescriptor(
     readPowers,
     archiveOnly,
     sourceMapHook,
+    moduleSourceHook,
     strictlyRequiredForCompartment,
+    log = noop,
   },
   { maybeRead, parse, shouldDeferError = () => false },
 ) {
@@ -394,6 +449,7 @@ function* chooseModuleDescriptor(
           retained: true,
           module: candidateSpecifier,
           compartment: packageLocation,
+          __createdBy: 'import-hook',
         };
       }
       /** @type {StaticModuleType} */
@@ -420,7 +476,9 @@ function* chooseModuleDescriptor(
       const packageRelativeLocation = moduleLocation.slice(
         packageLocation.length,
       );
-      packageSources[candidateSpecifier] = {
+
+      /** @type {LocalModuleSource} */
+      const localModuleSource = {
         location: packageRelativeLocation,
         sourceLocation: moduleLocation,
         sourceDirname,
@@ -429,6 +487,16 @@ function* chooseModuleDescriptor(
         record: concreteRecord,
         sha512,
       };
+
+      packageSources[candidateSpecifier] = localModuleSource;
+
+      executeLocalModuleSourceHook(
+        moduleSourceHook,
+        localModuleSource,
+        compartmentDescriptor.label,
+        { log },
+      );
+
       if (!shouldDeferError(parser)) {
         for (const importSpecifier of getImportsFromRecord(record)) {
           strictlyRequiredForCompartment(packageLocation).add(
@@ -458,9 +526,7 @@ const makeDeferError = (
   packageSources,
 ) => {
   /**
-   * @param {string} specifier
-   * @param {Error} error - error to throw on execute
-   * @returns {StaticModuleType}
+   * @type {DeferErrorFn}
    */
   const deferError = (specifier, error) => {
     // strictlyRequired is populated with imports declared by modules whose parser is not using heuristics to figure
@@ -482,9 +548,11 @@ const makeDeferError = (
         throw error;
       },
     });
-    packageSources[specifier] = {
+    /** @type {ErrorModuleSource} */
+    const moduleSource = {
       deferredError: error.message,
     };
+    packageSources[specifier] = moduleSource;
 
     return record;
   };
@@ -493,7 +561,7 @@ const makeDeferError = (
 
 /**
  * @param {ReadFn|ReadPowers} readPowers
- * @param {string} baseLocation
+ * @param {FileUrlString} baseLocation
  * @param {MakeImportHookMakerOptions} options
  * @returns {ImportHookMaker}
  */
@@ -510,6 +578,8 @@ export const makeImportHookMaker = (
     entryCompartmentName,
     entryModuleSpecifier,
     importHook: exitModuleImportHook = undefined,
+    moduleSourceHook,
+    log = noop,
   },
 ) => {
   // Set of specifiers for modules (scoped to compartment) whose parser is not
@@ -581,12 +651,23 @@ export const makeImportHookMaker = (
             if (record) {
               // It'd be nice to check the policy before importing it, but we can only throw a policy error if the
               // hook returns something. Otherwise, we need to fall back to the 'cannot find' error below.
-              enforceModulePolicy(moduleSpecifier, compartmentDescriptor, {
+              enforcePolicyByModule(moduleSpecifier, compartmentDescriptor, {
                 exit: true,
                 errorHint: `Blocked in loading. ${q(
                   moduleSpecifier,
                 )} was not in the compartment map and an attempt was made to load it as a builtin`,
               });
+
+              if (moduleSourceHook) {
+                moduleSourceHook({
+                  moduleSource: {
+                    exit: moduleSpecifier,
+                  },
+                  canonicalName: compartmentDescriptor.label,
+                  log,
+                });
+              }
+
               if (archiveOnly) {
                 // Return a place-holder.
                 // Archived compartments are not executed.
@@ -630,7 +711,9 @@ export const makeImportHookMaker = (
             readPowers,
             archiveOnly,
             sourceMapHook,
+            moduleSourceHook,
             strictlyRequiredForCompartment,
+            log,
           },
           { maybeRead, parse, shouldDeferError },
         );
@@ -659,7 +742,7 @@ export const makeImportHookMaker = (
  * Synchronous import for dynamic requires.
  *
  * @param {ReadNowPowers} readPowers
- * @param {string} baseLocation
+ * @param {FileUrlString} baseLocation
  * @param {MakeImportNowHookMakerOptions} options
  * @returns {ImportNowHookMaker}
  */
@@ -674,13 +757,14 @@ export function makeImportNowHookMaker(
     archiveOnly = false,
     sourceMapHook = undefined,
     importNowHook: exitModuleImportNowHook = undefined,
+    moduleSourceHook,
+    log = noop,
   },
 ) {
   // Set of specifiers for modules (scoped to compartment) whose parser is not
   // using heuristics to determine imports.
   /** @type {Map<string, Set<string>>} compartment name ->* module specifier */
   const strictlyRequired = new Map();
-
   /**
    * @param {string} compartmentName
    */
@@ -704,10 +788,13 @@ export function makeImportNowHookMaker(
     compartments,
     shouldDeferError,
   }) => {
+    packageLocation = resolveLocation(packageLocation, baseLocation);
+    const packageSources = sources[packageLocation] || create(null);
+    sources[packageLocation] = packageSources;
     const deferError = makeDeferError(
       strictlyRequiredForCompartment,
       packageLocation,
-      sources,
+      packageSources,
     );
 
     /**
@@ -729,9 +816,9 @@ export function makeImportNowHookMaker(
         if (exitRecord) {
           // It'd be nice to check the policy before importing it, but we can only throw a policy error if the
           // hook returns something. Otherwise, we need to fall back to the 'cannot find' error below.
-          enforceModulePolicy(moduleSpecifier, compartmentDescriptor, {
+          enforcePolicyByModule(moduleSpecifier, compartmentDescriptor, {
             exit: true,
-            errorHint: `Blocked in loading. ${q(
+            errorHint: `Blocked exit module in loading. ${q(
               moduleSpecifier,
             )} was not in the compartment map and an attempt was made to load it as a builtin`,
           });
@@ -759,37 +846,17 @@ export function makeImportNowHookMaker(
       };
     }
 
-    const compartmentDescriptor = compartmentDescriptors[packageLocation] || {};
+    const compartmentDescriptor =
+      compartmentDescriptors[packageLocation] || create(null);
 
-    packageLocation = resolveLocation(packageLocation, baseLocation);
-    const packageSources = sources[packageLocation] || create(null);
-    sources[packageLocation] = packageSources;
     const {
       modules:
-        moduleDescriptors = /** @type {Record<string, ModuleDescriptor>} */ (
+        moduleDescriptors = /** @type {Record<string, CompartmentModuleConfiguration>} */ (
           create(null)
         ),
     } = compartmentDescriptor;
-    compartmentDescriptor.modules = moduleDescriptors;
 
-    let { policy } = compartmentDescriptor;
-    policy = policy || create(null);
-
-    // Associates modules with compartment descriptors based on policy
-    // in cases where the association was not made when building the
-    // compartment map but is indicated by the policy.
-    if ('packages' in policy && typeof policy.packages === 'object') {
-      for (const [packageName, packagePolicyItem] of entries(policy.packages)) {
-        if (
-          !(packageName in compartmentDescriptor.modules) &&
-          packageName in compartmentDescriptor.scopes &&
-          packagePolicyItem
-        ) {
-          compartmentDescriptor.modules[packageName] =
-            compartmentDescriptor.scopes[packageName];
-        }
-      }
-    }
+    compartmentDescriptor.modules = moduleDescriptors;
 
     const { maybeReadNow, isAbsolute } = readPowers;
 
@@ -850,7 +917,9 @@ export function makeImportNowHookMaker(
             readPowers,
             archiveOnly,
             sourceMapHook,
+            moduleSourceHook,
             strictlyRequiredForCompartment,
+            log,
           },
           {
             maybeRead: maybeReadNow,

package/src/import-lite.d.ts

@@ -1,22 +1,22 @@
 /**
  * @overload
  * @param {ReadNowPowers} readPowers
- * @param {CompartmentMapDescriptor} compartmentMap
+ * @param {PackageCompartmentMapDescriptor} compartmentMap
  * @param {SyncImportLocationOptions} [opts]
  * @returns {Promise<Application>}
  */
-export function loadFromMap(readPowers: ReadNowPowers, compartmentMap: CompartmentMapDescriptor, opts?: SyncImportLocationOptions | undefined): Promise<Application>;
+export function loadFromMap(readPowers: ReadNowPowers, compartmentMap: PackageCompartmentMapDescriptor, opts?: SyncImportLocationOptions | undefined): Promise<Application>;
 /**
  * @overload
  * @param {ReadFn | ReadPowers} readPowers
- * @param {CompartmentMapDescriptor} compartmentMap
+ * @param {PackageCompartmentMapDescriptor} compartmentMap
  * @param {ImportLocationOptions} [opts]
  * @returns {Promise<Application>}
  */
-export function loadFromMap(readPowers: ReadFn | ReadPowers, compartmentMap: CompartmentMapDescriptor, opts?: ImportLocationOptions | undefined): Promise<Application>;
-export function importFromMap(readPowers: ReadFn | ReadPowers, compartmentMap: CompartmentMapDescriptor, options?: ImportLocationOptions): Promise<SomeObject>;
+export function loadFromMap(readPowers: ReadFn | ReadPowers, compartmentMap: PackageCompartmentMapDescriptor, opts?: ImportLocationOptions | undefined): Promise<Application>;
+export function importFromMap(readPowers: ReadFn | ReadPowers, compartmentMap: PackageCompartmentMapDescriptor, options?: ImportLocationOptions): Promise<SomeObject>;
 import type { ReadNowPowers } from './types.js';
-import type { CompartmentMapDescriptor } from './types.js';
+import type { PackageCompartmentMapDescriptor } from './types.js';
 import type { SyncImportLocationOptions } from './types.js';
 import type { Application } from './types.js';
 import type { ReadFn } from './types.js';

package/src/import-lite.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"import-lite.d.ts","sourceRoot":"","sources":["import-lite.js"],"names":[],"mappings":";;;;;;;AAyEG,wCACQ,aAAa,kBACb,wBAAwB,iDAEtB,OAAO,CAAC,WAAW,CAAC,CAChC;;;;;;;;AAGE,wCACQ,MAAM,GAAG,UAAU,kBACnB,wBAAwB,6CAEtB,OAAO,CAAC,WAAW,CAAC,CAChC;AA4JM,0CANI,MAAM,GAAG,UAAU,kBACnB,wBAAwB,YACxB,qBAAqB,GACnB,OAAO,CAAC,UAAU,CAAC,CAU/B;mCAxNS,YAAY;8CAAZ,YAAY;+CAAZ,YAAY;iCAAZ,YAAY;4BAAZ,YAAY;gCAAZ,YAAY;2CAAZ,YAAY;gCAAZ,YAAY"}
+{"version":3,"file":"import-lite.d.ts","sourceRoot":"","sources":["import-lite.js"],"names":[],"mappings":";;;;;;;AAyEG,wCACQ,aAAa,kBACb,+BAA+B,iDAE7B,OAAO,CAAC,WAAW,CAAC,CAChC;;;;;;;;AAGE,wCACQ,MAAM,GAAG,UAAU,kBACnB,+BAA+B,6CAE7B,OAAO,CAAC,WAAW,CAAC,CAChC;AA+JM,0CANI,MAAM,GAAG,UAAU,kBACnB,+BAA+B,YAC/B,qBAAqB,GACnB,OAAO,CAAC,UAAU,CAAC,CAU/B;mCA3NS,YAAY;qDAAZ,YAAY;+CAAZ,YAAY;iCAAZ,YAAY;4BAAZ,YAAY;gCAAZ,YAAY;2CAAZ,YAAY;gCAAZ,YAAY"}

package/src/import-lite.js

@@ -21,7 +21,6 @@
 
 /**
  * @import {
- *   CompartmentMapDescriptor,
  *   SyncImportLocationOptions,
  *   ImportNowHookMaker,
  *   ReadNowPowers,
@@ -31,6 +30,7 @@
  *   ReadFn,
  *   ReadPowers,
  *   SomeObject,
+ *   PackageCompartmentMapDescriptor,
  * } from './types.js'
  */
 
@@ -73,7 +73,7 @@ const isSyncOptions = value => {
 /**
  * @overload
  * @param {ReadNowPowers} readPowers
- * @param {CompartmentMapDescriptor} compartmentMap
+ * @param {PackageCompartmentMapDescriptor} compartmentMap
  * @param {SyncImportLocationOptions} [opts]
  * @returns {Promise<Application>}
  */
@@ -81,14 +81,14 @@ const isSyncOptions = value => {
 /**
  * @overload
  * @param {ReadFn | ReadPowers} readPowers
- * @param {CompartmentMapDescriptor} compartmentMap
+ * @param {PackageCompartmentMapDescriptor} compartmentMap
  * @param {ImportLocationOptions} [opts]
  * @returns {Promise<Application>}
  */
 
 /**
  * @param {ReadFn|ReadPowers|ReadNowPowers} readPowers
- * @param {CompartmentMapDescriptor} compartmentMap
+ * @param {PackageCompartmentMapDescriptor} compartmentMap
  * @param {ImportLocationOptions} [options]
  * @returns {Promise<Application>}
  */
@@ -98,6 +98,7 @@ export const loadFromMap = async (readPowers, compartmentMap, options = {}) => {
     searchSuffixes = undefined,
     parserForLanguage: parserForLanguageOption = {},
     Compartment: LoadCompartmentOption = Compartment,
+    moduleSourceHook,
   } = options;
 
   const parserForLanguage = freeze(
@@ -172,6 +173,7 @@ export const loadFromMap = async (readPowers, compartmentMap, options = {}) => {
         entryCompartmentName,
         entryModuleSpecifier,
         importHook: compartmentExitModuleImportHook,
+        moduleSourceHook,
       },
     );
 
@@ -195,6 +197,7 @@ export const loadFromMap = async (readPowers, compartmentMap, options = {}) => {
           compartmentDescriptors: compartmentMap.compartments,
           searchSuffixes,
           importNowHook: exitModuleImportNowHook,
+          moduleSourceHook,
         },
       );
       ({ compartment, pendingJobsPromise } = link(compartmentMap, {
@@ -235,7 +238,7 @@ export const loadFromMap = async (readPowers, compartmentMap, options = {}) => {
 
 /**
  * @param {ReadFn | ReadPowers} readPowers
- * @param {CompartmentMapDescriptor} compartmentMap
+ * @param {PackageCompartmentMapDescriptor} compartmentMap
  * @param {ImportLocationOptions} [options]
  * @returns {Promise<SomeObject>} the object of the imported modules exported
  * names.

package/src/import.d.ts

@@ -2,10 +2,10 @@
  * @overload
  * @param {ReadNowPowers} readPowers
  * @param {string} moduleLocation
- * @param {SyncArchiveOptions} options
+ * @param {SyncLoadLocationOptions} options
  * @returns {Promise<Application>}
  */
-export function loadLocation(readPowers: ReadNowPowers, moduleLocation: string, options: SyncArchiveOptions): Promise<Application>;
+export function loadLocation(readPowers: ReadNowPowers, moduleLocation: string, options: SyncLoadLocationOptions): Promise<Application>;
 /**
  * @overload
  * @param {ReadFn | ReadPowers} readPowers
@@ -37,7 +37,7 @@ export function importLocation(readPowers: ReadNowPowers, moduleLocation: string
  */
 export function importLocation(readPowers: ReadPowers | ReadFn, moduleLocation: string, options?: ImportLocationOptions | undefined): Promise<SomeObject>;
 import type { ReadNowPowers } from './types.js';
-import type { SyncArchiveOptions } from './types.js';
+import type { SyncLoadLocationOptions } from './types.js';
 import type { Application } from './types.js';
 import type { ReadFn } from './types.js';
 import type { ReadPowers } from './types.js';

package/src/import.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["import.js"],"names":[],"mappings":";;;;;;;AAmDG,yCACQ,aAAa,kBACb,MAAM,WACN,kBAAkB,GAChB,OAAO,CAAC,WAAW,CAAC,CAChC;;;;;;;;AAGE,yCACQ,MAAM,GAAG,UAAU,kBACnB,MAAM,8CAEJ,OAAO,CAAC,WAAW,CAAC,CAChC;;;;;;;;;;;AAuDE,2CACQ,aAAa,kBACb,MAAM,WACN,yBAAyB,GACvB,OAAO,CAAC,UAAU,CAAC,CAE/B;;;;;;;;;;;AAKE,2CACQ,UAAU,GAAC,MAAM,kBACjB,MAAM,gDAEJ,OAAO,CAAC,UAAU,CAAC,CAE/B;mCA7GS,YAAY;wCAAZ,YAAY;iCAAZ,YAAY;4BAAZ,YAAY;gCAAZ,YAAY;yCAAZ,YAAY;+CAAZ,YAAY;gCAAZ,YAAY;2CAAZ,YAAY"}
+{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["import.js"],"names":[],"mappings":";;;;;;;AAkDG,yCACQ,aAAa,kBACb,MAAM,WACN,uBAAuB,GACrB,OAAO,CAAC,WAAW,CAAC,CAChC;;;;;;;;AAGE,yCACQ,MAAM,GAAG,UAAU,kBACnB,MAAM,8CAEJ,OAAO,CAAC,WAAW,CAAC,CAChC;;;;;;;;;;;AAkEE,2CACQ,aAAa,kBACb,MAAM,WACN,yBAAyB,GACvB,OAAO,CAAC,UAAU,CAAC,CAE/B;;;;;;;;;;;AAKE,2CACQ,UAAU,GAAC,MAAM,kBACjB,MAAM,gDAEJ,OAAO,CAAC,UAAU,CAAC,CAE/B;mCAxHS,YAAY;6CAAZ,YAAY;iCAAZ,YAAY;4BAAZ,YAAY;gCAAZ,YAAY;yCAAZ,YAAY;+CAAZ,YAAY;gCAAZ,YAAY;2CAAZ,YAAY"}

package/src/import.js

@@ -18,26 +18,25 @@
  *   Application,
  *   SyncImportLocationOptions,
  *   ImportLocationOptions,
- *   SyncArchiveOptions,
  *   LoadLocationOptions,
  *   SomeObject,
  *   ReadNowPowers,
- *   ArchiveOptions,
  *   ReadFn,
  *   ReadPowers,
+ SyncLoadLocationOptions,
  * } from './types.js'
  */
 
+import { loadFromMap } from './import-lite.js';
 import { defaultParserForLanguage } from './import-parsers.js';
 import { mapNodeModules } from './node-modules.js';
-import { loadFromMap } from './import-lite.js';
 
 const { assign, create, freeze } = Object;
 
 /**
  * Add the default parserForLanguage option.
- * @param {ArchiveOptions} [options]
- * @returns {ArchiveOptions}
+ * @param {LoadLocationOptions} [options]
+ * @returns {LoadLocationOptions}
  */
 const assignParserForLanguage = (options = {}) => {
   const { parserForLanguage: parserForLanguageOption, ...rest } = options;
@@ -52,7 +51,7 @@ const assignParserForLanguage = (options = {}) => {
  * @overload
  * @param {ReadNowPowers} readPowers
  * @param {string} moduleLocation
- * @param {SyncArchiveOptions} options
+ * @param {SyncLoadLocationOptions} options
  * @returns {Promise<Application>}
  */
 
@@ -82,6 +81,7 @@ export const loadLocation = async (
     commonDependencies,
     policy,
     parserForLanguage,
+    log,
     languages,
     languageForExtension,
     commonjsLanguageForExtension,
@@ -89,6 +89,10 @@ export const loadLocation = async (
     workspaceLanguageForExtension,
     workspaceCommonjsLanguageForExtension,
     workspaceModuleLanguageForExtension,
+    unknownCanonicalNameHook,
+    packageDataHook,
+    packageDependenciesHook,
+    moduleSourceHook,
     ...otherOptions
   } = assignParserForLanguage(options);
   // conditions are not present in SyncArchiveOptions
@@ -107,9 +111,15 @@ export const loadLocation = async (
     workspaceCommonjsLanguageForExtension,
     workspaceModuleLanguageForExtension,
     languages,
+    log,
+    unknownCanonicalNameHook,
+    packageDataHook,
+    packageDependenciesHook,
   });
   return loadFromMap(readPowers, compartmentMap, {
     parserForLanguage,
+    log,
+    moduleSourceHook,
     ...otherOptions,
   });
 };

package/src/infer-exports.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"infer-exports.d.ts","sourceRoot":"","sources":["infer-exports.js"],"names":[],"mappings":"AA4HO,+DAPI,iBAAiB,cACjB,GAAG,CAAC,MAAM,CAAC,SAEX,oBAAoB,kCA2B9B;AAkBM,yCAPI,iBAAiB,cACjB,GAAG,CAAC,MAAM,CAAC,SAEX,oBAAoB,GAElB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAG8B;AAU1D,mDANI,iBAAiB,mBACjB,IAAI,CAAC,iBAAiB,CAAC,mBACvB,IAAI,CAAC,iBAAiB,CAAC,cACvB,GAAG,CAAC,MAAM,CAAC,SACX,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,QA6ChC;uCAhNyD,YAAY;0CAAZ,YAAY;0BAC/C,yBAAyB"}
+{"version":3,"file":"infer-exports.d.ts","sourceRoot":"","sources":["infer-exports.js"],"names":[],"mappings":"AAsIO,+DAPI,iBAAiB,cACjB,GAAG,CAAC,MAAM,CAAC,SAEX,oBAAoB,kCA2B9B;AAkBM,yCAPI,iBAAiB,cACjB,GAAG,CAAC,MAAM,CAAC,SAEX,oBAAoB,GAElB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAG8B;AAU1D,mDANI,iBAAiB,mBACjB,IAAI,CAAC,iBAAiB,CAAC,mBACvB,IAAI,CAAC,iBAAiB,CAAC,cACvB,GAAG,CAAC,MAAM,CAAC,SACX,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,QA6ChC;uCA1NyD,YAAY;0CAAZ,YAAY;0BAC/C,yBAAyB"}

package/src/infer-exports.js

@@ -63,13 +63,15 @@ function* interpretBrowserField(name, browser, main = 'index.js') {
  * @param {object} exports - the `exports` field from a package.json.
  * @param {Set<string>} conditions - build conditions about the target environment
  * for selecting relevant exports, e.g., "browser" or "node".
+ * @param {LanguageForExtension} types - an object to populate
+ * with any recognized module's type, if implied by a tag.
  * @yields {[string, string]}
  * @returns {Generator<[string, string]>}
  */
-function* interpretExports(name, exports, conditions) {
+function* interpretExports(name, exports, conditions, types) {
   if (isArray(exports)) {
     for (const section of exports) {
-      const results = [...interpretExports(name, section, conditions)];
+      const results = [...interpretExports(name, section, conditions, types)];
       if (results.length > 0) {
         yield* results;
         break;
@@ -93,12 +95,20 @@ function* interpretExports(name, exports, conditions) {
       continue; // or no-op
     } else if (key.startsWith('./') || key === '.') {
       if (name === '.') {
-        yield* interpretExports(key, value, conditions);
+        yield* interpretExports(key, value, conditions, types);
       } else {
-        yield* interpretExports(join(name, key), value, conditions);
+        yield* interpretExports(join(name, key), value, conditions, types);
       }
     } else if (conditions.has(key)) {
-      yield* interpretExports(name, value, conditions);
+      if (types && key === 'import' && typeof value === 'string') {
+        // In this one case, the key "import" has carried a hint that the
+        // referenced module is an ECMASCript module, and that hint may be
+        // necessary to override whatever type might be inferred from the module
+        // specifier extension.
+        const spec = relativize(value);
+        types[spec] = 'mjs';
+      }
+      yield* interpretExports(name, value, conditions, types);
       // Take only the first matching tag.
       break;
     }
@@ -141,7 +151,7 @@ export const inferExportsEntries = function* inferExportsEntries(
     yield ['.', relativize(main)];
   }
   if (exports !== undefined) {
-    yield* interpretExports('.', exports, conditions);
+    yield* interpretExports('.', exports, conditions, types);
   }
   // TODO Otherwise, glob 'files' for all '.js', '.cjs', and '.mjs' entry
   // modules, taking care to exclude node_modules.