macro-debugger:

fixed PR 10000 (case of eval during expansion in module/pass1)
  fixed display of multiple terms in stepper

svn: r12993

original commit: 056e8a6bb145cf5f3bf5022012fffb35ff117d95

collects/macro-debugger/model/deriv-parser.ss

@@ -191,8 +191,8 @@
 
     (NotReallyLocalAction
      ;; called 'expand' (not 'local-expand') within transformer
-     [(start (? EE))
-      #f])
+     [(start (? EE)) #f]
+     [(start (? CheckImmediateMacro)) #f])
 
     (Prim
      (#:args e1 e2 rs)

collects/macro-debugger/view/step-display.ss

@@ -107,13 +107,13 @@
              (show-poststep step binders shift-table)]))
 
     (define/public (add-syntax stx
-                               #:binders binders
+                               #:binders [binders #f]
                                #:shift-table [shift-table #f]
-                               #:definites definites)
+                               #:definites [definites null])
       (send sbview add-syntax stx
             #:binder-table binders
             #:shift-table shift-table
-            #:definites (or definites null)))
+            #:definites definites))
 
     (define/public (add-final stx error
                               #:binders binders
@@ -124,7 +124,7 @@
         (send sbview add-syntax stx
               #:binder-table binders
               #:shift-table shift-table
-              #:definites (or definites null)))
+              #:definites definites))
       (when error
         (add-error error)))
 

collects/macro-debugger/view/term-record.ss

@@ -274,7 +274,7 @@
 
     ;; display-initial-term : -> void
     (define/public (display-initial-term)
-      (send displayer add-syntax (wderiv-e1 deriv) #f null))
+      (send displayer add-syntax (wderiv-e1 deriv)))
 
     ;; display-final-term : -> void
     (define/public (display-final-term)