#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