2 Nov
2009
2 Nov
'09
9:17 p.m.
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