argumentcomputer / argumentcomputer/Megaparsec.lean

Usability: Errors in bundles should be sorted by offset

Open
#18 2 comments 0 reactions 0 assignees View on GitHub
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.