Commit 2e72a85a authored by batterseapower's avatar batterseapower
Browse files

Correct the manual to use ConstraintKinds rather than ConstraintKinds

parent 5ff06e90
......@@ -797,10 +797,10 @@
<entry><option>-XNoTypeFamilies</option></entry>
</row>
<row>
<entry><option>-XConstraintKind</option></entry>
<entry><option>-XConstraintKinds</option></entry>
<entry>Enable a <link linkend="constraint-kind">kind of constraints</link>.</entry>
<entry>dynamic</entry>
<entry><option>-XNoConstraintKind</option></entry>
<entry><option>-XNoConstraintKinds</option></entry>
</row>
<row>
<entry><option>-XScopedTypeVariables</option></entry>
......
......@@ -5183,7 +5183,7 @@ class (F a ~ b) => C a b where
</para>
<para>
With the <option>-XConstraintKind</option> flag, GHC becomes more liberal in
With the <option>-XConstraintKinds</option> flag, GHC becomes more liberal in
what it accepts as constraints in your program. To be precise, with this flag any
<emphasis>type</emphasis> of the new kind <literal>Constraint</literal> can be used as a constraint.
The following things have kind <literal>Constraint</literal>:
......
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