remove obsolete reference to '#%mred-kernel

(cherry picked from commit 1c4722eaee)
This commit is contained in:
Matthew Flatt 2011-07-14 21:13:47 -06:00 committed by Eli Barzilay
parent c4ca803955
commit e1dbfe67e3
2 changed files with 3 additions and 12 deletions

View File

@ -44,8 +44,7 @@ On start-up, the top-level environment contains no bindings---not even
that start with @racketidfont{#%} are defined, but they are not meant
for direct use, and the set of such modules can change. For example,
the @indexed-racket['#%kernel] module is eventually used to bootstrap
the implemetation of @racketmodname[racket/base], and
@racket['#%mred-kernel] is used for @racketmodname[racket/gui/base].
the implemetation of @racketmodname[racket/base].
The first action of Racket or GRacket is to initialize
@racket[current-library-collection-paths] to the result of

View File

@ -3403,18 +3403,10 @@ static Scheme_Module *module_load(Scheme_Object *name, Scheme_Env *env, const ch
m = (Scheme_Module *)scheme_hash_get(env->module_registry->loaded, name);
if (!m) {
char *mred_note;
if (!strcmp(SCHEME_SYM_VAL(SCHEME_PTR_VAL(name)), "#%mred-kernel")
&& !(scheme_strncmp(scheme_banner(), "Welcome to Racket", 17)))
mred_note = "; need to run in gracket instead of racket";
else
mred_note = "";
scheme_raise_exn(MZEXN_FAIL_CONTRACT,
"%s: unknown module: %D%s",
"%s: unknown module: %D",
who ? who : "require",
name, mred_note);
name);
return NULL;
}
}