Inlinable is known to prevent specialization from firing. (unless my recollection is wrong, has something to do with the order of the relevant
#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:6 carter]: passes in ghc afaik) I tried removing the `INLINABLE`s, but that didn't help. I was under the impression that at least for auto-specialization across modules, `INLINABLE` is ''required''. I've also tried playing around with phase control (just a little) to avoid inlining/specialization order problems, but I couldn't get that to work either. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8668#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler