Pattern-match checker: True /= False
On HEAD, saying
module Bug where
f = case True of False -> ()produces no warning at all. @sgraf812 tells me (#12957 (comment 224556)) it should.
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
On HEAD, saying
module Bug where
f = case True of False -> ()produces no warning at all. @sgraf812 tells me (#12957 (comment 224556)) it should.