#9374: Investigate Static Argument Transformation -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: (none) Type: task | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.9 Resolution: | Keywords: | StaticArgumentTransformation 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 mpickering): The main benefit (in nofib) was when SAT was acting to eliminate dictionary arguments which the specialiser has failed to deal with for whatever reason. The other big benefit is like in #14211 where a lot more simplification could happen by a function being inlined into a loop. There were not any of these cases that I saw in nofib but might be more common in real code. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9374#comment:26 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler