redex: adjust the way metafunction tracing is printed so you

don't see (list 'lambda (list 'x) 'x) but instead (lambda (x) x)
2012-01-04 14:54:26 -06:00 · 2012-01-04 14:54:26 -06:00 · ddecad0575
commit ddecad0575
parent 86579b4f15
1 changed files with 2 additions and 1 deletions
--- a/collects/redex/private/reduction-semantics.rkt
+++ b/collects/redex/private/reduction-semantics.rkt
@ -2267,7 +2267,8 @@
                                                     [current-trace-print-results
                                                      (λ (name results level)
                                                        (display " ")
-                                                        (otr name results level))])
+                                                        (otr name results level))]
+                                                     [print-as-expression #f])
                                        (trace-call name metafunc exp))
                                      (metafunc exp)))])
        traced-metafunc))