Wrong "Pattern match is redundant" in 9.2.1
Summary
GHC 9.2.1 claims
engine-src/Game/LambdaHack/Client/UI/MonadClientUI.hs:137:9: warning: [-Woverlapping-patterns]
Pattern match is redundant
In a case alternative: [] -> ...
|
137 | [] -> []
for this line
and the warning is plain wrong. There is also a second equally wrong such warning. Nothing special about that code, no fancy types, no redefined syntax.
Steps to reproduce
git clone https://github.com/LambdaHack/LambdaHack.git
cabal build --allow-newer
Expected behavior
No warnings about redundant pattern matches, as in GHC 8.10.7.
Environment
- GHC version used: 9.2.1
Optional:
- Operating System: Ubuntu
- System Architecture: x86_64-linux