[GHC] #5001: makeCorePair: arity missing

[GHC]

#5001: makeCorePair: arity missing
-------------------------------------+-------------------------------------
        Reporter:  maeder            |                   Owner:
            Type:  bug               |                  Status:  closed
        Priority:  high              |               Milestone:  7.4.1
       Component:  Compiler          |                 Version:  7.2.1
      Resolution:  fixed             |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Incorrect         |               Test Case:
  warning at compile-time            |  deSugar/should_compile/T5001,
                                     |  rename/should_fail/T5001
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * status:  new => closed
 * testcase:  deSugar/should_compile/T5001 => deSugar/should_compile/T5001,
     rename/should_fail/T5001
 * resolution:   => fixed


Comment:

 OK, I've fixed this.

 `mono-traversable` is in error, and GHC properly reports it now: on line
 514 of `MonoTraversable.hs` we have
 {{{
     {-# INLINE ofoldMap #-}
 }}}
 but there is no corresponding method binding in that instance declaration.
 So that needs fixing in `mono-traversable`.

 Meanwhile I'll close the ticket.  Thanks for the nice small test case.

 It's pretty harmless so no need to merge to 7.10.

 I added another test in `rename/should_fail/T5001`, not realising that we
 already have `deSugar/should_compile/T5001`. But that's fine, they don't
 conflict and test different things.

 Simon

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