Missing warning for a run-time pattern match failure
I am working with a very restrictive set of warnings and lately adopted the use of
incomplete-uni-patterns with the goal of seeing all locations where a run-time pattern match failure might occur.
I've found an issue today where I am not warned by GHC, and boiled it down to a very small example. It's possible that I'm just missing another available warning flag.
Steps to reproduce
main :: IO () main = do [a] <- pure  putStrLn a
I'd like to be warned about this run-time pattern match failure.
- GHC version used: 8.8.3 (via Stack)
- Operating System: Windows 10
- System Architecture: x64