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

Christian Maeder Christian.Maeder at dfki.de
Tue Nov 16 11:49:02 EST 2010


What was the name of the flag for ghc-7.0.1?

I did not find it in the documentation. -fwarn-incomplete-patterns does
not work for my lambda expressions.

Cheers Christian

Am 22.09.2010 18:05, schrieb 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


More information about the Glasgow-haskell-users mailing list