suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Clarify docs of dynamic-require on syntax bindings

Browse Source
This commit is contained in:
Asumu Takikawa 2015-02-11 15:26:58 -05:00 committed by Matthew Flatt
parent 3a123ca85c
commit e63fbfde7a
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/racket-doc/scribblings/reference/module-reflect.scrbl
View File

@ -455,7 +455,7 @@ Return @racket[#t] if @racket[compiled-module-code] represents a
module-path-index?)]
[provided (or/c symbol? #f 0 void?)]
[fail-thunk (-> any) (lambda () ....)])
any]{
(or/c void? any/c)]{
Dynamically @tech{instantiates} the module specified by @racket[mod]
in the current namespace's registry at the namespace's @tech{base
@ -472,11 +472,14 @@ above the @tech{base phase}.
When @racket[provided] is a symbol, the value of the module's export
with the given name is returned, and still the module is not
@tech{visit}ed or made @tech{available} in higher phases. If the
module exports @racket[provided] as syntax, then a use of the binding
@tech{visit}ed or made @tech{available} in higher phases.
If the module exports @racket[provided] 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 @tech{visit}ed in the fresh
namespace. If the module has no such exported variable or syntax, then
namespace. The expanded syntax must return a single value.
If the module has no such exported variable or syntax, then
@racket[fail-thunk] is called; the default @racket[fail-thunk] raises
@racket[exn:fail:contract]. If the variable named by @racket[provided]
is exported protected (see @secref["modprotect"]), then the