#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