macro-stepper: disable taint display until correct

Merge to release branch (cherry picked from commit 91a2e283a6)
2011-07-15 12:54:09 -06:00 · 2011-07-15 12:54:09 -06:00 · a0ccf20b30
commit a0ccf20b30
parent fecc46f97d
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)