diff options
| author | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2012-01-27 14:40:31 +0100 |
|---|---|---|
| committer | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2012-01-27 14:40:31 +0100 |
| commit | 3692c6f49530037744eee3c30fe0974e6de80135 (patch) | |
| tree | 5fbdeac3e6a6c989a914056788f531a02192246c /docs | |
| parent | d16f5c74627eec1e2f30153bb56e0e9fbdcf64b8 (diff) | |
| download | haskell-3692c6f49530037744eee3c30fe0974e6de80135.tar.gz | |
FIX #5819: add -XDataKinds to the language options section of the user's guide
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.xml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index a4041348b1..ae16811b0d 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -809,9 +809,14 @@ <entry><option>-XNoConstraintKinds</option></entry> </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> <entry><option>-XPolyKinds</option></entry> - <entry>Enable <link linkend="kind-polymorphism">kind polymorphism</link>. - Implies <option>-XKindSignatures</option>.</entry> + <entry>Enable <link linkend="kind-polymorphism-and-promotion">kind polymorphism</link>.</entry> <entry>dynamic</entry> <entry><option>-XNoPolyKinds</option></entry> </row> |