ndmitchell/hlint

Incorrect redundant bracket warning with OverloadedRecordDot

Open

#1,458 opened on 2023年2月13日

GitHub で見る
 (2 comments) (0 reactions) (0 assignees)Haskell (1,594 stars) (208 forks)batch import
buggood first issue

説明

given

newtype T = T { f :: B }

g :: A -> T
a :: A

The code

(g a).f

uses the record dot operator. HLint recognizes this as the compose operator and incorrectly warns of a redundant bracket. Removing the bracket breaks the code, of course.

コントリビューターガイド

技術スタック
なし
領域
tooling
Issue 種別
bug
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3 hours
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
stale
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
clear
前提条件
Haskell programmingfamiliarity with HLint internalsunderstanding of OverloadedRecordDot
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
35
調査方針
Examine the HLint source code to find the rule that flags redundant brackets, likely in a file like 'Hint/Bracket.hs' or similar. Understand how the rule currently handles the composition operator (.) and check if it incorrectly triggers when the dot is used for record field access (OverloadedRecordDot). The issue's comments may provide additional context on the expected behavior. A fix would involve adjusting the pattern matching to distinguish between the composition operator and the record dot operator.