cryspen/hax

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

Ouverte

#218 ouverte le 18 août 2023

Voir sur GitHubGuide contributeur
 (7 commentaires) (0 réaction) (0 personne assignée)OCaml (61 forks)auto 404
clienginegood first issue

Métriques du dépôt

Stars
 (456 étoiles)
Métriques de merge PR
 (Merge moyen 4j 22h) (42 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Localisez le code qui gère l'échec d'analyse de stdin et modifiez le message d'erreur pour suggérer 'dune clean' ou une réinstallation.
Stack technique
Aucun
Domaine
developer experiencecli
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
GitOCamldune
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
65