Re: [GHC] #14638: Simplifier ticks exhausted on Ω lambda term

[GHC]

#14638: Simplifier ticks exhausted on Ω lambda term
-------------------------------------+-------------------------------------
        Reporter:  merlynfry         |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by merlynfry):

 After looking at the compilation output log, it would seem (to my
 admittedly uneducated self) that the simplifier is getting trapped in an
 infinite loop until the ticks are depleted.

 The loop being:

 {{{
 /-------------------------------\
 |                               |
 V                               |
 PostInlineUnconditionally       |
 |                               |
 V                               |
 BetaReduction                   |
 |                               |
 V                               |
 UnfoldingDone                   |
 |                               |
 |                               |
 \-------------------------------/
 }}}

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