[GHC] #12747: INLINE vs NOINLINE vs <nothing> give three different results; two would be better

[GHC]

#12747: INLINE vs NOINLINE vs <nothing> give three different results; two would be
better
-------------------------------------+-------------------------------------
        Reporter:  MikolajKonarski   |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #12603 #12781     |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 > However, I still think major GHC optimizations should possess informal
 semantics in terms of source code manipulation and should be controllable
 via a complete set of pragmas that on the level of granularity available
 to the programmer produce exactly the same results as said source code
 manipulations

 I'm all for that in principle.  It just needs someone to devise a design,
 and then implement it.

 A complicating factor with any per-definition control is that GHC's
 inlining means that that functions get inlined into each other like crazy,
 so it's never clear where one function begins and another ends.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12747#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler