From 351c3839498c6a52c5c19f8136b5334540b9f406 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 9 Nov 2023 16:09:36 -0500 Subject: [PATCH] Add current module source location to tooltip stxobj. Related to racket/racket#4811 --- typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt b/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt index 286d19721..e811c7098 100644 --- a/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt +++ b/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt @@ -555,7 +555,8 @@ (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)))) + (list (syntax-property (datum->syntax #'here '(void) (orig-module-stx)) + 'mouse-over-tooltips (type-table->tooltips)))) ;; report delayed errors (report-all-errors) ;; provide-tbl : hash[id, listof[id]]