Non-exhaustive pattern match(es) warning in lambda functions

21 Sep 2010

      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