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

Bugs item #1243982, was opened at 2005-07-25 02:32
Message generated for change (Tracker Item Submitted) made by Item Submitter
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: Open
Resolution: None
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)


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

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