ndmitchell/hlint

Incorrect "Use map" when folding over a `Foldable`

Open

#1.601 aberto em 29 de mai. de 2024

Ver no GitHub
 (1 comment) (0 reactions) (0 assignees)Haskell (208 forks)batch import
good first issue

Métricas do repositório

Stars
 (1.594 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

The code

triggersUseMap :: Foldable f => f a -> [a]
triggersUseMap = foldr (\k acc -> identity k : acc) []

-- to get rid of "Avoid lambda" and "Redundant id"
identity :: a -> a
identity = id

triggers the hint

                        Warning: Use map
Found:
  foldr (\ k acc -> identity k : acc) []
Perhaps:
  map (\ k -> identity k)

but obviously triggersUseMap = map (\k -> identity k) does not compile, since map wants a list and the argument is a general Foldable.

The same warning is not emitted with the eta reduced version:

noHint :: Foldable f => f a -> [a]
noHint = foldr ((:) . identity) [] -- no hint even with foldr (:) []

This is using GHC 9.6.5 with HLint 3.6.1 (apologies if this was already fixed in 3.8, but I didn't see anything of the sort in the changelog)

Guia do colaborador

Direção de pesquisa
Investigue a lógica da dica 'Use map' no hlint, especificamente no arquivo 'Hint/ListMap.hs' ou similar, onde a conversão de foldr para map é definida. A dica sugere incorretamente map para qualquer Foldable, mas map só funciona em listas. A correção provavelmente envolve verificar se o argumento é um tipo de lista, não um Foldable genérico. Examine também os testes existentes para essa dica para garantir que a correção não quebre outros casos. Consulte a versão do GHC e a versão do HLint mencionadas.
Pilha de tecnologia
None
Domain
tooling
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.
4
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.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Haskell programmingType class FoldableHLint architecture
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
25