From 9bcb86eb0c1d7cf5146356efc30e103948106d11 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 29 Dec 2011 10:15:52 -0600
Subject: [PATCH] redex: minor cleanup

---
 collects/redex/private/matcher.rkt |  2 ++
 collects/redex/private/rg.rkt      | 16 ++++++----------
 2 files changed, 8 insertions(+), 10 deletions(-)

diff --git a/collects/redex/private/matcher.rkt b/collects/redex/private/matcher.rkt
index 5c394534db..243c4670d2 100644
--- a/collects/redex/private/matcher.rkt
+++ b/collects/redex/private/matcher.rkt
@@ -16,6 +16,8 @@
 ;;    there are no names underneath an ellipsis),
 ;;    pre-allocate the space to store the result (in a vector)
 
+;; -- inline lookup-binding
+
 #|
 
 Note: the patterns described in the documentation are
diff --git a/collects/redex/private/rg.rkt b/collects/redex/private/rg.rkt
index d4940556b3..c5aef99412 100644
--- a/collects/redex/private/rg.rkt
+++ b/collects/redex/private/rg.rkt
@@ -840,13 +840,12 @@
 (define-syntax (redex-check stx)
   (syntax-case stx ()
     [(form lang pat property . kw-args)
-     (let-values ([(pattern names names/ellipses) 
-                   (with-syntax ([(pattern names names/ellipses)
-                                  (rewrite-side-conditions/check-errs 
-                                   (language-id-nts #'lang 'redex-check)
-                                   'redex-check #t #'pat)])
-                     (values #'pattern #'names #'names/ellipses))]
-                  [(attempts-stx source-stx retries-stx print?-stx size-stx fix-stx)
+     (with-syntax ([(pattern (name ...) (name/ellipses ...))
+                    (rewrite-side-conditions/check-errs 
+                     (language-id-nts #'lang 'redex-check)
+                     'redex-check #t #'pat)]
+                   [show (show-message stx)])
+     (let-values ([(attempts-stx source-stx retries-stx print?-stx size-stx fix-stx)
                    (apply values
                           (parse-kw-args (list attempts-keyword
                                                source-keyword
@@ -857,9 +856,6 @@
                                          (syntax kw-args)
                                          stx
                                          (syntax-e #'form)))])
-       (with-syntax ([(name ...) names]
-                     [(name/ellipses ...) names/ellipses]
-                     [show (show-message stx)])
          (with-syntax ([property (syntax
                                   (bind-prop
                                    (λ (bindings)