ucsd-progsys/liquidhaskell

LIQUIDHASKELL_OPTS can hold only one argument

Open

#1 990 ouverte le 30 mai 2022

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Haskell (157 forks)batch import
good first issue

Métriques du dépôt

Stars
 (1 306 stars)
Métriques de merge PR
 (Merge moyen 2j 18h) (12 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Examinez le fichier src/Language/Haskell/Liquid/UX/CmdLine.hs où la variable d'environnement LIQUIDHASKELL OPTS est analysée comme un seul argument. La correction implique de modifier la logique d'analyse pour gérer plusieurs arguments, probablement en divisant la chaîne ou en utilisant un analyseur d'arguments approprié. Le problème a été découvert par inspection du code, donc aucun test n'existe encore ; un nouveau test doit être ajouté pour vérifier la correction.
Stack technique
Aucun
Domaine
cli
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Ancienne
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Haskell
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70