[GHC] #12389: Limit duplicate export warnings for datatypes

GHC ghc-devs at haskell.org
Wed Jul 13 21:36:06 UTC 2016


#12389: Limit duplicate export warnings for datatypes
-------------------------------------+-------------------------------------
        Reporter:  dfeuer            |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  7.10.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect         |  Unknown/Multiple
  warning at compile-time            |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #11959            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by rwbarton):

 Well you don't really want to "silence the warning from duplicate
 constructors/patterns within the list". You want to silence ''this''
 duplicate of `Bar`. If you happen to repeat a different constructor
 elsewhere in the export list by accident, you'd still want a warning about
 that. So it would more appropriate to use a mechanism for locally
 disabling warnings.

 Since you can already write what you need with `#if Condition1 ||
 Condition2`, it's not a problem anyways. At some point you may be better
 off just disabling the warning entirely. Warnings about redundancies are
 too hard when the compiler can't see your entire program at once.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12389#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list