ucsd-progsys/liquidhaskell

LIQUIDHASKELL_OPTS can hold only one argument

Open

#1990 aperta il 30 mag 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

By inspecting the code in src/Language/Haskell/Liquid/UX/CmdLine.hs we see that the contents of the env var is parsed as a single argument. This should be changed to deal with multiple arguments. And we should confirm this bug, since we didn't discover it with a test but by code inspection.

Guida contributor

Direzione di ricerca
Esamina il file src/Language/Haskell/Liquid/UX/CmdLine.hs dove la variabile d'ambiente LIQUIDHASKELL OPTS viene analizzata come un singolo argomento. La correzione comporta la modifica della logica di analisi per gestire più argomenti, probabilmente suddividendo la stringa o utilizzando un parser di argomenti appropriato. Il problema è stato scoperto tramite ispezione del codice, quindi non esiste ancora un test; dovrebbe essere aggiunto un nuovo test per verificare la correzione.
Tech stack
Nessuno
Dominio
cli
Tipo issue
Bug
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.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Haskell
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70