From bfdb90e5cb7b2781bb3bc8765a66a314f9db6c29 Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Tue, 15 Jan 2008 06:21:54 +0000
Subject: [PATCH] stepper updates

svn: r8329
---
 collects/lang/htdp-langs.ss | 30 ++++++++++++++++++------------
 1 file changed, 18 insertions(+), 12 deletions(-)

diff --git a/collects/lang/htdp-langs.ss b/collects/lang/htdp-langs.ss
index e581f2d6dc..571e0cd1ca 100644
--- a/collects/lang/htdp-langs.ss
+++ b/collects/lang/htdp-langs.ss
@@ -33,8 +33,11 @@
            ;; and the user's namespace in the teaching languages
            "private/set-result.ss"
            
-           "stepper-language-interface.ss"
-           "debugger-language-interface.ss")
+           "stepper-language-interface.ss"           
+           "debugger-language-interface.ss"
+           
+           stepper/private/shared)
+  
   
   (provide tool@)
   
@@ -549,16 +552,19 @@
                                         ,@body-exps)))))))]
                   [(require) 
                    (set! state 'done-or-exn)
-                   (syntax
-                    (let ([done-already? #f])
-                      (dynamic-wind
-                       void
-                       (lambda () 
-                         (dynamic-require ''#%htdp #f))  ;; work around a bug in dynamic-require
-                       (lambda () 
-                         (unless done-already?
-                           (set! done-already? #t)
-                           (current-namespace (module->namespace ''#%htdp)))))))]
+                   (stepper-syntax-property
+                    (syntax
+                     (let ([done-already? #f])
+                       (dynamic-wind
+                        void
+                        (lambda () 
+                          (dynamic-require ''#%htdp #f))  ;; work around a bug in dynamic-require
+                        (lambda () 
+                          (unless done-already?
+                            (set! done-already? #t)
+                            (current-namespace (module->namespace ''#%htdp)))))))
+                    'stepper-skip-completely
+                    #t)]
                   [(done-or-exn)
                    (cond
                      [saved-exn