don't match plain-module-begin in module, since its phase is potentially different

svn: r11580
This commit is contained in:
Matthew Flatt 2008-09-09 00:16:03 +00:00
parent 81d31e973e
commit b6b0d96bb8

View File

@ -162,10 +162,10 @@
(define (top-level-annotate stx)
(kernel:kernel-syntax-case/phase
stx (namespace-base-phase)
[(module identifier name (#%plain-module-begin . module-level-exprs))
[(module identifier name (plain-module-begin . module-level-exprs))
(with-syntax ([(module . _) stx])
(quasisyntax/loc stx (module identifier name
(#%plain-module-begin
(plain-module-begin
#,@(map (lambda (e) (module-level-expr-iterator
e (list (syntax-e #'identifier)
(syntax-source #'identifier))))