From ccb06c93707f8be20a21a8934a60589861c8809b Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Wed, 7 Sep 2011 14:13:59 -0400 Subject: [PATCH] changing the profiler settings to I can see more. --- whalesong.rkt | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/whalesong.rkt b/whalesong.rkt index 2062a2b..30c8e5a 100755 --- a/whalesong.rkt +++ b/whalesong.rkt @@ -4,7 +4,7 @@ (require "private/command.rkt" "parameters.rkt" "whalesong-helpers.rkt" - profile + profile profile/render-text (for-syntax racket/base)) ;; Command line for running Whalesong. @@ -39,7 +39,13 @@ [(_ expr) (syntax/loc stx (if (with-profiling?) - (profile expr) + (profile expr + #:threads #t + #:delay 0.01 + #:render (lambda (profile) + (render profile + #:truncate-source 500))) + expr))]))