ucsd-progsys/liquidhaskell

Plugin prints certain messages as non-json when `-ddump-json` is enabled

Open

#1957 aperta il 30 mar 2022

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

This complicates parsing the output of GHC, and breaks the contract that is implied by -ddump-json. See #1955 for an example of when this comes up.

Two things I've found are: the header (see also #1956 for another issue related to this), and certain WARNING:s that are printed when the plugin finds false in a specification. Unsure if this second one is just a debug message that was forgotten to be switched off or something.

Guida contributor

Direzione di ricerca
Analizza il codice del plugin Liquid Haskell che stampa messaggi quando ddump json è abilitato. Concentrati sull'output dell'intestazione e su eventuali messaggi WARNING relativi a 'false' nelle specifiche. Controlla i problemi di riferimento #1955 e #1956 per il contesto. Determina quali parti del codice producono output non JSON e assicurati che rispettino il formato JSON.
Tech stack
Nessuno
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
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.
Richiede indagine
Prerequisiti
HaskellGHC
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40