summaryrefslogtreecommitdiff
path: root/docs/users_guide/glasgow_exts.xml
diff options
context:
space:
mode:
Diffstat (limited to 'docs/users_guide/glasgow_exts.xml')
-rw-r--r--docs/users_guide/glasgow_exts.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 8b597da0a0..909d841d0e 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -6259,6 +6259,7 @@ type family F a :: k
</programlisting>
In this case the kind parameter <literal>k</literal> is actually an implicit
parameter of the type family.
+ </para>
</sect3>
<sect3 id="type-instance-declarations">