From 414e3b796ece9c01c26eb115325254c3a2641bc0 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 24 Feb 2009 16:17:11 +0000
Subject: [PATCH] svn: r13813

---
 collects/redex/private/lw-test.ss             |  3 +--
 collects/redex/private/reduction-semantics.ss |  2 +-
 collects/redex/private/run-tests.ss           | 13 ++++++++++++-
 3 files changed, 14 insertions(+), 4 deletions(-)

diff --git a/collects/redex/private/lw-test.ss b/collects/redex/private/lw-test.ss
index 2ad176bb96..109b17c9a5 100644
--- a/collects/redex/private/lw-test.ss
+++ b/collects/redex/private/lw-test.ss
@@ -216,8 +216,7 @@
            (list 
             (make-lw "" 0 0 1 0 #t #f) 
             'spring
-            (make-lw 'x 0 0 7 1 #f #f)
-            'spring)
+            (make-lw 'x 0 0 7 1 #f #f))
            0 0 1 7 #t #f))
          0 0 0 8 #f #f))
 
diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss
index 277b4ecc1c..a3a78bb33d 100644
--- a/collects/redex/private/reduction-semantics.ss
+++ b/collects/redex/private/reduction-semantics.ss
@@ -1145,7 +1145,7 @@
                                   (cons (reverse side-conditions) side-conditionss)
                                   (cons (reverse bindings) bindingss))]
              [else 
-              (syntax-case (car stuff) (side-condition)
+              (syntax-case (car stuff) (where side-condition)
                 [(side-condition tl-side-conds ...) 
                  (s-loop (cdr stuff)
                          (append (syntax->list #'(tl-side-conds ...)) side-conditions)
diff --git a/collects/redex/private/run-tests.ss b/collects/redex/private/run-tests.ss
index 10dc8f5382..2fb8108de6 100644
--- a/collects/redex/private/run-tests.ss
+++ b/collects/redex/private/run-tests.ss
@@ -16,10 +16,21 @@
 
 (define-runtime-path here ".")
 
+(define (flush)
+  ;; these flushes are here for running under cygwin, 
+  ;; which somehow makes mzscheme think it isn't using
+  ;; an interative port
+  (flush-output (current-error-port))
+  (flush-output (current-output-port)))
+
 (for-each
  (λ (test-file)
+   (flush)
    (printf "requiring ~a\n" test-file)
-   (dynamic-require (build-path here test-file) #f))
+   (flush)
+   (dynamic-require (build-path here test-file) #f)
+   (flush))
  test-files)
 
 (printf "\nWARNING: didn't run color-test.ss or subst-test.ss\n")
+(flush)
\ No newline at end of file