check-syntax doesn't see prefix-in imports from TR
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 516
- Forks
- 103
- PR merge metrics
- No merged PRs in 30d
Description
It appears that prefix-in imports from TR files to racket are "invisible" to check-syntax in the sense that hovering over the require shows it as block red (unused import) and hovering over the bound identifier shows no arrow and the tooltip "no bound uses" (ironic, because this is in fact a bound use). Er... Okay, just tried it again and now I just get no tooltip or arrow at all.
In file a.rkt:
#lang typed/racket
(provide a)
(define a 134)
in file b.rkt:
#lang racket
(require (prefix-in abc: "a.rkt"))
(+ abc:a 34)
Wait for background expansion to finish, then hover over abc:a in file b.rkt
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 issue with the provided a.rkt and b.rkt files, then run check-syntax in DrRacket after background expansion finishes. Inspect how the prefix-in require and abc:a are reported; done means the import is not marked unused and abc:a shows its bound-use arrow and tooltip.
Written by the indexing model from the issue text.
Assessment
- Domain
- devtools
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100