Updates to macro stepper:

Handle errors in BindSyntax
  Fixed lift-deriv hiding typo
  Removed same-marks from partitions
  When stepper autodisables hiding, update panel
  Refactored stepper update function
  Fixed internal error handling

svn: r4851

original commit: 97d27f5e08c358ab8b905d8bf959a124f476f643

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

@@ -466,11 +466,12 @@
 
       ;; BindSyntaxes Answer = Derivation
       (BindSyntaxes
-       [(phase-up (? EE/LetLifts) Eval) $2])
+       [(phase-up (? EE/LetLifts) ! Eval) $2])
       
       ;; NextBindSyntaxess Answer = (list-of Derivation)
       (NextBindSyntaxess
        (#:skipped null)
+       (#:no-wrap)
        [() null]
        [(next (? BindSyntaxes 'first) (? NextBindSyntaxess 'rest)) (cons $2 $3)])
       

collects/macro-debugger/model/reductions.ss

@@ -6,6 +6,7 @@
            "context.ss"
            "deriv.ss"
            "reductions-engine.ss")
+
   (provide reductions)
 
   ;; Setup for reduction-engines
@@ -266,7 +267,9 @@
 
       ;; Skipped
       
-      [#f null]))
+      [#f null]
+      
+      #;[else (error 'reductions "unmatched case: ~s" d)]))
 
   ;; reductions-transformation : Transformation -> ReductionSequence
   (define (reductions-transformation tx)

collects/macro-debugger/syntax-browser/partition.ss

@@ -150,7 +150,6 @@
     (make-parameter
      `(("<nothing>" . #f)
        ("bound-identifier=?"  . ,bound-identifier=?)
-       ("same marks" . ,id:same-marks?)
        ("module-identifier=?" . ,module-identifier=?)
        ("module-or-top-identifier=?" . ,module-or-top-identifier=?)
        ("symbolic-identifier=?" . ,symbolic-identifier=?)

collects/macro-debugger/view/hiding-panel.ss

@@ -100,6 +100,7 @@
       ;; enable-hiding : boolean -> void
       ;; Called only by stepper, which does it's own refresh
       (define/public (enable-hiding ok?)
+        (send enable-ctl set-value ok?)
         (set! enabled? ok?))
       
       ;; get-enabled?