ucsd-progsys/liquidhaskell

LIQUIDHASKELL_OPTS can hold only one argument

Open

#1.990 aberto em 30 de mai. de 2022

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (157 forks)batch import
good first issue

Métricas do repositório

Stars
 (1.306 stars)
Métricas de merge de PR
 (Mesclagem média 2d 18h) (12 fundiu PRs em 30d)

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.

Guia do colaborador

Direção de pesquisa
Examine o arquivo src/Language/Haskell/Liquid/UX/CmdLine.hs onde a variável de ambiente LIQUIDHASKELL OPTS é analisada como um único argumento. A correção envolve modificar a lógica de análise para lidar com múltiplos argumentos, provavelmente dividindo a string ou usando um analisador de argumentos adequado. O problema foi descoberto por inspeção de código, portanto, ainda não existe um teste; um novo teste deve ser adicionado para verificar a correção.
Pilha de tecnologia
None
Domain
cli
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Haskell
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70