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

Avoid computing type tooltips twice

Browse Source 
The logging code in tc-toplevel.rkt is sufficient to get
all the type tooltips.

original commit: 17cafe652e13049fc05540c4ae2bd6f93559244d
This commit is contained in:
Asumu Takikawa 2014-10-24 00:06:34 -04:00
parent 086aac734b
commit a8719e9823
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/core.rkt
View File

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