[Haskell-cafe] GHC 6.6 hangs

2007-04-11 Thread Gleb Alexeyev 

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

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] GHC 6.6 hangs

2007-04-11 Thread Neil Mitchell 

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
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe