Per-definition control over pattern completeness (= coverage) checker
Motivation
If the pattern completeness check fails for a specific definition, I can only switch of the completeness checker for the whole file. I'd like to switch it off for only the offending definition.
Proposal
Add a pragma that let's me do e.g. -Wno-incomplete-uni-patterns
for just one definition / source location.
E.g. {-# OPTIONS_LOCAL -Wno-incomplete-uni-patterns #-}
placed before the offending definition.
Similar?: Fine grained warnings about unused symbols: https://github.com/ghc-proposals/ghc-proposals/pull/434
P.S.: I don't have time to engage in a full GHC Proposal Process for this. I still want to seed the (likely obvious) idea...