From 1caa28df28a61ccbfc69637d201209fb0714d7a5 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 1 Aug 2011 14:54:53 -0400 Subject: [PATCH] Fix `unstable/time' & xrepl use. --- collects/unstable/time.rkt | 10 +++++----- collects/xrepl/xrepl.rkt | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/unstable/time.rkt b/collects/unstable/time.rkt index 5350346c6f..df54abe409 100644 --- a/collects/unstable/time.rkt +++ b/collects/unstable/time.rkt @@ -1,11 +1,11 @@ #lang racket/base ;; An improved `time' variant: better output, and repetitions with averages -(provide time) +(provide time*) (require racket/list) -(define (time* thunk times) +(define (time/proc thunk times) (define throw (if (<= times 0) (error 'time "bad count: ~e" times) @@ -43,7 +43,7 @@ cpu (- cpu gc) gc real)) (apply values results)) -(define-syntax time +(define-syntax time* (syntax-rules () - [(_ n expr0 expr ...) (time* (lambda () expr0 expr ...) n)] - [(_ expr0 expr ...) (time* (lambda () expr0 expr ...) 1)])) + [(_ n expr0 expr ...) (time/proc (lambda () expr0 expr ...) n)] + [(_ expr0 expr ...) (time/proc (lambda () expr0 expr ...) 1)])) diff --git a/collects/xrepl/xrepl.rkt b/collects/xrepl/xrepl.rkt index 670a706c89..0a94d3cf4d 100644 --- a/collects/xrepl/xrepl.rkt +++ b/collects/xrepl/xrepl.rkt @@ -738,7 +738,7 @@ "\n; "))) (define time-id - (make-lazy-identifier 'time* '(only-in unstable/time [time time*]))) + (make-lazy-identifier 'time* 'unstable/time)) (defcommand time "[] ..." "time an expression" ["Times execution of an expression, similar to `time' but prints a"