Commit 5da093e7 authored by's avatar

Document the fact that impredicative polymorphism is deprecated

Merge to 6.12
parent 560bf7c0
......@@ -5684,6 +5684,9 @@ for rank-2 types.
<sect2 id="impredicative-polymorphism">
<title>Impredicative polymorphism
<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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment