Document the fact that impredicative polymorphism is deprecated
authorsimonpj@microsoft.com <unknown>
Tue, 3 Nov 2009 13:33:44 +0000 (13:33 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 3 Nov 2009 13:33:44 +0000 (13:33 +0000)
commit5da093e75fe1778af0941f096d531d649259fa78
tree96fda6c592ab274505eb358dbbf043fd7dd82283
parent560bf7c0d6a718ab7c14f286469f68a6244b5a1a
Document the fact that impredicative polymorphism is deprecated

Merge to 6.12
docs/users_guide/glasgow_exts.xml