ucsd-progsys/liquidhaskell

Recover some tests of parsing errors

Open

#2 009 ouverte le 16 juin 2022

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Haskell (157 forks)batch import
good first issue

Métriques du dépôt

Stars
 (1 306 stars)
Métriques de merge PR
 (Merge moyen 2j 18h) (12 PRs mergées en 30 j)

Description

Some tests were disabled when implementing the expected errors flag. In general, these tests check the presence of certain parse errors.

  • BadAnnotation
  • BadAnnotation1
  • ErrLocation
  • ErrLocation2
  • ShadowMeasureVar

Reenable these and update the implementation of expected errors flags so it can be used with them.

Guide contributeur

Direction de recherche
Examinez les fichiers de test nommés BadAnnotation, BadAnnotation1, ErrLocation, ErrLocation2 et ShadowMeasureVar dans la suite de tests. Comprenez comment fonctionne le drapeau d'erreurs attendues et mettez à jour son implémentation pour qu'elle fonctionne avec ces tests. Réactivez les tests et assurez vous qu'ils réussissent.
Stack technique
Aucun
Domaine
tooling
Type d'issue
Test
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
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.
Plutôt claire
Prérequis
GitHaskell
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75