Hi Niklas, Am Sonntag, den 08.11.2015, 01:10 +0100 schrieb Niklas Hambüchen:
In an older mail from 2010 (https://mail.haskell.org/pipermail/glasgow-haskell-users/2010-Septem ber/019237.html) I saw Simon mention that it wasn't planned to warn about inexhaustive patterns like this.
note that in that mail, he refers to patterns in where clauses, which is a different use-case than the lambdas you refer to. GHC is a large code base that traditionally is kept -Wall clean. You could make your proposal a bit more substantial by compiling GHC with -fwarn-incomplete-uni-patterns on and see what breaks, what the usual use-cases are, how to change the code to make it clean again. Then you are in a good position to argue that it is an improvement (or you will find that SPJ, as very often, has a good instinct and making it warn about that prohibits many useful idioms.) Personally, I’m sympathetic to “he who uses -Wall gets to jump through hoops”, but incomplete where patterns that bind variables that are not used in all cases are useful... Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org