[GHC] #10181: Lint check: arity invariant

[GHC]

#10181: Lint check: arity invariant
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                   Owner:  nomeata
            Type:  task              |                  Status:  patch
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.11
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:  Phab:751
-------------------------------------+-------------------------------------

Comment (by Joachim Breitner <mail@…>):

 In [changeset:"567db32b074860723e2b7c38f119b1880a803775/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="567db32b074860723e2b7c38f119b1880a803775"
 New lint check: Check idArity invariants (#10181)

 The arity of an id should not be larger than what the type allows, and
 it should also not contradict the strictness signature. This adds a lint
 check for that.

 This broke test T8743, uncovering a bug in the SOURCE import machinery,
 which is now filed as #10182.
 }}}

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