diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-09-18 10:11:11 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-09-18 10:11:11 -0400 |
commit | 662100076052a97bf5dd76f21b03725a6a6f6a7c (patch) | |
tree | d4693b58206bf449f4f19fdcd717253edfbf950b | |
parent | 867534750bcf66f6243f0b7d2d9ec11fa1defd04 (diff) | |
download | haskell-662100076052a97bf5dd76f21b03725a6a6f6a7c.tar.gz |
users guide: Fix link to let generalization blog postwip/T17200
Fixes #17200.
-rw-r--r-- | docs/users_guide/glasgow_exts.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 2e5619ec33..bedf1d1020 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -11010,7 +11010,8 @@ of bindings that mention it. The rationale for this more conservative strategy is given in `the papers <https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/jfp-outsidein.pdf>`__ "Let should not be generalised" and "Modular type inference with local -assumptions", and a related `blog post <http://ghc.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7>`__. +assumptions", and a related `blog post +<https://www.haskell.org/ghc/blog/20100930-LetGeneralisationInGhc7.html>`__. The extension :extension:`MonoLocalBinds` is implied by :extension:`TypeFamilies` and :extension:`GADTs`. You can switch it off again with |