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