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

@@ -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)))))

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))