From a48f886509558325bec26325ebee4367330c01cd Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 19 Feb 2014 16:11:54 -0500 Subject: [PATCH] Profile both process-accounting and regular call-stack --- ground.rkt | 23 +++++++++++++---------- 1 file changed, 13 insertions(+), 10 deletions(-) diff --git a/ground.rkt b/ground.rkt index 118b948..0d80770 100644 --- a/ground.rkt +++ b/ground.rkt @@ -20,20 +20,23 @@ (provide run-ground-vm) (require/typed profile - [profile-thunk ((-> Void) #:custom-key (Pairof - (Continuation-Mark-Keyof Any) - (-> (Listof Any) (Listof Any))) + [profile-thunk ((-> Void) #:custom-key (Option (Pairof + (Continuation-Mark-Keyof Any) + (-> (Listof Any) (Listof Any)))) -> Void)]) (: run-ground-vm : process-spec -> Void) (define (run-ground-vm boot) - (profile-thunk (lambda () (run-ground-vm* boot)) - #:custom-key (cons marketplace-continuation-mark-key - (lambda: ([vs : (Listof Any)]) - (let: loop : (Listof Any) ((vs : (Listof Any) vs)) - (if (null? vs) - '() - (cons vs (loop (cdr vs))))))))) + (profile-thunk + (lambda () + (profile-thunk (lambda () (run-ground-vm* boot)) + #:custom-key (cons marketplace-continuation-mark-key + (lambda: ([vs : (Listof Any)]) + (let: loop : (Listof Any) ((vs : (Listof Any) vs)) + (if (null? vs) + '(ground) + (cons vs (loop (cdr vs))))))))) + #:custom-key #f)) (: run-ground-vm* : process-spec -> Void) (define (run-ground-vm* boot)