From c7b8bcb7c27f051934aab5ab9fde0596a1b0a0f3 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 23 Mar 2015 13:48:43 -0700 Subject: [PATCH] profiling --- quad/main-typed-sample.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/quad/main-typed-sample.rkt b/quad/main-typed-sample.rkt index df25a376..6859909c 100644 --- a/quad/main-typed-sample.rkt +++ b/quad/main-typed-sample.rkt @@ -1,8 +1,8 @@ #lang typed/racket/base -(require "main-typed.rkt" "logger-typed.rkt" "world-typed.rkt" "samples-typed.rkt") +(require "main-typed.rkt" "logger-typed.rkt" "world-typed.rkt" "samples-typed.rkt" "quads-typed.rkt") -#;(require/typed contract-profile - [contract-profile-thunk ((-> Any) . -> . Quad)]) +(require/typed profile + [profile-thunk ((-> Any) [#:delay Float] . -> . Quad)]) (require "render-typed.rkt" typed/racket/class) (activate-logger quad-logger) @@ -11,5 +11,5 @@ [world:paper-width-default 600.0] [world:paper-height-default 700.0]) (define sample (ti5)) - (define to (time (typeset sample))) + (define to (time (profile-thunk #:delay 0.001 (λ () (typeset sample))))) (time (send (new pdf-renderer%) render-to-file to "foo-typed.pdf"))) \ No newline at end of file