ollef/sixten

Expected error tests

Open

#111 aperta il 14 giu 2018

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (24 fork)batch import
Beginner-friendlyHelp wantedType: Feature

Metriche repository

Star
 (631 star)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Progetta un sistema di annotazione basato su commenti per gli errori attesi, quindi implementa un test runner che analizzi queste annotazioni e verifichi che il compilatore emetta l'errore specificato sulla riga annotata.
Tech stack
haskell
Dominio
compilerstesting
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
Haskelltesting
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50