stepper: ignore submodules

This change keeps the stepper working with the `lazy' language, which
uses the `#%module-begin' from `racket', which in turn now adds a
`configure-runtime' submodule.
This commit is contained in:
Matthew Flatt 2013-05-07 11:42:37 -04:00
parent 376dd5f4aa
commit 1404970242

View File

@ -1043,7 +1043,8 @@
(skipto/auto exp 'rebuild annotate/module-top-level)]
[else
(syntax-case exp (#%app #%plain-app call-with-values define-values define-syntaxes
#%require #%provide begin #%plain-lambda lambda)
#%require #%provide begin #%plain-lambda lambda
module module*)
[(define-values (new-var ...) e)
(let* ([name-list (syntax->list #`(new-var ...))]
[defined-name (if (and (pair? name-list) (null? (cdr name-list)))
@ -1073,6 +1074,10 @@
exp]
[(#%provide specs ...)
exp]
[(module . _) ; submodule
exp]
[(module* . _) ; submodule
exp]
[(begin . bodies)
#`(begin #,@(map annotate/module-top-level (syntax->list #`bodies)))]
; STC: for lazy racket, need this case to catch and hide toplevel-forcer