[ ghc-Bugs-1281130 ] "class A where a :: A -> Int" panics GHC 6.4

Bugs item #1281130, was opened at 2005-09-03 03:06
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=1281130&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: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Carlos Eduardo Scheidegger (carlossch)
Assigned to: Nobody/Anonymous (nobody)
Summary: "class A where a :: A -> Int" panics GHC 6.4

Initial Comment:
Coming back to Haskell after a year off, I accidentally typed a very 
simple class definition wrong, and turns out that GHC 6.4 dies with 

ghc-6.4: panic! (the `impossible' happened, GHC version 6.4):
        ds_app_type Main.A{tc r1zQ} []

if you run

$ ghc crasher.hs
ghc-6.4: panic! (the `impossible' happened, GHC version 6.4):
        ds_app_type Main.A{tc r151} []

where crasher.hs is a file with a single line

class A where a :: A -> Int

I'm using the OSX version of GHC, by the way.

-carlos

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

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