suzanne.soy/whalesong
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

changing the profiler settings to I can see more.

Browse Source
This commit is contained in:
Danny Yoo 2011-09-07 14:13:59 -04:00
parent bf5698c0fa
commit ccb06c9370
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
whalesong.rkt
View File

@ -4,7 +4,7 @@
(require "private/command.rkt" (require "private/command.rkt"
"parameters.rkt" "parameters.rkt"
"whalesong-helpers.rkt" "whalesong-helpers.rkt"
profile profile profile/render-text
(for-syntax racket/base)) (for-syntax racket/base))
;; Command line for running Whalesong. ;; Command line for running Whalesong.
@ -39,7 +39,13 @@
[(_ expr) [(_ expr)
(syntax/loc stx (syntax/loc stx
(if (with-profiling?) (if (with-profiling?)
(profile expr) (profile expr
#:threads #t
#:delay 0.01
#:render (lambda (profile)
(render profile
#:truncate-source 500)))
expr))])) expr))]))