fix docs on declared module name

svn: r9003
This commit is contained in:
Matthew Flatt 2008-03-17 14:09:53 +00:00
parent 968dbfea6c
commit ddc58d73f0

View File

@ -1170,15 +1170,15 @@ information} and source-location information attached to
@defform[(module id module-path form ...)]{ @defform[(module id module-path form ...)]{
Declares a module named by combining @scheme[(#,(scheme quote) id)] Declares a module. If the @scheme[current-module-declare-name]
with @scheme[(current-module-name-prefix)] if the latter is not parameter is set, the parameter value is used for the module name,
@scheme[#f], or named @scheme[(#,(scheme quote) id)] otherwise. otherwise @scheme[(#,(scheme quote) id)] is the name of the declared
module.
The @scheme[module-path] must be as for @scheme[require], and it The @scheme[module-path] must be as for @scheme[require], and it
supplies the initial bindings for the body @scheme[form]s. That is, it supplies the initial bindings for the body @scheme[form]s. That is, it
is treated like a @scheme[(require module-path)] prefix on is treated like a @scheme[(require module-path)] prefix before the
@scheme[form], where @scheme[require] is the primitive @scheme[form]s.
@scheme[require] form.
If a single @scheme[form] is provided, then it is partially expanded If a single @scheme[form] is provided, then it is partially expanded
in a @tech{module-begin context}. If the expansion leads to in a @tech{module-begin context}. If the expansion leads to