GHC 6.12.1 and impredicative polymorphism
ben_moseley at mac.com
Mon Nov 2 16:17:25 EST 2009
I expect we can - we'll investigate.
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.
More information about the Glasgow-haskell-users