cryspen/hax

When hax-engine's fails to parse stdin, make nicer error message

Offen

#218 geöffnet am 18.08.2023

Auf GitHub ansehenContributor Guide
 (7 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)OCaml (61 Forks)auto 404
clienginegood first issue

Repository-Metriken

Stars
 (456 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 4T 22h) (42 gemergte PRs in 30 T)

Beschreibung

Such an error means either:

  • the generated parser is broken (this almost never happens);
  • the generated parser is outdated (dune is supposed to regenerate it, but sometimes it doesn't).

The gory details about why the parser failed should be less visible, and we should print a message for the user telling him to reinstall properly things, maybe even to clean the engine folder with dune clean.

Note I tried to do something about that in PR #261, but that was not fully satisfactory.

Contributor Guide

Research-Richtung
Finden Sie den Code, der den Parsing Fehler von stdin behandelt, und ändern Sie die Fehlermeldung, um 'dune clean' oder eine Neuinstallation vorzuschlagen.
Tech Stack
Keine
Domain
developer experiencecli
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
GitOCamldune
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
65