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: Patter

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 warnin

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 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 cu