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
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to