#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