From 24436e24ae29dfd16fbb18844a597437069bcaaf Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 1 Jun 2013 14:44:24 -0500 Subject: [PATCH] find the ryr-test failure and make a small example; also make the ryr test print the entire url when it runs --- collects/redex/tests/ryr-test.rkt | 6 +++--- collects/redex/tests/tl-test.rkt | 6 ++++++ 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/collects/redex/tests/ryr-test.rkt b/collects/redex/tests/ryr-test.rkt index 0783d27842..42573786c4 100644 --- a/collects/redex/tests/ryr-test.rkt +++ b/collects/redex/tests/ryr-test.rkt @@ -7,12 +7,12 @@ (define tmp-dir (make-temporary-file "ryr-test-~a" 'directory)) (current-directory tmp-dir) - -(printf "downloading models.tar.gz to ~a\n" tmp-dir) +(define models-url "http://www.eecs.northwestern.edu/~robby/lightweight-metatheory/models.tar.gz") +(printf "downloading ~a\n to ~a\n" models-url tmp-dir) (call-with-output-file "models.tar.gz" (λ (out-port) (call/input-url - (string->url "http://www.eecs.northwestern.edu/~robby/lightweight-metatheory/models.tar.gz") + (string->url models-url) get-pure-port (λ (in-port) (copy-port in-port out-port))))) diff --git a/collects/redex/tests/tl-test.rkt b/collects/redex/tests/tl-test.rkt index 06e33b99f9..66736c48f5 100644 --- a/collects/redex/tests/tl-test.rkt +++ b/collects/redex/tests/tl-test.rkt @@ -133,6 +133,12 @@ (test (pair? (redex-match lang l (term x))) #t)) + (let () + (define-language L + [Cv (name n variable-not-otherwise-mentioned)]) + (test (redex-match L Cv ()) #f) + (test (pair? (redex-match L Cv x)) #f)) + (let () (define-language lang ((x y) 1 2 3))