#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