suzanne.soy/whalesong
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #47 from lexi-lambda/report-to-stderr

Browse Source 
Set the reporting port to the error port by default
This commit is contained in:
Jens Axel Søgaard 2015-11-08 22:26:18 +01:00
commit d021789cdf
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
whalesong/parameters.rkt
View File

@ -88,7 +88,7 @@
(: current-report-port (Parameterof Output-Port)) (: 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)) (: current-timing-port (Parameterof Output-Port))

2
whalesong/whalesong-cmd.rkt
View File

@ -200,7 +200,7 @@
(current-verbose? #t)] (current-verbose? #t)]
[("--debug-show-timings") [("--debug-show-timings")
("Display debug messages about compilation time.") ("Display debug messages about compilation time.")
(current-timing-port (current-output-port))] (current-timing-port (current-error-port))]
[("--enable-profiling") [("--enable-profiling")
("Enable profiling to standard output") ("Enable profiling to standard output")
(with-profiling? #t)] (with-profiling? #t)]