#5302: Unused arguments in join points -------------------------------------+------------------------------------- Reporter: reinerp | Owner: simonpj Type: bug | Status: new Priority: low | Milestone: 8.4.1 Component: Compiler | Version: 7.0.3 Resolution: | Keywords: JoinPoints Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj):

The second argument is still boxed

Even with -O2 (which does a second demand/absence analysis pass? I think, though I have not dug into it, that the absence may only show up late. Even if that's true, we should just check to ensure that there's no way it could have been caught in the first pass. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/5302#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler