Commit 4853d962 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot
Browse files

users guide: Fix link to let generalization blog post

Fixes #17200.
parent b3e5c731
Pipeline #10373 failed with stages
in 240 minutes and 28 seconds
......@@ -11010,7 +11010,8 @@ of bindings that mention it.
The rationale for this more conservative strategy is given in `the
papers <>`__
"Let should not be generalised" and "Modular type inference with local
assumptions", and a related `blog post <>`__.
assumptions", and a related `blog post
The extension :extension:`MonoLocalBinds` is implied by :extension:`TypeFamilies`
and :extension:`GADTs`. You can switch it off again with
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment