Dummy ranges on auto-generated projectors, discriminators, typeclass methods, and programs generated using splice_t
Open
- Dominant language
- F*
- Stars
- 3.1k
- Forks
- 266
- Avg merge
- 21h 1m
- Merged PRs (30d)
- 54
Description
The range info on these constructs is set to dummyRange. Discovered by @bollu .. thanks!
Contributor guide
Research direction
Start by locating the auto-generation paths for projectors, discriminators, typeclass methods, and programs produced with splice_t, then trace where dummyRange is assigned. Done means these generated constructs carry accurate range information instead of dummy ranges; the issue provides no file or test names to run.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100