macro-stepper: disable taint display until correct

Merge to release branch original commit: 91a2e283a672453b462e3c88444cf53691c3ba8e
2011-07-15 12:54:09 -06:00 · 2011-07-15 12:54:09 -06:00 · 15ad6d8edb
commit 15ad6d8edb
parent 90ee93152c
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)