diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/timing.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/timing.rkt index 6d171a85bf..2cbdc3ba5d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/timing.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/timing.rkt @@ -5,6 +5,8 @@ ;; some macros to do some timing, only when `timing?' is #t (define-for-syntax timing? #f) +(define-logger tr-timing) + (define last-time #f) (define initial-time #f) (define (set!-initial-time t) (set! initial-time t)) (define (set!-last-time t) (set! last-time t)) @@ -23,7 +25,9 @@ (error 'start-timing "Timing already started")) (set!-last-time (current-process-milliseconds)) (set!-initial-time last-time) - (log-debug (format "TR Timing: ~a at ~a" (pad "Starting" 32 #\space) initial-time)))]) + (log-tr-timing-debug + (format "~a at ~a" + (pad "Starting" 32 #\space) initial-time)))]) (syntax-rules () [(_ msg) (begin @@ -34,5 +38,7 @@ [diff (- t old)] [new-msg (pad msg 32 #\space)]) (set!-last-time t) - (log-debug (format "TR Timing: ~a at ~a\tlast step: ~a\ttotal: ~a" new-msg t diff (- t initial-time)))))])) + (log-tr-timing-debug + (format "~a at ~a\tlast step: ~a\ttotal: ~a" + new-msg t diff (- t initial-time)))))])) (values (lambda _ #'(void)) (lambda _ #'(void)))))