[GHC] #8668: SPECIALIZE silently fails to apply

[GHC]

#8668: SPECIALIZE silently fails to apply
-------------------------------------+----------------------------------
        Reporter:  crockeea          |            Owner:
            Type:  bug               |           Status:  new
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.6.2
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  x86_64 (amd64)
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+----------------------------------

Comment (by crockeea):

 Replying to [comment:20 carter]:
 > any function marked inlineable or inline wont get specialize., or at
 least i seem to recall theres some phase ordering issues related to that.

 That's in direct contradiction to the docs ("However if a function f is
 given an INLINABLE pragma at its definition site, then it can subsequently
 be specialised by importing modules"), and to Simon's comment above.
 Furthermore, removing "INLINABLE" doesn't help matters.

 Sure there can be phase issues, but the point is inlining is not occurring
 at all, so in particular it is not happening in place of specialization.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8668#comment:21>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler