Commit a630bb5e authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Impredicative polymorphism no longer deprecated.

parent b29919ba
......@@ -5726,9 +5726,6 @@ 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