From c03bf183a05f0f7ac96610414aa5cdee3438131f Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 26 Dec 2014 18:57:01 -0500 Subject: [PATCH] Profiling infrastructure. --- rmacs/main.rkt | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/rmacs/main.rkt b/rmacs/main.rkt index adf0160..f968562 100644 --- a/rmacs/main.rkt +++ b/rmacs/main.rkt @@ -15,6 +15,14 @@ (editor-mainloop e)) (module+ main - (local-require racket/trace) + (require racket/trace) (current-trace-notify (lambda (s) (log-info "TRACE: ~a" s))) - (void (main))) + (void (main)) + ;; (require profile) + ;; (require ansi) + ;; (void (profile-thunk (lambda () (begin0 (main) + ;; (tty-restore!) + ;; (display (select-graphic-rendition style-normal)) + ;; (display (clear-screen)) + ;; (flush-output))))) + )