From a8719e98239fd4e425b9487199a79f82aba9f6cd Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 24 Oct 2014 00:06:34 -0400 Subject: [PATCH] Avoid computing type tooltips twice The logging code in tc-toplevel.rkt is sufficient to get all the type tooltips. original commit: 17cafe652e13049fc05540c4ae2bd6f93559244d --- .../typed-racket-lib/typed-racket/core.rkt | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt index bb819b20..2d077184 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt @@ -39,11 +39,9 @@ ;; add in syntax property on useless expression to draw check-syntax arrows [check-syntax-help (syntax-property (syntax-property - (syntax-property - #'(void) - 'disappeared-binding (disappeared-bindings-todo)) - 'disappeared-use (disappeared-use-todo)) - 'mouse-over-tooltips (type-table->tooltips))]) + #'(void) + 'disappeared-binding (disappeared-bindings-todo)) + 'disappeared-use (disappeared-use-todo))]) ;; reconstruct the module with the extra code ;; use the regular %#module-begin from `racket/base' for top-level printing (arm #`(#%module-begin #,before-code optimized-body ... #,after-code check-syntax-help)))))))]))