Re: bug report

[Simon L Peyton Jones]

| > module A( B ) where
| 
| > data B = C a

This isn't legal Haskell: data constructors can't mention 
type variables not bound on the left hand side.  This would be legal

> data B a = C a

But it still shouldn't crash the compiler!

Thanks for the bug report

Simon