13.1 Namespaces
See Namespaces for basic information on the
namespace model.
A new namespace is created with procedures like
make-empty-namespace, and make-base-namespace, which
return a first-class namespace value. A namespace is used by setting
the current-namespace parameter value, or by providing the
namespace to procedures such as eval and
eval-syntax.
Returns #t if v is a namespace value, #f
otherwise.
This form can be used only in a top-level context or in a
module-context.
Returns #t if v is a namespace-anchor value,
#f otherwise.
Returns an empty namespace that shares a
module registry with
the source of the anchor, and whose
base phase the
phase in which the anchor was created.
If the anchor is from a define-namespace-anchor form in a
module context, then the source is the namespace in which the
containing module is instantiated. If the anchor is from a
define-namespace-anchor form in a top-level content, then the
source is the namespace in which the anchor definition was evaluated.
Returns a namespace corresponding to the source of the anchor.
If the anchor is from a define-namespace-anchor form in a
module context, then the result is a namespace for the module’s body
in the anchor’s phase. The result is the same as a namespace obtained
via module->namespace.
If the anchor is from a define-namespace-anchor form in a
top-level content, then the result is the namespace in which the
anchor definition was evaluated.
Similar to
datum->syntax restricted to symbols. The
lexical information of the resulting identifier corresponds to
the top-level environment of the current namespace; the identifier has
no source location or properties.
The lexical information of the identifier includes bindings (in
the same phase level) for all syntactic forms that appear in
fully expanded code (see Fully Expanded Programs), but using the
name reported by the second element of identifier-binding for
the binding; the lexical information may also include other
bindings.
Returns a value for
sym in
namespace, using
namespace’s
base phase. The returned value depends on
use-mapping?:
If use-mapping? is true (the default), and if
sym maps to a top-level variable or an imported variable
(see Namespaces), then the result is the same as
evaluating sym as an expression. If sym maps to
syntax or imported syntax, then failure-thunk is called or
the exn:fail:syntax exception is raised. If sym is mapped to an
undefined variable or an uninitialized module variable, then
failure-thunk is called of the
exn:fail:contract:variable exception is raised.
If use-mapping? is #f, the namespace’s
syntax and import mappings are ignored. Instead, the value of the
top-level variable named sym in namespace is returned. If
the variable is undefined, then failure-thunk is called or
the exn:fail:contract:variable exception is raised.
If failure-thunk is not #f,
namespace-variable-value calls failure-thunk to
produce the return value in place of raising an
exn:fail:contract:variable or exn:fail:syntax
exception.
Sets the value of
sym in the top-level environment of
namespace in the
base phase, defining
sym if
it is not already defined.
If map? is supplied as true, then the namespace’s
identifier mapping is also adjusted (see
Namespaces) in the phase level corresponding to
the base phase, so that sym maps to the variable.
Removes the
sym variable, if any, in the top-level
environment of
namespace in its
base phase. The
namespace’s
identifier mapping (see
Namespaces)
is unaffected.
Returns a list of all symbols that are mapped to variables, syntax,
and imports in
namespace for the
phase level
corresponding to the
namespace’s
base phase.
Performs the import corresponding to
quoted-raw-require-spec
in the top-level environment of the current namespace, like a
top-level
#%require. The
quoted-raw-require-spec
argument must be a datum that corresponds to a quoted
raw-require-spec for
#%require, which includes
module paths.
Module paths in quoted-raw-require-spec are resolved with respect
to current-load-relative-directory or
current-directory (if the former is #f), even if the
current namespace corresponds to a module body.
Like
namespace-require for syntax exported from the module,
but exported variables at the namespace’s
base phase are
treated differently: the export’s current value is copied to a
top-level variable in the current namespace.
Like
namespace-require, but for each exported variable at the
namespace’s
base phase, the export’s value is copied to
a corresponding top-level variable that is made immutable. Despite
setting the top-level variable, the corresponding identifier is bound
as imported.
Attaches the instantiated module named by
modname in
src-namespace (at its
base phase) to the
module
registry of
dest-namespace. If
modname is not a
symbol, the current module name resolver is called to resolve the
path, but no module is loaded; the resolved form of
modname
is used as the module name in
dest-namespace. In addition to
modname, every module that it imports (directly or
indirectly) is also recorded in the current namespace’s
module
registry, and instances at the same
phase or lower are also
attached to
dest-namespace (while
visits at the
module’s phase and instances at higher phases are not attached, nor
even made
available for on-demand
visits). The inspector
of the module invocation in
dest-namespace is the same as
inspector of the invocation in
src-namespace.
If modname does not refer to an instantiated module in
src-namespace, or if the name of any module to be attached
already has a different declaration or same-phase instance in
dest-namespace, then the exn:fail:contract exception is raised.
If src-namespace and dest-namespace do not have the
same base phase, then the exn:fail:contract exception is raised.
Like
namespace-attach-module, but the module
specified by
modname need only be declared (and not
necessarily
instantiated) in
src-namespace, and the
module is merely declared in
dest-namespace.
Changes the inspector for the instance of the module referenced by
modname in
namespace’s
module registry so
that it is controlled by the current code inspector. The given
inspector must currently control the invocation of the module
in
namespace’s
module registry, otherwise the
exn:fail:contract exception is raised. See also
Code Inspectors.
Returns the
module registry of the given namespace. This value
is useful only for identification via
eq?.
Returns a namespace that corresponds to the body of an instantiated
module in the current namespace’s
module registry and in the
current namespace’s
base phase, making the module at the
available for on-demand
visits at the namespace’s
base phase. The returned namespace has the same
module
registry as the current namespace. Modifying a binding in the
namespace changes the binding seen in modules that require the
namespace’s module.
Module paths in a top-level require expression are resolved
with respect to the namespace’s module. New provide
declarations are not allowed.
If the current code inspector does not control the invocation of the
module in the current namespace’s module registry, the
exn:fail:contract exception is raised; see also Code Inspectors.
Bindings in the namespace cannot be modified if the
compile-enforce-module-constants parameter was true when the
module was declared, unless the module declaration itself included
assignments to the binding via set!.
Returns #f if the module declaration for
module-path-index defines sym and exports it
unprotected, #t otherwise (which may mean that the symbol
corresponds to an unexported definition, a protected export, or an
identifier that is not defined at all within the module).
The module-path-index argument can be a symbol; see
Compiled Modules and References for more information on module path
indices.
Typically, the arguments to module-provide-protected?
correspond to the first two elements of a list produced by
identifier-binding.
Returns an empty namespace that shares module declarations and
instances with the namespace in which varref is instantiated,
and with the same phase as varref.
If varref refers to a top-level variable, then the
result is the namespace in which the referenced variable is defined.
If varref refers to a top-level variable, then the
result is #f.
If
varref refers to a
module-level variable, the
result is a path or symbol naming the module’s source (which is
typically, but not always, the same as in the resolved module path).
If varref refers to a top-level variable, then the
result is #f.
Returns the
phase of the variable referenced by
varref.