#10260: last uses too much space with optimizations disabled -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: nomeata Type: bug | Status: patch Priority: normal | Milestone: Component: Core Libraries | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: Phab:D847 -------------------------------------+------------------------------------- Comment (by nomeata):
And yet the comment is reasonably convincing. I'm not sure what to do here.
I think we are doing the right thing here. As far as I know, we also take the number of arguments given by the user as an indication when things should inline or not; if we eta-expand PAPs, we take this possibility of control away from the user. In this particular case: What if I had written `last` this way intentional, so that the rule for `foldl` would _not_ fire here, but only after `last` was inlined at a position where it is passed an argument? (Or am I talking non-sense if we are talking about PAPs, in contrast to functions that might be eta-expanded more.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10260#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler