ucsd-progsys/liquidhaskell

LIQUIDHASKELL_OPTS can hold only one argument

Open

#1.990 geöffnet am 30. Mai 2022

Auf GitHub ansehen
 (0 Kommentare) (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

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.

Contributor Guide

Research-Richtung
Untersuchen Sie die Datei src/Language/Haskell/Liquid/UX/CmdLine.hs, in der die Umgebungsvariable LIQUIDHASKELL OPTS als einzelnes Argument geparst wird. Die Lösung erfordert eine Änderung der Parsing Logik, um mehrere Argumente zu verarbeiten, wahrscheinlich durch Aufteilen der Zeichenkette oder die Verwendung eines geeigneten Argument Parsers. Das Problem wurde durch Code Inspektion entdeckt, daher existiert noch kein Test; ein neuer Test sollte hinzugefügt werden, um die Lösung zu überprüfen.
Tech Stack
Keine
Domain
cli
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.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Haskell
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70