summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorÖmer Sinan Ağacan <omeragacan@gmail.com>2017-03-02 22:44:56 +0300
committerÖmer Sinan Ağacan <omeragacan@gmail.com>2017-03-02 22:44:56 +0300
commit27a1b12f90b4b27763d22310215f0df34cbd702a (patch)
tree6afc069f93941189279aad8af1851a6ce9796402 /docs
parent63191e99adfac908d24fd1cfb744b6711ca11953 (diff)
downloadhaskell-27a1b12f90b4b27763d22310215f0df34cbd702a.tar.gz
User manual: Fix GADT paper link
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/glasgow_exts.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 6fd5f70834..6ba693547b 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -2843,7 +2843,7 @@ also sets :ghc-flag:`-XGADTSyntax` and :ghc-flag:`-XMonoLocalBinds`.
binding site. The easiest way to ensure that a variable a rigid type
is to give it a type signature. For more precise details see `Simple
unification-based type inference for
- GADTs <http://research.microsoft.com/%7Esimonpj/papers/gadt>`__. The
+ GADTs <http://research.microsoft.com/%7Esimonpj/papers/gadt/>`__. The
criteria implemented by GHC are given in the Appendix.
.. _record-system-extensions: