ucsd-progsys/liquidhaskell

Recover some tests of parsing errors

Open

#2009 aperta il 16 giu 2022

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (157 fork)batch import
good first issue

Metriche repository

Star
 (1306 star)
Metriche merge PR
 (Merge medio 2g 18h) (12 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esamina i file di test denominati BadAnnotation, BadAnnotation1, ErrLocation, ErrLocation2 e ShadowMeasureVar nella suite di test. Comprendi come funziona il flag degli errori attesi e aggiorna la sua implementazione per funzionare con questi test. Riabilita i test e assicurati che passino.
Tech stack
Nessuno
Dominio
tooling
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
GitHaskell
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75