#13720: INLINE pragma semantics changed since 8.0.2 -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Good point. But what it's doing is indistinguishable from that! If you optimise and then inline, it's the same as if you inline and the optimise -- provided you respect the phases, which GHC does. So I supose we could say "GHC guarantees to behave as if it had inlined precisely the code that you wrote, no more and no less". The "as if" is the important bit! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13720#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler