diff options
| author | simonpj@microsoft.com <unknown> | 2009-11-03 13:33:44 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-11-03 13:33:44 +0000 |
| commit | 5da093e75fe1778af0941f096d531d649259fa78 (patch) | |
| tree | 96fda6c592ab274505eb358dbbf043fd7dd82283 /docs | |
| parent | 560bf7c0d6a718ab7c14f286469f68a6244b5a1a (diff) | |
| download | haskell-5da093e75fe1778af0941f096d531d649259fa78.tar.gz | |
Document the fact that impredicative polymorphism is deprecated
Merge to 6.12
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 098827990e..6910a59235 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -5684,6 +5684,9 @@ for rank-2 types. <sect2 id="impredicative-polymorphism"> <title>Impredicative polymorphism </title> +<para><emphasis>NOTE: the impredicative-polymorphism feature is deprecated in GHC 6.12, and +will be removed or replaced in GHC 6.14.</emphasis></para> + <para>GHC supports <emphasis>impredicative polymorphism</emphasis>, enabled with <option>-XImpredicativeTypes</option>. This means |