From 72ec4070bdc4cb2b484d49dfc552aab3950bab3b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 8 Mar 2012 14:44:22 -0700 Subject: [PATCH] drracket: run `main' submodule --- collects/drracket/private/module-language.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/drracket/private/module-language.rkt b/collects/drracket/private/module-language.rkt index 9641f6b1a1..98e91873ec 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -374,7 +374,9 @@ (λ () (with-stack-checkpoint (begin (*do-module-specified-configuration) - (namespace-require modspec)))))) + (namespace-require modspec) + (when (module-declared? `(submod ,modspec main) #t) + (dynamic-require `(submod ,modspec main) #f))))))) (current-namespace (module->namespace modspec)) (check-interactive-language)) (define (*do-module-specified-configuration)