"jump to binding occurrence" wont jump when identifier is both a binding and bound occurrence and its other binder is off screen
Open
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 516
- Forks
- 103
- PR merge metrics
- No merged PRs in 30d
Description
Given this program
#lang racket
(require redex/reduction-semantics)
(define-language L
(n ::= natural))
(define-metafunction L
[(test n)
n])
hitting "jump to binding occurrence" on the n on line 8 highlights the n on line 4.
However if I put enough new lines in between the define-metafunction and the define-language such that the define-language is off screen and do the same the n that was on line 8 gets highlighted instead!
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
Run the provided DrRacket reproduction with the binding occurrence visible and then with the define-language form off screen. Trace the “jump to binding occurrence” behavior and verify that the selected identifier remains the binding occurrence in both cases.
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
- 35/100