diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-09-18 10:11:11 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-19 21:42:55 -0400 |
| commit | 4853d962289db1b32886ec73e824cd37c9c5c002 (patch) | |
| tree | 7363fa9f0f5f5b5762372308f76804a16f667678 | |
| parent | b3e5c73119e5c3bf801885e56cababa446434211 (diff) | |
| download | haskell-4853d962289db1b32886ec73e824cd37c9c5c002.tar.gz | |
users guide: Fix link to let generalization blog post
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 5cf3c4b9cc..9b9e060e92 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 |