diff options
| 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 |
| commit | 27a1b12f90b4b27763d22310215f0df34cbd702a (patch) | |
| tree | 6afc069f93941189279aad8af1851a6ce9796402 | |
| parent | 63191e99adfac908d24fd1cfb744b6711ca11953 (diff) | |
| download | haskell-27a1b12f90b4b27763d22310215f0df34cbd702a.tar.gz | |
User manual: Fix GADT paper link
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
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: |