ucsd-progsys/liquidhaskell

Plugin always colors the `**** LIQUID: ` header, regardless of compiler settings

Open

#1956 aperta il 30 mar 2022

Vedi su GitHub
 (1 commento) (1 reazione) (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

This complicates tools which want to parse the output of the plugin and generate summary data (see #1955 for an example).

src/Language/Haskell/Liquid/UX/CmdLine.hs has a function reportResult that contains this enigmatic comment (see https://github.com/ucsd-progsys/liquidhaskell/blob/develop/src/Language/Haskell/Liquid/UX/CmdLine.hs#L744):

         -- For now, always print the \"header\" with colours, irrespective to the logger
         -- passed as input.

Guida contributor

Direzione di ricerca
Esamina la funzione `reportResult` in `src/Language/Haskell/Liquid/UX/CmdLine.hs` alla riga 744. Il commento indica che l'intestazione viene stampata forzatamente con i colori. L'obiettivo è rimuovere questa sostituzione in modo che l'output rispetti le impostazioni colore del compilatore. Considera di fare riferimento all'issue #1955 per il contesto sull'analisi dell'output.
Tech stack
Nessuno
Dominio
clideveloper experience
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.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
80