Erroneous warning with n+k patterns

[Simon Peyton-Jones]

OK, well I've fixed this one.  But not overlap warnings in general

Simon

| -----Original Message-----
| From: glasgow-haskell-bugs-bounces at haskell.org
[mailto:glasgow-haskell-bugs-
| bounces at haskell.org] On Behalf Of Ian Lynagh
| Sent: 20 August 2005 02:39
| To: glasgow-haskell-bugs at haskell.org
| Subject: 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
| 
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs