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:                    |
-------------------------------------+-------------------------------------

Old description:

> GHC panics when trying to compile the following program:
>
> {{{#!hs
> module Omega where
>
> newtype Mu a = Roll { unRoll :: Mu a -> a }
>
> omega = (\h -> $ Roll h) (\x -> unRoll x $ x)
>
> }}}
>
> However, GHC has no complaints about interpreting the module.
>
> ----
>
> I've attached the most verbose output of GHC, should you so need it.

New description:

 GHC panics when trying to compile the following program:

 {{{#!hs
 module Omega where

 newtype Mu a = Roll { unRoll :: Mu a -> a }

 omega = (\h -> h $ Roll h) (\x -> unRoll x $ x)

 }}}

 However, GHC has no complaints about interpreting the module.

 ----

 I've attached the most verbose output of GHC, should you so need it.

--

Comment (by merlynfry):

 Correcting a typo.

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