good first issuetype: enhancement
Repository metrics
- Stars
- (2,358 stars)
- PR merge metrics
- (30d に merged PR はありません)
説明
It would be nice to have a code action at the location of any warning to add an OPTIONS_GHC pragma to the file turning off that warning. This may not be the best behavior to encourage though...