ucsd-progsys/liquidhaskell

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

Open

#1.957 geöffnet am 30. März 2022

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Haskell (157 Forks)batch import
good first issue

Repository-Metriken

Stars
 (1.306 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 2T 18h) (12 gemergte PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuche den Liquid Haskell Plugin Code, der Nachrichten ausgibt, wenn ddump json aktiviert ist. Konzentriere dich auf die Header Ausgabe und alle WARNING Meldungen im Zusammenhang mit 'false' in den Spezifikationen. Überprüfe die referenzierten Issues #1955 und #1956 für den Kontext. Bestimme, welche Teile des Codes Nicht JSON ausgeben, und stelle sicher, dass sie dem JSON Format entsprechen.
Tech Stack
Keine
Domain
tooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Recherche nötig
Voraussetzungen
HaskellGHC
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40