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

Add timing for contract generation.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-09-11 13:39:03 -05:00
parent 5ed30d7fcf
commit f89d91d864
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
typed-racket-lib/typed-racket/core.rkt
View File

@ -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