From 026553c6f7ba633cc1861049f060f67c2423ff0c Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Thu, 29 Apr 2010 19:27:41 -0500 Subject: [PATCH] Fixes more failing Redex tests --- collects/redex/tests/rg-test.rkt | 2 +- collects/redex/tests/tl-test.rkt | 10 ++++++---- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/collects/redex/tests/rg-test.rkt b/collects/redex/tests/rg-test.rkt index 93285bb1e1..82321396c7 100644 --- a/collects/redex/tests/rg-test.rkt +++ b/collects/redex/tests/rg-test.rkt @@ -339,7 +339,7 @@ (test (generate-term lang b 5) 43) (test (generate-term lang (side-condition a (odd? (term a))) 5) 43) (test (raised-exn-msg exn:fail:redex:generation-failure? (generate-term lang c 5)) - #px"unable to generate pattern \\(side-condition a\\_1 #\\)") + #px"unable to generate pattern \\(side-condition a\\_1 #\\)") (test (let/ec k (generate-term lang (number_1 (side-condition 7 (k (term number_1)))) 5)) 'number_1) diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt index a9d31f92c8..93b73985b2 100644 --- a/collects/redex/tests/tl-test.rkt +++ b/collects/redex/tests/tl-test.rkt @@ -644,15 +644,17 @@ (let ([sp (open-output-string)]) (parameterize ([current-output-port sp] - [current-traced-metafunctions 'all]) + [current-traced-metafunctions 'all] + [print-as-quasiquote #f]) (term (f 1))) - (test (get-output-string sp) ">`(f 1)\n<0\n")) + (test (get-output-string sp) ">(f 1)\n<0\n")) (let ([sp (open-output-string)]) (parameterize ([current-output-port sp] - [current-traced-metafunctions '(f)]) + [current-traced-metafunctions '(f)] + [print-as-quasiquote #f]) (term (f 1))) - (test (get-output-string sp) ">`(f 1)\n<0\n"))) + (test (get-output-string sp) ">(f 1)\n<0\n"))) (let () (define-language var-lang [(x y z w) variable])