search

racket / drracket

DrRacket, IDE for Racket
http://www.racket-lang.org/
Other
444 stars 93 forks source link

when receiving syntax objects from 'online-check-syntax logger, #649

Closed rfindler closed 7 months ago

rfindler commented 7 months ago

discard them unless their source matches the file that originally triggered the expansion

The goal here is to avoid showing annotations from files that are required (and expanded as part of that process).

related to racket/racket#4811

samth commented 7 months ago

Should we merge this?

rfindler commented 7 months ago

I'm happy with it but was under the impression that you, @samth , wanted to do more testing. Looking back over the issue, however, I see that my impression may not have been accurate! Do you think there's anything more we should do before merging this?

samth commented 7 months ago

I think this is good to merge now.