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
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users