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

mentioned in issue #10720 (closed)

changed weight to 5

added Tbug Trac import labels

Dead right. The warning is bogus. I'll fix this.

For the cognoscenti, what is happening is this

• We have a SPECIALISE pragma for an imported function (**) that was itself marked INLINEABLE at its definition.
• But (**) was strict, so it was worker-wrappered, so in the end (**) was marked INLINE (the wrapper), while the worker $w** was now marked INLINEABLE.
• But we still want to specialise! And we do; the bug was in the warning.

mentioned in commit 617f6966

closed

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

changed milestone to %8.0.1

added error messages label

added Pnormal label