DrRacket incorrectly marks required files as unused in certain cases
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 575
- Forks
- 106
- Avg merge
- 2h 1m
- Merged PRs (30d)
- 2
Description
On DrRacket 6.4
An example program:
#lang typed/racket
(require math/flonum)
(fl 1)
Mouseover on "math/flonum" will show an arrow to the fl binding saying "1 bound occurrence", yet the file is marked red as though unused.
This seems to occur consistently for all files which are only required and used for type annotations, and for certain other bindings such as the above.
On the other hand, mouseover works as expected if fl is not used in a function call, e.g
#lang typed/racket
(require math/flonum)
fl
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the examples in DrRacket 6.4 using typed/racket and math/flonum, comparing the fl function-call case with the standalone fl case. Trace the unused-file marking and its mouseover binding result; done means required files used for type annotations or bindings are not marked red while the existing mouseover behavior remains correct.
Written by the indexing model from the issue text.
Assessment
- Domain
- devtools
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100