ollef/sixten

Expected error tests

Open

#111 ouverte le 14 juin 2018

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Haskell (24 forks)batch import
Beginner-friendlyHelp wantedType: Feature

Métriques du dépôt

Stars
 (631 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

Description

We currently have the setup to test that some error occurred during compilation, but we don't test that it's the correct error (other than syntax vs type error) or that it occurs on the correct line.

It'd be nice to be able to annotate source files for testing with expected errors in comments, something like:

x = addInt 1 True -- $expect: Type error: Type mismatch

and then have the setup to verify that that error really occurs there.

Guide contributeur

Direction de recherche
Concevez un système d'annotation basé sur des commentaires pour les erreurs attendues, puis implémentez un exécuteur de tests qui analyse ces annotations et vérifie que le compilateur émet l'erreur spécifiée sur la ligne annotée.
Stack technique
haskell
Domaine
compilerstesting
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.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
Haskelltesting
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
50