From b6b0d96bb852b7b697e974951c8e54e7ddf1ecde Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 9 Sep 2008 00:16:03 +0000 Subject: [PATCH] don't match plain-module-begin in module, since its phase is potentially different svn: r11580 --- collects/gui-debugger/annotator.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/gui-debugger/annotator.ss b/collects/gui-debugger/annotator.ss index 44c077abcd..3ea9702793 100644 --- a/collects/gui-debugger/annotator.ss +++ b/collects/gui-debugger/annotator.ss @@ -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))))