create namespace for expansion of require'd modules (to fix multi-file debugging problem)

svn: r10277
This commit is contained in:
Greg Cooper 2008-06-15 21:45:40 +00:00
parent 7fbb4dab2a
commit db2624b9e3

View File

@ -2,6 +2,7 @@
(require syntax/moddep
mzlib/class
scheme/private/namespace
mred)
(provide eval/annotations
@ -51,7 +52,8 @@
(unless m (raise 'module-name-not-passed-to-load-module/annotate))
(with-module-reading-parameterization
(lambda ()
(let* ([first (expand (read-syntax src in-port))]
(let* ([first (parameterize ([current-namespace (make-base-namespace)])
(expand (read-syntax src in-port)))]
[module-ized-exp (annotator (check-module-form first m fn))]
[second (read in-port)])
(unless (eof-object? second)