Good point. Simon and I have decided we agree. I'll push a patch shortly. S
| -----Original Message----- | From: [email protected] [mailto:glasgow-haskell- | [email protected]] On Behalf Of Mitar | Sent: 21 September 2010 07:44 | To: glasgow-haskell-users | Subject: Non-exhaustive pattern match(es) warning in lambda functions | | Hi! | | Why GHC does not warn (with -Wall) about non-exhaustive pattern | match(es) warning in lambda functions? For example, this code: | | data Foo = Bar | Baz | | test1 :: Foo -> IO () | test1 Bar = return () -- Pattern match(es) are non-exhaustive warning, OK | | test2 :: Foo -> IO () | test2 = \Bar -> return () -- No pattern match(es) are non-exhaustive, BAD | | I think it would be quite useful to also catch such situations and | issue a warning. | | | Mitar | _______________________________________________ | Glasgow-haskell-users mailing list | [email protected] | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
