typo: redeclaration

This commit is contained in:
Ben Greenman 2016-10-06 08:57:05 -04:00
parent 1dd934c8cb
commit 684dd2d1cb

View File

@ -799,7 +799,7 @@ of the module is immediately @tech{instantiate}d in that
If the current @tech{inspector} does not manage a module's declaration If the current @tech{inspector} does not manage a module's declaration
inspector (see @secref["modprotect"]), then the module cannot be inspector (see @secref["modprotect"]), then the module cannot be
redeclared. Similarly, a @tech{cross-phase persistent} module cannot be redeclared. redeclared. Similarly, a @tech{cross-phase persistent} module cannot be redeclared.
Even if redeclrection succeeds, instantiation of a module that is Even if redeclaration succeeds, instantiation of a module that is
previously instantiated may fail if instantiation for the previously instantiated may fail if instantiation for the
redeclaration attempts to modify variables that are constant (see redeclaration attempts to modify variables that are constant (see
@racket[compile-enforce-module-constants]). @racket[compile-enforce-module-constants]).