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

Reply via email to