From ddecad0575c41d38a5ba95a10c3e56df27b0191e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 4 Jan 2012 14:54:26 -0600 Subject: [PATCH] redex: adjust the way metafunction tracing is printed so you don't see (list 'lambda (list 'x) 'x) but instead (lambda (x) x) --- collects/redex/private/reduction-semantics.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/redex/private/reduction-semantics.rkt b/collects/redex/private/reduction-semantics.rkt index 9dad7e3627..a5dcfff531 100644 --- 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))