#8774: Transitivity of Auto-Specialization -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Inlining Operating System: Linux | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #5928, #8668, | Differential Rev(s): #8099 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by crockeea): However, as SPJ pointed out, this seems to be resolved in GHC 8.0.1. Indeed, I don't need either the SPECIALIZE ''or'' the INLINABLE with GHC 8.0.1. Kudos to it. I'll consider this resolved as soon as someone confirms (or denies) that auto-specialization is intended to be transitive. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8774#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler