
#15802: Inlining of constant fails when both cross-module and recursive -------------------------------------+------------------------------------- Reporter: j6carey | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Runtime | (amd64) performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by j6carey): Sorry to be unclear; I was mentioning INLINE because it ensures that the function definition is available to other modules, and therefore ensures that a reduction would be possible, not because I expect general inlining of recursive functions. I am pretty sure that [https://ghc.haskell.org/trac/ghc/ticket/10346] would do everything that I need. It also suggests that meanwhile I might be able to find an alternative design using type classes; I'll see what I can do. Thanks for spotting that this is a duplicate issue! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15802#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler