Ah. My apologies for bringing up such a well-worn issue, then.
On Sep 5, 2006, at 3:38 PM, Simon Peyton-Jones wrote:
You and many others --- but the example is always the same!
http://www.haskell.org/ghc/docs/latest/html/users_guide/
bugs.html#bugs-g
hc
Simon
| -----Original Message-----
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Robert Dockins
| Sent: 05 September 2006 20:48
| To: [email protected]
| Subject: GHC non-termination
|
| Hello all,
|
| I've discovered that GHC doesn't deal very well with the following
| program. It appears to diverge when running the following program
| with 'runghc'. The main compiler can also be persuaded to
diverge in
| a similar fashion. Hugs exhibits correct behavior, ie, it prints
| "hello".
|
| This is with GHC 6.4.2. I've tested on linux x86 and PPC OS X.
|
|
|
| newtype Mu a = Roll { unroll :: Mu a -> a }
|
| omega :: a
| omega = (\x -> (unroll x) x) (Roll (\x -> (unroll x) x))
|
| main = putStrLn "hello"
|
|
|
| Rob Dockins
|
| Speak softly and drive a Sherman tank.
| Laugh hard; it's a long way to the bank.
| -- TMBG
|
|
|
| _______________________________________________
| Glasgow-haskell-users mailing list
| [email protected]
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Speak softly and drive a Sherman tank.
Laugh hard; it's a long way to the bank.
-- TMBG
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
