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

[Simon Peyton-Jones]

Good point. Simon and I have decided we agree.  I'll push a patch shortly.

S

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-
| users-bounces at haskell.org] 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
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users