[GHC] #14239: Let -fspecialise-aggressively respect NOINLINE (or NOSPECIALISABLE?)

[GHC]

#14239: Let -fspecialise-aggressively respect NOINLINE (or NOSPECIALISABLE?)
-------------------------------------+-------------------------------------
        Reporter:  MikolajKonarski   |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
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:                    |
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * keywords:  Inlining =>


Comment:

 I think you are suggesting that a user can write one (and only one) of

 * INLINE: please inline what I write, at every call site
 * SPECIALISABLE (currently written INLINABLE): please specialise what I
 write, at every call site
 * NOSPECIALISABLE: please do not specialise this function (even if it
 would otherwise be easy to do so)
 * NOINLINE: please do not inline or specialise this function (even if it
 would otherwise be easy to do so).  That is, hide its implementation from
 the caller.

 That would not be too hard.

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