diff options
| author | Sjoerd Visscher <sjoerd@w3future.com> | 2014-06-06 13:25:43 +0200 |
|---|---|---|
| committer | Sjoerd Visscher <sjoerd@w3future.com> | 2014-06-06 13:25:43 +0200 |
| commit | 3a2b21db67e22948439f5b50e642ee1dc5adae64 (patch) | |
| tree | 278cd4ead9c6ec68088251ed4b66ea904b6c651c /docs | |
| parent | 9e10963e394680dbb1b964c66cb428a2aa03df09 (diff) | |
| download | haskell-3a2b21db67e22948439f5b50e642ee1dc5adae64.tar.gz | |
Added link ends to role documentation.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 7872a88134..a35e5704e9 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> |