[GHC] #13720: INLINE pragma semantics changed since 8.0.2

[GHC]

#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