GHC 6.12.1 and impredicative polymorphism

[Ben Moseley]

I expect we can - we'll investigate.

--Ben

On 2 Nov 2009, at 09:32, Simon Peyton-Jones wrote:

> | Is there any difference between "-XImpredicativePolymorphism" and "-
> | XImpredicativeTypes"?
>
> No there isn't.  There's only one flag, -XImpredicativeTypes.
>
> | Hyena uses the latter, and we're using Hyena somewhat "in anger".
>
> Interesting.  I hope you can get along without it, perhaps with a  
> bit more newtype wrapping/unwrapping code.  As I say, the current  
> situation is not good.
>
>
> Simon