unisonweb/unison
Voir sur GitHubTranscript for tracking improvements and regressions to parse / type errors
Open
#2 207 ouverte le 13 juil. 2021
error-messagegood first issuehelp wantedneeds-tests
Métriques du dépôt
- Stars
- (6 624 stars)
- Métriques de merge PR
- (Merge moyen 10j 2h) (5 PRs mergées en 30 j)
Description
Idea is to introduce a transcript, error-messages.md, which just has a bunch of examples of things that don’t parse/typecheck.
For each example, indicate GOOD if the error message is good, or ??? if it’s bad or confusing.
This will let us track improvements and regressions to our error reporting.