
#12963: Give -fexpose-all-unfoldings the same semantics as INLINABLE on each function -------------------------------------+------------------------------------- Reporter: MikolajKonarski | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: duplicate | Keywords: Inlining Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #12962 #12463 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by MikolajKonarski): * status: infoneeded => closed * resolution: => duplicate Comment: Oh, I didn't know the difference between `-fexpose-all-unfoldings` and giving all functions `INLINABLE` is so big and so well defined. Given that, I drop this feature request in favour of #12463. `RECURSIVE_SPECIALISABLE` fits my use case even better and in the worst case the proposal may reduce to something similar to `SPECIALISABLE_ALL`, so I will focus there. Thank you, Simon! Thank you, mpickering! Closing. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12963#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler