drracket: run `main' submodule

2012-03-08 14:44:22 -07:00 · 2012-03-08 14:44:22 -07:00 · 72ec4070bd
commit 72ec4070bd
parent 3a1e8803ff
1 changed files with 3 additions and 1 deletions
--- 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)