diff --git a/whalesong/parameters.rkt b/whalesong/parameters.rkt index 8df577d..e607941 100644 --- a/whalesong/parameters.rkt +++ b/whalesong/parameters.rkt @@ -88,7 +88,7 @@ (: current-report-port (Parameterof Output-Port)) -(define current-report-port (make-parameter (current-output-port))) +(define current-report-port (make-parameter (current-error-port))) (: current-timing-port (Parameterof Output-Port)) diff --git a/whalesong/whalesong-cmd.rkt b/whalesong/whalesong-cmd.rkt index 623142b..fb1cde3 100644 --- a/whalesong/whalesong-cmd.rkt +++ b/whalesong/whalesong-cmd.rkt @@ -200,7 +200,7 @@ (current-verbose? #t)] [("--debug-show-timings") ("Display debug messages about compilation time.") - (current-timing-port (current-output-port))] + (current-timing-port (current-error-port))] [("--enable-profiling") ("Enable profiling to standard output") (with-profiling? #t)]