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

Simplify TR log processing and move part of it to Performance Report.

Browse Source 
More messages get logged, but if no-one is listening, doesn't matter.

original commit: e134e7cd388678273d9ec5dc092470a9ce0e7d5b
This commit is contained in:
Vincent St-Amour 2012-02-09 14:47:53 -05:00
parent 036338faf0
commit 8a8daca7b1
1 changed files with 1 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
collects/typed-racket/optimizer/logging.rkt
View File

@ -145,25 +145,6 @@
;;--------------------------------------------------------------------
;; Sort log according to source location. Returns the sorted log.
(define (sort-log)
(sort (remove-duplicates log-so-far)
(match-lambda*
[(list (log-entry kind-x msg-x stx-x loc-stx-x pos-x)
(log-entry kind-y msg-y stx-y loc-stx-y pos-y))
(cond [(not (or pos-x pos-y))
;; neither have location, sort by message
(string<? msg-x msg-y)]
[(not pos-y) #f]
[(not pos-x) #t]
[else
;; both have location
(cond [(= pos-x pos-y)
;; same location, sort by message
(string<? msg-x msg-y)]
;; sort by source location
[else (< pos-x pos-y)])])])))
(define (line+col->string stx)
(let ([line (syntax-line stx)]
[col (syntax-column stx)])
@ -213,7 +194,7 @@
(define (print-log)
(define logger (current-logger))
(add-missed-opts-to-log)
(for ([x (sort-log)])
(for ([x (in-list log-so-far)])
(log-message logger 'debug
(format-log-entry x)
(cons optimization-log-key x))))