argumentcomputer / argumentcomputer/Megaparsec.lean
Usability: Errors in bundles should be sorted by offset
- Dominant language
- Lean
- Stars
- 37
- Forks
- 8
- PR merge metrics
- No merged PRs in 30d
Description
# Why?
Currently, we don't guarantee the order in error bundles (see `runParserT'`),
That's poor UX because the author of a parser would like to see errors from left to right, in order of appearance.
# How?
- [ ] Implement sorting on NonEmptyLists
- [ ] Use it in `runParserT'` and wherever else we build bundles
- [x] Perhaps, make a function that makes bundles in `Bundle.lean` (!)
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with runParserT' and Bundle.lean, then locate the NonEmptyList bundle construction points mentioned in the issue. Implement ordering by error offset and apply it wherever bundles are built; done means errors are consistently reported from left to right.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100