User manual: Fix GADT paper link
authorÖmer Sinan Ağacan <omeragacan@gmail.com>
Thu, 2 Mar 2017 19:44:56 +0000 (22:44 +0300)
committerÖmer Sinan Ağacan <omeragacan@gmail.com>
Thu, 2 Mar 2017 19:44:56 +0000 (22:44 +0300)
docs/users_guide/glasgow_exts.rst

index 6fd5f70..6ba6935 100644 (file)
@@ -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: