From ef80d61ae930c43f27e7b7e7df287e59119a4cd3 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 5 Nov 2015 14:15:27 -0600 Subject: [PATCH] Fix port interleaving. --- typed-racket-test/historical-counterexamples.rkt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/typed-racket-test/historical-counterexamples.rkt b/typed-racket-test/historical-counterexamples.rkt index 3874678a..4c2b4c6b 100644 --- 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))))