Avoid computing type tooltips twice
The logging code in tc-toplevel.rkt is sufficient to get all the type tooltips.
This commit is contained in:
parent
5138614aba
commit
17cafe652e
|
@ -39,11 +39,9 @@
|
||||||
;; add in syntax property on useless expression to draw check-syntax arrows
|
;; add in syntax property on useless expression to draw check-syntax arrows
|
||||||
[check-syntax-help (syntax-property
|
[check-syntax-help (syntax-property
|
||||||
(syntax-property
|
(syntax-property
|
||||||
(syntax-property
|
#'(void)
|
||||||
#'(void)
|
'disappeared-binding (disappeared-bindings-todo))
|
||||||
'disappeared-binding (disappeared-bindings-todo))
|
'disappeared-use (disappeared-use-todo))])
|
||||||
'disappeared-use (disappeared-use-todo))
|
|
||||||
'mouse-over-tooltips (type-table->tooltips))])
|
|
||||||
;; reconstruct the module with the extra code
|
;; reconstruct the module with the extra code
|
||||||
;; use the regular %#module-begin from `racket/base' for top-level printing
|
;; use the regular %#module-begin from `racket/base' for top-level printing
|
||||||
(arm #`(#%module-begin #,before-code optimized-body ... #,after-code check-syntax-help)))))))]))
|
(arm #`(#%module-begin #,before-code optimized-body ... #,after-code check-syntax-help)))))))]))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user