From eb8a1f797e58bb3bad3e615b5bfcfb8b9c660c2a Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 20 Jun 2013 13:53:46 -0400 Subject: [PATCH] Improve TR timing logging original commit: 9c4fcd46231f49d94efaacb77c144a92385ba371 --- .../typed-racket-lib/typed-racket/utils/timing.rkt | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) 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 6d171a85..2cbdc3ba 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)))))