Skip to content
Snippets Groups Projects
Commit 5cccc826 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

MERGED: FIX #5819: add -XDataKinds to the language options section of the user's guide

parent 94b6cf42
No related branches found
No related tags found
No related merge requests found
...@@ -808,10 +808,15 @@ ...@@ -808,10 +808,15 @@
<entry>dynamic</entry> <entry>dynamic</entry>
<entry><option>-XNoConstraintKinds</option></entry> <entry><option>-XNoConstraintKinds</option></entry>
</row> </row>
<row>
<entry><option>-XDataKinds</option></entry>
<entry>Enable <link linkend="kind-polymorphism-and-promotion">datatype promotion</link>.</entry>
<entry>dynamic</entry>
<entry><option>-XNoDataKinds</option></entry>
</row>
<row> <row>
<entry><option>-XPolyKinds</option></entry> <entry><option>-XPolyKinds</option></entry>
<entry>Enable <link linkend="kind-polymorphism">kind polymorphism</link>. <entry>Enable <link linkend="kind-polymorphism-and-promotion">kind polymorphism</link>.</entry>
Implies <option>-XKindSignatures</option>.</entry>
<entry>dynamic</entry> <entry>dynamic</entry>
<entry><option>-XNoPolyKinds</option></entry> <entry><option>-XNoPolyKinds</option></entry>
</row> </row>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment