macro-stepper: disable taint display until correct

Merge to release branch
2011-07-15 12:54:09 -06:00 · 2011-07-15 12:54:09 -06:00 · 91a2e283a6
commit 91a2e283a6
parent bf4a8ad5c4
1 changed files with 2 additions and 1 deletions
--- a/collects/macro-debugger/syntax-browser/properties.rkt
+++ b/collects/macro-debugger/syntax-browser/properties.rkt
@ -203,7 +203,8 @@
      (display-extra-source-info stx)
      (display-symbol-property-info stx)
      (display-marks stx)
-      (display-taint stx))
+      ;; Disable until correct:
+      (when #f (display-taint stx)))

    ;; display-source-info : syntax -> void
    (define/private (display-source-info stx)