stepper fails for unbound id in test position of check-expect
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 112
- Forks
- 73
- Avg merge
- 9h 41m
- Merged PRs (30d)
- 1
Description
To reproduce:
- Set language level to Beginner
- put this program in defns window:
(check-expect (f (list 4))
(list 4 13))
(check-expect (f (list 4))
(list 7 13))
Click Step.
See this error:
recon-source: no matching clause for syntax: (quote-syntax f)
Looks like in this case the reconstructed source contains a quote-syntax.
This bug has been present since at least Racket 7.4.
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 in the Beginner language level using the two check-expect forms in the defns window, then click Step. Start at the stepper path that reconstructs source and reports the quote-syntax error. Done means the program steps without the recon-source failure for this unbound id case.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100