ucsd-progsys/liquidhaskell

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

Open

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

Auf GitHub ansehen
 (1 Kommentar) (1 Reaktion) (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 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.

Contributor Guide

Research-Richtung
Untersuchen Sie die Funktion `reportResult` in `src/Language/Haskell/Liquid/UX/CmdLine.hs` in Zeile 744. Der Kommentar gibt an, dass die Überschrift zwangsweise mit Farben gedruckt wird. Das Ziel ist es, diese Überschreibung zu entfernen, damit die Ausgabe die Farbeinstellungen des Compilers respektiert. Ziehen Sie in Betracht, auf Issue #1955 für Kontext zur Ausgabeanalyse zu verweisen.
Tech Stack
Keine
Domain
clideveloper experience
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
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.
Klar
Voraussetzungen
Git
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
80