Skip to content

GHC INLINE pragma behavior does not match docs

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 (closed)), 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: ‘••’".

Trac metadata
Trac field Value
Version 7.10.2
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information