[GHC] #12574: Consistent use of sigs vs signatures in warnings

GHC ghc-devs at haskell.org
Tue Sep 6 22:20:44 UTC 2016


#12574: Consistent use of sigs vs signatures in warnings
-------------------------------------+-------------------------------------
           Reporter:  crockeea       |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.0.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:  11583
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 If I have a polymorphic local binding without a type signature,
 `-Weverything` complains:
 {{{
 warning: [-Wmissing-local-sigs]
     Polymorphic local binding with no type signature: ...
 }}}
 However, when I add `-Wno-missing-local-sigs`, I immediately get a
 deprecation warning

 ` -Wno-missing-local-sigs is deprecated: it is replaced by -Wmissing-
 local-signatures`

 First, the warning with `-Weveryting` should use the non-depricated
 `signatures` version. Second, the deprecation warning should probably
 respect my use of `no`: `-Wno-missing-local-sigs` is replaced by `-Wno-
 missing-local-signatures`, not `-Wmissing-local-signatures`.

 Obviously, check for similar cases with the other "sigs" options mentioned
 in #11583.

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


More information about the ghc-tickets mailing list