From f89d91d864b680c3de300bf2625c3a3b5f5139b5 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 11 Sep 2015 13:39:03 -0500 Subject: [PATCH] Add timing for contract generation. --- typed-racket-lib/typed-racket/core.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/core.rkt b/typed-racket-lib/typed-racket/core.rkt index dfa8f696..f9f46b78 100644 --- a/typed-racket-lib/typed-racket/core.rkt +++ b/typed-racket-lib/typed-racket/core.rkt @@ -39,7 +39,8 @@ (do-time "Fixed contract ids"))] ;; add the real definitions of contracts on the before- and after-code [(before-code ...) (change-provide-fixups (flatten-all-begins pre-before-code))] - [(after-code ...) (change-provide-fixups (flatten-all-begins pre-after-code))] + [(after-code ...) (begin0 (change-provide-fixups (flatten-all-begins pre-after-code)) + (do-time "Generated contracts"))] ;; potentially optimize the code based on the type information [(optimized-body ...) (maybe-optimize #'transformed-body)] ;; has own call to do-time ;; add in syntax property on useless expression to draw check-syntax arrows