RE: Exhaustive Pattern-Matching

2003-08-29 Thread Simon Marlow
On Wed, Aug 27, 2003 at 04:57:27PM +0100, Simon Marlow wrote: GHC tries to do so, but sometimes gets it wrong. See the -fwarn-incomplete-patterns flag. We'd appreciate it if someone could overhaul this code - it's been on the wish list for a long time. As a matter of curiosity,

Re: Exhaustive Pattern-Matching

2003-08-29 Thread Christian Maeder
GHC tries to do so, but sometimes gets it wrong. See the -fwarn-incomplete-patterns flag. We'd appreciate it if someone could overhaul this code - it's been on the wish list for a long time. Indeed, I always try to avoid all warnings in my sources by using the flag -Wall, because I consider

Re: Exhaustive Pattern-Matching

2003-08-29 Thread Ketil Z. Malde
Christian Maeder [EMAIL PROTECTED] writes: Indeed, I always try to avoid all warnings in my sources by using the flag -Wall, because I consider this to be good programming style. (In particular warnings about unused and shadowed variables prevented a lot of errors.) However some warnings are

Re: Exhaustive Pattern-Matching

2003-08-29 Thread Alastair Reid
Back when I hacked on Hugs routinely, I thought of detecting uncaught cases including things like the following: f :: Color - String f x = case x of Red - r _ - ++ case x of Green - g Blue - b Warning: Pattern match(es) are