From 3a8cfed33b2b0d9e7a3b599ee640e293fa443fbb Mon Sep 17 00:00:00 2001 From: John Clements Date: Mon, 16 Oct 2006 23:02:57 +0000 Subject: [PATCH] bug fixes for annotate/not-top-level svn: r4615 --- collects/stepper/private/annotate.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/stepper/private/annotate.ss b/collects/stepper/private/annotate.ss index cbffe69163..382ebb0d11 100644 --- a/collects/stepper/private/annotate.ss +++ b/collects/stepper/private/annotate.ss @@ -1145,7 +1145,9 @@ (annotate/top-level main-exp)])]) #;(printf "annotated: \n~a\n" (syntax-object->datum annotated-exp)) annotated-exp) - (annotate/inner main-exp 'all #f #f))) + (let*-2vals ([(annotated dont-care) + (annotate/inner (top-level-rewrite main-exp) 'all #f #f)]) + annotated))) ;; !@#$ defs have to appear after annotate/master. (define annotate (annotate/master #t))