From 17d631e2ad189f5db3fb6e79fa1da49195c0189c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 30 Aug 2011 14:06:32 -0400 Subject: [PATCH] Make TR timing info fit on a line. original commit: f3d22879a2cf4e4000cfd47b92b3243dbdceaf1a --- collects/typed-scheme/utils/utils.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/utils/utils.rkt b/collects/typed-scheme/utils/utils.rkt index db37a19d..2cbccf32 100644 --- a/collects/typed-scheme/utils/utils.rkt +++ b/collects/typed-scheme/utils/utils.rkt @@ -124,7 +124,7 @@ at least theoretically. (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" 40 #\space) initial-time)))]) + (log-debug (format "TR Timing: ~a at ~a" (pad "Starting" 32 #\space) initial-time)))]) (syntax-rules () [(_ msg) (begin @@ -133,7 +133,7 @@ at least theoretically. (let* ([t (current-process-milliseconds)] [old last-time] [diff (- t old)] - [new-msg (pad msg 40 #\space)]) + [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)))))])) (values (lambda _ #'(void)) (lambda _ #'(void)))))