[GHC] #10721: GHC INLINE pragma behavior does not match docs

[GHC]

#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