[no subject]

[Mathieu Othacehe]

branch: master
commit 902dbf5fde4abf67df733fec7abe37a0c6bab24b
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Sun May 30 09:40:21 2021 +0200

    Remove call-with-time-display procedure.
    
    * src/cuirass/base.scm (call-with-time-display): Remove it.
---
 src/cuirass/base.scm | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm
index 1aee80a..a7410af 100644
--- a/src/cuirass/base.scm
+++ b/src/cuirass/base.scm
@@ -196,17 +196,6 @@ any."
                                       #:entry-expiration
                                       gc-root-expiration-time))
 
-(define (call-with-time-display thunk)
-  "Call THUNK and write to the current output port its duration."
-  (call-with-time thunk
-    (lambda (time result)
-      (let ((duration (+ (time-second time)
-                         (/ (time-nanosecond time) 1e9))))
-        (format (current-error-port) "evaluate '~A': ~,3f seconds~%"
-                (assq-ref result #:job-name)
-                duration)
-        (acons #:duration duration result)))))
-
 (define (report-git-error error)
   "Report the given Guile-Git error."
   (format (current-error-port)