On this page:
13.4.1 Resolving Module Names
13.4.2 Compiled Modules and References
13.4.3 Dynamic Module Access
Version: 4.1

13.4 Module Names and Loading

13.4.1 Resolving Module Names

The name of a declared module is represented by a resolved module path, which encapsulates either a symbol or a complete filesystem path (see Paths). A symbol normally refers to a predefined module or module declared through reflective evaluation (e.g., eval). A filesystem path normally refers to a module declaration that was loaded on demand via require or other forms.

A module path is a datum that matches the grammar for module-path for require. A module path is relative to another module.

(resolved-module-path? v)  boolean?

  v : any/c

Returns #f if v is a resolved module path, #f otherwise.

(make-resolved-module-path path)  resolved-module-path?

  path : (or/c symbol? (and/c path? complete-path?))

Returns a resolved module path that encapsulates path. If path is not a symbol, it normally should be cleansed (see cleanse-path) and simplified (see simplify-path).

A resolved module path is interned. That is, if two resolved module path values encapsulate paths that are equal?, then the resolved module path values are eq?.

(resolved-module-path-name module-path)  path?

  module-path : resolved-module-path?

Returns the path encapsulated by a resolved module path.

(module-path? v)  boolean?

  v : any/c

Returns #t if v corresponds to a datum that matches the grammar for module-path for require, #f otherwise.






  . -> .


 ((or/c module-path? path?)

  (or/c false/c resolved-module-path?)

  (or/c false/c syntax?)


  . -> .


(current-module-name-resolver proc)  void?








  . -> .


 ((or/c module-path? path?)

  (or/c false/c resolved-module-path?)

  (or/c false/c syntax?)


  . -> .


A parameter that determines the current module name resolver, which manages the conversion from other kinds of module references to a symbol or resolved module path. For example, when the expander encounters (require module-path) where module-path is not an identifier, then the expander passes 'module-path to the module name resolver to obtain a symbol or resolved module path. When such a require appears within a module, the module path resolver is also given the name of the enclosing module, so that a relative reference can be converted to an absolute symbol or resolved module path.

A module name resolver takes one and four arguments:

For the second case, the standard module name resolver keeps a per-registry table of loaded module name. If a resolved module path is not in the table, and #f is not provided as the third argument to the module name resolver, then the name is put into the table and the corresponding file is loaded with a variant of load/use-compiled that passes the expected module name to the compiled-load handler.

While loading a file, the default module name resolver sets the current-module-declare-name parameter to the resolved module name. Also, the default module name resolver records in a private continuation mark the filename being loaded, and it checks whether such a mark already exists; if such a continuation mark does exist in the current continuation, then the exn:fail exception is raised with a message about a dependency cycle.

Module loading is suppressed (i.e., #f is supplied as a third argument to the module name resolver) when resolving module paths in syntax objects (see Syntax Objects). When a syntax object is manipulated, the current namespace might not match the original namespace for the syntax object, and the module should not necessarily be loaded in the current namespace.

The current module name resolver is called with a single argument by namespace-attach-module to notify the resolver that a module was attached to the current namespace (and should not be loaded in the future for the namespace’s registry). No other Scheme operation invokes the module name resolver with a single argument, but other tools (such as DrScheme) might call this resolver in this mode to avoid redundant module loads.


  (or/c resolved-module-path? false/c)

(current-module-declare-name name)  void?

  name : (or/c resolved-module-path? false/c)

A parameter that determines a module name that is used when evaluating a module declaration (when the parameter value is not #f). In that case, the id from the module declaration is ignored, and the parameter’s value is used as the name of the declared module.

13.4.2 Compiled Modules and References

While expanding a module declaration, the expander resolves module paths for imports to load module declarations as necessary and to determine imported bindings, but the compiled form of a module declaration preserves the original module path. Consequently, a compiled module can be moved to another filesystem, where the module name resolver can resolve inter-module references among compiled code.

When a module reference is extracted from compiled form (see module-compiled-imports) or from syntax objects in macro expansion (see Syntax Object Content), the module reference is reported in the form of a module path index. A module path index is a semi-interned (multiple references to the same relative module tend to use the same module path index value, but not always) opaque value that encodes a module path (see module-path?) and another module path index to which it is relative.

A module path index that uses both #f for its path and base module path index represents “self” – i.e., the module declaration that was the source of the module path index – and such a module path index is always used as the root for a chain of module path index. For example, when extracting information about an identifier’s binding within a module, if the identifier is bound by a definition within the same module, the identifier’s source module is reported using the “self” module path index. If the identifier is instead defined in a module that is imported via a module path (as opposed to a literal module name), then the identifier’s source module will be reported using a module path index that contains the required module path and the “self” module path index.

A module path index has state. When it is resolved to a resolved module path, then the resolved module path is stored with the module path index. In particular, when a module is loaded, its root module path index is resolved to match the module’s declaration-time name. This resolved path is forgotten, however, in identifiers that the module contributes to the compiled and marshaled form of other modules. The transient nature of resolved names allows the module code to be loaded with a different resolved name than the name when it was compiled.

(module-path-index? v)  boolean?

  v : any/c

Returns #t if v is a module path index, #f otherwise.

(module-path-index-resolve mpi)  resolved-module-path?

  mpi : module-path-index?

Returns a resolved module path for the resolved module name, computing the resolved name (and storing it in mpi) if it has not been computed before.

Resolving a module path index uses the current module name resolver (see current-module-name-resolver). Depending on the kind of module paths encapsulated by mpi, the computed resolved name can depend on the value of current-load-relative-directory or current-directory.

(module-path-index-split mpi)



(or/c module-path? false/c)

(or/c module-path-index? false/c)

  mpi : module-path-index?

Returns two values: a module path, and a base module path index or #f to which the module path is relative.

A #f second result means that the path is relative to an unspecified directory (i.e., its resolution depends on the value of current-load-relative-directory and/or current-directory).

A #f for the first result implies a #f for the second result, and means that mpi represents “self” (see above).

(module-path-index-join path mpi)  module-path-index?

  path : (or/c module-path? false/c)

  mpi : (or/c module-path-index? false/c)

Combines path and mpi to create a new module path index. The path argument can #f only if mpi is also false.

(compiled-module-expression? v)  boolean?

  v : any/c

Returns #t if v is a compiled module declaration, #f otherwise. See also current-compile.

(module-compiled-name compiled-module-code)  symbol?

  compiled-module-code : compiled-module-expression?

Takes a module declaration in compiled form and returns a symbol for the module’s declared name.

(module-compiled-imports compiled-module-code)



(listof (cons/c (or/c exact-integer? false/c)

                (listof module-path-index?)))

  compiled-module-code : compiled-module-expression?

Takes a module declaration in compiled form and returns an association list mapping phase level shifts (where #f corresponds to a shift into the label phase level) to module references for the module’s explicit imports.

(module-compiled-exports compiled-module-code)



(listof (cons/c (or/c exact-integer? false/c) list?))

(listof (cons/c (or/c exact-integer? false/c) list?))

  compiled-module-code : compiled-module-expression?

Returns two association lists mapping phase level values (where #f corresponds to the label phase level) to exports at the corresponding phase. The first association list is for exported variables, and the second is for exported syntax.

Each associated list more precisely matches the contract

  (listof (list/c symbol?


                   (or/c module-path-index?

                         (list/c module-path-index?

                                 (or/c exact-integer? false/c)


                                 (or/c exact-integer? false/c))))))

For each element of the list, the leading symbol is the name of the export.

The second part – the list of module path index values, etc. – describes the origin of the exported identifier. If the origin list is null, then the exported identifier is defined in the module. If the exported identifier is re-exported, instead, then the origin list provides information on the import that was re-exported. The origin list has more than one element if the binding was imported multiple times from (possibly) different sources.

For each origin, a module path index by itself means that the binding was imported with a phase level shift of 0 (i.e., a plain require without for-meta, for-syntax, etc.), and imported identifier has the same name as the re-exported name. An origin represented with a list indicates explicitly the import, the import phase level shift (where #f corresponds to a for-label import), the import name of the re-exported binding, and the phase level of the import.}

13.4.3 Dynamic Module Access

(dynamic-require mod provided)  any

  mod : module-path?

  provided : (or/c symbol? false/c void?)

Dynamically instantiates the module specified by mod for phase 0 in the current namespace’s registry, if it is not yet instantiated. If mod is not a symbol, the current module name resolver may load a module declaration to resolve it (see current-module-name-resolver); the path is resolved relative to current-load-relative-directory and/or current-directory.

If provided is #f, then the result is #<void>, and the module is not visited (see Module Phases and Visits). Otherwise, when provided is a symbol, the value of the module’s export with the given name is returned, and still the module is not visited. If the module exports provide as syntax, then a use of the binding is expanded and evaluated in a fresh namespace to which the module is attached, which means that the module is visited. If the module has no such exported variable or syntax, or if the variable is protected (see Code Inspectors), the exn:fail:contract exception is raised.

If provided is #<void>, then the module is visited but not instantiated (see Module Phases and Visits). The result is #<void>.

(dynamic-require-for-syntax mod provided)  any

  mod : module-path?

  provided : (or/c symbol? false/c)

Like dynamic-require, but in phase 1.