[GHC] #15802: Inlining of constant fails when both cross-module and recursive

[GHC]

#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