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

Add a "unique" key to log messages that are sent by the optimizer.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-06-01 16:38:03 -04:00
parent 09015722e3
commit 81d6e380da
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/typed-scheme/optimizer/utils.rkt
View File

@ -8,6 +8,7 @@
(rep type-rep)) (rep type-rep))
(provide log-optimization log-missed-optimization (provide log-optimization log-missed-optimization
optimization-log-key
print-log clear-log print-log clear-log
*show-optimized-code* *show-optimized-code*
subtypeof? isoftype? subtypeof? isoftype?
@ -25,6 +26,12 @@
(struct log-entry (msg line col) #:transparent) (struct log-entry (msg line col) #:transparent)
;; to identify log messages that come from the optimizer
;; to be stored in the data section of log messages
;; external tools/scripts (like the test harness) can look for it
;; since this is used across phases, can't be a gensym
(define optimization-log-key 'log-message-coming-from-the-TR-optimizer)
;; we keep track of log entries, to avoid repetitions that would be ;; we keep track of log entries, to avoid repetitions that would be
;; caused by traversing the same syntax multiple times (which is not ;; caused by traversing the same syntax multiple times (which is not
;; a problem per se) ;; a problem per se)
@ -43,7 +50,9 @@
;; once the optimizer is done, we sort the log according to source ;; once the optimizer is done, we sort the log according to source
;; location, then print it ;; location, then print it
(define (print-log) (define (print-log)
(for-each (lambda (x) (log-warning (log-entry-msg x))) (define logger (current-logger))
(for-each (lambda (x) (log-message logger 'warning (log-entry-msg x)
optimization-log-key))
(sort (set->list log-so-far) (sort (set->list log-so-far)
(lambda (x y) (lambda (x y)
(match* (x y) (match* (x y)