When I try to compile to the following program, GHC seems to loop:
data Evil = Evil (Evil - Evil)
instance Show Evil where
show _ = t
apply :: Evil - Evil - Evil
apply (Evil f) x = f x
delta :: Evil
delta = Evil (\x - x `apply` x)
omega :: Evil
omega = delta `apply` delta
main = print
Would you say this the same as the one described in the user guide?
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:
data U
On 4 Feb 2007, at 14:12, Duncan Coutts wrote:
Would you say this the same as the one described in the user guide?
http://www.haskell.org/ghc/docs/latest/html/users_guide/
bugs.html#bugs-ghc
You're right of course. I checked Trac before hitting send, but
didn't think to look any further.
