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

2010-11-18 Thread Mitar
Hi! On Wed, Nov 17, 2010 at 11:52 AM, Sittampalam, Ganesh ganesh.sittampa...@credit-suisse.com wrote: If GHC added support or patterns, you could write them out quite concisely: bar Foo1 Foo2 Foo3 = ... bar (Foo1|Foo2|Foo3) (Foo1|Foo2|Foo3) (Foo1|Foo2|Foo3) = error ... Uh. Still no nice

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

2010-11-17 Thread Mitar
Hi! On Thu, Sep 23, 2010 at 2:19 PM, Christian Maeder christian.mae...@dfki.de wrote: I tend to introduce artificial error cases for the Impossible, to avoid warnings, although the compiler generated error messages are better to locate the problem. But this is often problematic. I was also

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

2010-11-17 Thread Sittampalam, Ganesh
Mitar wrote: Hi! On Thu, Sep 23, 2010 at 2:19 PM, Christian Maeder christian.mae...@dfki.de wrote: I tend to introduce artificial error cases for the Impossible, to avoid warnings, although the compiler generated error messages are better to locate the problem. But this is often

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

2010-11-16 Thread Christian Maeder
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.

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

2010-11-16 Thread Christian Maeder
Am 16.11.2010 17:49, schrieb Christian Maeder: 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. -fno-warn-incomplete-patterns works! (Unfortunately not for lambda abstractions,

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

2010-09-23 Thread Christian Maeder
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. For patterns in left hand sides (lhs) of let or where also no warnings are issued. data Foo = Bar Int | Baz test3 :: Foo - Int test3 x = let Bar i = x in i Will or

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

2010-09-23 Thread Simon Peyton-Jones
| For patterns in left hand sides (lhs) of let or where also no warnings | are issued. | | data Foo = Bar Int | Baz | | test3 :: Foo - Int | test3 x = let Bar i = x in i | | Will or should these cases be covered, too? No, I don't plan to warn about these, which is the case at present. It's

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

2010-09-23 Thread Christian Maeder
Am 23.09.2010 10:40, schrieb Simon Peyton-Jones: | For patterns in left hand sides (lhs) of let or where also no warnings | are issued. | | data Foo = Bar Int | Baz | | test3 :: Foo - Int | test3 x = let Bar i = x in i | | Will or should these cases be covered, too? No, I don't plan

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

2010-09-22 Thread 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-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@haskell.org] On Behalf Of Mitar | Sent: 21 September 2010 07:44 | To: glasgow-haskell-users |