Re: [GHC] #14794: -Weverything should not enable -Wmissing-exported-signatures

24 Aug 2018

      #14794: -Weverything should not enable -Wmissing-exported-signatures
-------------------------------------+-------------------------------------
        Reporter:  MaxGabriel        |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect         |  Unknown/Multiple
  error/warning at compile-time      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by taylorfausak):

 👍 I agree! I would like it if `-Weverything` did not enable `-Wmissing-
 exported-signatures`.

 Here is a way to reproduce the problem with Stack:

 {{{
 #!/usr/bin/env stack
 -- stack --resolver ghc-8.4.3 script
 {-# OPTIONS_GHC -Weverything -Wno-implicit-prelude -Wno-safe #-}

 module Main ( main ) where

 main :: IO ()
 main = pure shouldWarn

 shouldWarn = ()
 }}}

 With -Wall instead of -Weverything, I get this warning:

 {{{
 .../Example.hs:10:1: warning: [-Wmissing-signatures]
     Top-level binding with no type signature: shouldWarn :: ()
    |
 10 | shouldWarn = ()
    | ^^^^^^^^^^
 }}}

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14794#comment:2
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler