svn: r13813

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

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)

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)