This looks like a bug in the SOURCE-import mechanism to me. […] Bother. Well I suppose it would be good to open a separate ticket about
#10181: Lint check: arity invariant -------------------------------------+------------------------------------- Reporter: nomeata | Owner: nomeata Type: task | Status: infoneeded 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: -------------------------------------+------------------------------------- Comment (by nomeata): Hi, Replying to [comment:2 simonpj]: that. I would, but I’m not able to summarize what precisely is wrong here, and how to phrase the ticket.
But I'll stick to my guns about `idArity <= typeArity` for now. See `Note [exprArity invariant]` in `CoreArity`.
Did you find any other cases?
Not yet, as I stumbled over this while building GHC. I can make it a lint warning for now and see what else comes up. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10181#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler