ndmitchell/hlint

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

Open

#1.601 geöffnet am 29. Mai 2024

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Haskell (208 Forks)batch import
good first issue

Repository-Metriken

Stars
 (1.594 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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)

Contributor Guide

Research-Richtung
Untersuche die Logik des 'Use map' Hinweises in hlint, insbesondere in der Datei 'Hint/ListMap.hs' oder ähnlich, wo die foldr zu map Umwandlung definiert ist. Der Hinweis schlägt fälschlicherweise map für beliebige Foldable vor, aber map funktioniert nur mit Listen. Die Korrektur erfordert wahrscheinlich zu prüfen, ob das Argument ein Listentyp und kein allgemeines Foldable ist. Überprüfe auch die bestehenden Tests für diesen Hinweis, um sicherzustellen, dass die Korrektur keine anderen Fälle beeinträchtigt. Beziehe dich auf die genannten GHC und HLint Versionen.
Tech Stack
Keine
Domain
tooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
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.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Haskell programmingType class FoldableHLint architecture
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
25