barrucadu/dejafu

Add tests for non-strict refinement

Aperta

#211 aperta il 16 feb 2018

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (18 fork)github user discovery
T: enhancementgood first issue

Metriche repository

Star
 (201 stelle)
Metriche merge PR
 (Merge medio 21m) (1 PR mergiata in 30 g)

Descrizione

Currently all the refinement tests use === or ->-.

Fortunately, adding tests for =>= is quite straightforward: if a === b or a ->- b then a =>= b!

Guida contributor

Direzione di ricerca
Aggiungi casi di test per l'operatore di raffinamento non stretto `=>=` duplicando i test di raffinamento stretto esistenti e sostituendo l'operatore.
Tech stack
haskell
Dominio
testing
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
1
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Meno di 1 ora
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
HaskellGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
90