#7338: Duplicate type signature not reported
-----------------------------------------+----------------------------------
Reporter: evincarofautumn | Owner: michalt
Type: bug | Status: patch
Priority: normal | Component: Compiler
Version: 7.4.1 | Keywords:
Os: Unknown/Multiple | Architecture: x86
Failure: GHC accepts invalid program | Testcase:
Blockedby: | Blocking:
Related: #5589 |
-----------------------------------------+----------------------------------
Changes (by michalt):
* status: new => patch
* os: MacOS X => Unknown/Multiple
* related: http://hackage.haskell.org/trac/ghc/ticket/5589 => #5589
Comment:
When looking at this ticket I've noticed another problem with the current
approach.
The following code
{{{
module Test where
a, b :: Int
a = undefined
b = undefined
c, a :: Int
c = undefined
c, d :: Int
d = undefined
}}}
would generate only one warning (this is due to using "overlapping" with
```findDupsEq```).
The attached patch reworks the way we check for duplicates. AFAICS all
problematic cases should be handled correctly and we get a slightly better
error messages too (the patch for the testsuite has examples).
Let me know if you think that in some cases the output is not as expected.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7338#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
