[commit: ghc] master: Added link ends to role documentation. (3a2b21d)
git at git.haskell.org
git at git.haskell.org
Fri Jun 6 14:09:39 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/3a2b21db67e22948439f5b50e642ee1dc5adae64/ghc
>---------------------------------------------------------------
commit 3a2b21db67e22948439f5b50e642ee1dc5adae64
Author: Sjoerd Visscher <sjoerd at w3future.com>
Date: Fri Jun 6 13:25:43 2014 +0200
Added link ends to role documentation.
>---------------------------------------------------------------
3a2b21db67e22948439f5b50e642ee1dc5adae64
docs/users_guide/glasgow_exts.xml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 7872a88..a35e570 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -11571,7 +11571,7 @@ described in <ulink
url="http://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf">Generative
type abstraction and type-level computation</ulink>, published at POPL 2011.</para>
-<sect2>
+<sect2 id="nominal-representational-and-phantom">
<title>Nominal, Representational, and Phantom</title>
<para>The goal of the roles system is to track when two types have the same
@@ -11628,7 +11628,7 @@ are unrelated.</para>
</sect2>
-<sect2>
+<sect2 id="role-inference">
<title>Role inference</title>
<para>
@@ -11682,7 +11682,7 @@ but role nominal for <literal>b</literal>.</para>
</sect2>
-<sect2>
+<sect2 id="role-annotations">
<title>Role annotations
<indexterm><primary>-XRoleAnnotations</primary></indexterm>
</title>
More information about the ghc-commits
mailing list