Revert TR tooltip changes

This commit is contained in:
Asumu Takikawa 2014-10-27 21:05:02 -04:00 committed by Ryan Culpepper
parent 9d1662ebe7
commit 282df92a70
3 changed files with 3 additions and 12 deletions

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

View File

@ -344,11 +344,6 @@
(do-time "Finished pass2")
;; check that declarations correspond to definitions
(check-all-registered-types)
;; log messages to check-syntax to show extra types / arrows before failures
(log-message online-check-syntax-logger
'info
"TR's tooltip syntaxes; this message is ignored"
(list (syntax-property #'(void) 'mouse-over-tooltips (type-table->tooltips))))
;; report delayed errors
(report-all-errors)
(define provide-tbl

View File

@ -118,14 +118,12 @@ don't depend on any other portion of the system
;; if there's only one, we don't need multiple-error handling
[(list (struct err (msg stx)))
(reset-errors!)
(log-type-error msg stx)
(raise-typecheck-error msg stx)]
[l
(let ([stxs
(for/list ([e (in-list l)])
(with-handlers ([exn:fail:syntax?
(λ (e) ((error-display-handler) (exn-message e) e))])
(log-type-error (err-msg e) (err-stx e))
(raise-typecheck-error (err-msg e) (err-stx e)))
(err-stx e))])
(reset-errors!)