Don't print #i prefix in Stepper for DMdA languages.

svn: r15999
2009-09-14 12:05:05 +00:00 · 2009-09-14 12:05:05 +00:00 · e6400281f1
commit e6400281f1
parent 99ca280548
1 changed files with 1 additions and 0 deletions
--- a/collects/deinprogramm/deinprogramm-langs.ss
+++ b/collects/deinprogramm/deinprogramm-langs.ss
@ -1086,6 +1086,7 @@
            (class* % (stepper-language<%>)
              (init-field stepper:supported)
              (define/override (stepper:supported?) stepper:supported)
+              (define/override (stepper:show-inexactness?) #f)
              (define/override (stepper:render-to-sexp val settings language-level)
                (parameterize ([pc:current-print-convert-hook (make-print-convert-hook settings)])
                  (set-print-settings