Fixes Redex stepper's handling of symbols quoted with ||

2011-05-04 10:34:01 -05:00 · 2011-05-04 10:34:01 -05:00 · 4b03ddccb1
commit 4b03ddccb1
parent 3187cac716
2 changed files with 4 additions and 1 deletions
--- a/collects/redex/private/size-snip.rkt
+++ b/collects/redex/private/size-snip.rkt
@ -46,7 +46,7 @@
     (display "hole" op)]
    [(eq? val 'hole) 
     (display ",'hole" op)]
-    [else (display val op)]))
+    [else (write val op)]))

 (define reflowing-snip<%>
  (interface ()
--- a/collects/redex/tests/stepper-test.rkt
+++ b/collects/redex/tests/stepper-test.rkt
@ -42,4 +42,7 @@
      (cons (list (cons 15 16))
            (list (cons 15 20))))

+(test (diff (term |a'|) (term b))
+      (cons (list (cons 0 4)) (list (cons 0 1))))
+
 (print-tests-passed 'stepper-test.ss)