Erroneous warning with n+k patterns

Hi all,

This function:

g :: Int -> Int
g (x+1) = 1
g _     = 0

(erroneously) gives this warning:

    Warning: Pattern match(es) are overlapped
             In the definition of `g': g _ = ...

I'm not sure if this is covered by the first item on
http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs.html
but if so (well, probably even if not; I've grown quite attached to
-Wall -Werror) then I'd like to add my voice to those who would like to
see the mentioned overhaul done.


Thanks
Ian