Re: [GHC] #9911: Pattern synonyms with no signatures should yield warnings

15 Dec 2015


      #9911: Pattern synonyms with no signatures should yield warnings
-------------------------------------+-------------------------------------
        Reporter:  cactus            |                Owner:  cactus
            Type:  feature request   |               Status:  closed
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Compiler (Type    |              Version:  7.8.3
  checker)                           |             Keywords:
      Resolution:  duplicate         |  PatternSynonyms
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect         |  Unknown/Multiple
  warning at compile-time            |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #11053            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by thomie):

 * status:  new => closed
 * resolution:   => duplicate
 * related:   => #11053


Comment:

 commit 1883afb2eee88c828adf6aa8014bab64dd6e8096
 {{{
 Author: Matthew Pickering 
 Date:   Sat Dec 12 16:38:07 2015 +0000

     Implement -fwarn-missing-pat-syn-sigs

     This adds a warning when a pattern synonym is not accompanied by a
     signature in the style of `-fwarn-missing-sigs`.

     It is turned on by -Wall.

     If the user specifies, `-fwarn-missing-exported-signatures` with
     `-fwarn-missing-pat-syn-sigs` then it will only warn when the pattern
     synonym is exported.

     Test Plan: ./validate

     Reviewers: hvr, austin, bgamari

     Reviewed By: bgamari

     Subscribers: thomie

     Differential Revision: https://phabricator.haskell.org/D1596

     GHC Trac Issues: #11053
 }}}

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