good first issuetype: enhancement
Repository-Metriken
- Stars
- (2.358 Stars)
- PR-Merge-Metriken
- (Keine gemergten PRs in 30 T)
Beschreibung
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...