#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


 When looking at this ticket I've noticed another problem with the current
 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
 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

Reply via email to