[GHC] #10721: GHC INLINE pragma behavior does not match docs
#10721: GHC INLINE pragma behavior does not match docs -------------------------------------+------------------------------------- Reporter: wyager | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: MacOS X specialize, inline, inlinable, | pragma | Architecture: x86_64 | Type of failure: Incorrect (amd64) | warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Per https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/pragmas.html #specialize-pragma , I should be able to SPECIALIZE an imported function if the function is marked as INLINABLE at the definition site. While trying to debug a related issue (#10720), I tried making the original function `(••)` INLINABLE and then SPECIALIZing it at the call site. However, GHC tells me "`Warning: SPECIALISE pragma on INLINE function probably won't fire: ‘••’`". -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10721> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10721: GHC INLINE pragma behavior does not match docs -------------------------------------+------------------------------------- Reporter: wyager | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: | specialize, inline, inlinable, | pragma Operating System: MacOS X | Architecture: x86_64 Type of failure: Incorrect | (amd64) warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): Dead right. The warning is bogus. I'll fix this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10721#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10721: GHC INLINE pragma behavior does not match docs -------------------------------------+------------------------------------- Reporter: wyager | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: | specialize, inline, inlinable, | pragma Operating System: MacOS X | Architecture: x86_64 Type of failure: Incorrect | (amd64) warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"617f6966b5aaedd3ecd3f4c0f3735253187b7ff5/ghc" 617f6966/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="617f6966b5aaedd3ecd3f4c0f3735253187b7ff5" Do not complain about SPECIALISE for INLINE Fixes Trac #10721. See Note [SPECIALISE on INLINE functions] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10721#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10721: GHC INLINE pragma behavior does not match docs -------------------------------------+------------------------------------- Reporter: wyager | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: fixed | Keywords: | specialize, inline, inlinable, | pragma Operating System: MacOS X | Architecture: x86_64 Type of failure: Incorrect | (amd64) warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10721#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC