Dmitry Antonyuk (lomeo) came up with a piece of code that hung GHC 6.6: newtype Foo a = Foo (Foo a -> a) bar x@(Foo f) = f x baz = bar (Foo bar) See the original discussion (in Russian) at: http://lomeo.livejournal.com/35674.html
Hi
Dmitry Antonyuk (lomeo) came up with a piece of code that hung GHC 6.6:
It's a documented bug in GHC: http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs.html#bugs-ghc "GHC's inliner can be persuaded into non-termination using the standard way to encode recursion via a data type" Thanks Neil
Neil Mitchell wrote:
It's a documented bug in GHC:
http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs.html#bugs-ghc
"GHC's inliner can be persuaded into non-termination using the standard way to encode recursion via a data type"
Thanks Neil! Sorry for the noise, I should have checked GHC docs before posting.
participants (2)
-
Gleb Alexeyev -
Neil Mitchell