ucsd-progsys/liquidhaskell

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

Open

#1.956 aberto em 30 de mar. de 2022

Ver no GitHub
 (1 comment) (1 reaction) (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

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.

Guia do colaborador

Direção de pesquisa
Examine a função `reportResult` em `src/Language/Haskell/Liquid/UX/CmdLine.hs` na linha 744. O comentário indica que o cabeçalho é impresso à força com cores. O objetivo é remover essa substituição para que a saída respeite as configurações de cor do compilador. Considere fazer referência à issue #1955 para contexto sobre a análise da saída.
Pilha de tecnologia
None
Domain
clideveloper experience
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.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Git
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
80