[ ghc-Bugs-1243982 ] can't compile Y-combinator

[SourceForge.net]

Bugs item #1243982, was opened at 2005-07-24 17:32
Message generated for change (Comment added) made by simonpj
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1243982&group_id=8032

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Compiler
Group: 6.4
>Status: Closed
>Resolution: Wont Fix
Priority: 5
Submitted By: Masahiro Sakai (sakai)
Assigned to: Nobody/Anonymous (nobody)
Summary: can't compile Y-combinator

Initial Comment:
When I try to compile the following code with GHC-6.4,
ghc takes much time and seems not to terminate.

module Fix (fix) where

newtype T a = PsiInv{ psi :: T a -> a }

fix :: (a -> a) -> a
fix f = g (PsiInv g)
    where g x = f (psi x x)


----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2005-07-25 07:41

Message:
Logged In: YES 
user_id=50165

This is a known bug.  The easiest way to fix it is to add a 
step count to the simplifier, but that's still kind of 
unsatisfactory.   At the moment it'll stay as a known bug. If it 
starts to bite Real Programs we may have to think again.

See 
http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs.
html#bugs-ghc

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1243982&group_id=8032