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

Remove TR optimizer log key, made redundant by named loggers.

Browse Source 
original commit: 1975014c550011f3937ed7bb3ce511c1a5a823a9
This commit is contained in:
Vincent St-Amour 2012-09-11 11:42:31 -04:00
parent d908745a11
commit 1bdf607438
1 changed files with 1 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5,7 +5,6 @@
"../utils/tc-utils.rkt")
(provide log-optimization log-missed-optimization
log-message-from-tr-opt?
with-tr-logging-to-port
(struct-out log-entry)
(struct-out opt-log-entry)
@ -17,20 +16,12 @@
(define TR-logger (make-logger 'TR-optimizer (current-logger)))
(define (emit-log-message l)
(log-message TR-logger TR-logging-level
(format-log-entry l)
(cons optimization-log-key l)))
(log-message TR-logger TR-logging-level (format-log-entry l) l))
;; producing logs can be expensive, don't do it if no-one's listening
;; to the logs
(define (anyone-listening?) (log-level? TR-logger TR-logging-level))
;; 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)
;; msg is for consumption by the DrRacket tool
(struct log-entry (kind msg stx located-stx pos provenance) #:prefab)
;; for optimizations only (not missed optimizations, those are below)
@ -123,11 +114,6 @@
;;--------------------------------------------------------------------
(define (log-message-from-tr-opt? l)
(let ([data (vector-ref l 2)])
(and (pair? data)
(eq? (car data) optimization-log-key))))
(define (with-tr-logging-to-port port thunk)
(with-intercepted-logging
(lambda (l)