Fix port interleaving.

2015-11-05 14:15:27 -06:00 · 2015-11-05 14:15:27 -06:00 · ef80d61ae9
commit ef80d61ae9
parent 16a18d7648
1 changed files with 5 additions and 4 deletions
--- a/typed-racket-test/historical-counterexamples.rkt
+++ b/typed-racket-test/historical-counterexamples.rkt
@ -1795,7 +1795,8 @@

    ))

-(for ([c counterexamples])
-  (unless (check-all-reals c)
-    (displayln c (current-error-port))
-    (newline (current-error-port))))
+(parameterize ([current-output-port (current-error-port)])
+  (for ([c counterexamples])
+    (unless (check-all-reals c)
+      (displayln c)
+      (newline))))