diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-11-11 10:45:13 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-13 07:08:03 -0500 |
| commit | b4b19d8990f345f8ae7fde130ba84327353433a9 (patch) | |
| tree | 4576ea851c486d2d305dfb880589604314768a80 | |
| parent | 6885e22c83ac34e48a2abdb1958b07904f28eae6 (diff) | |
| download | haskell-b4b19d8990f345f8ae7fde130ba84327353433a9.tar.gz | |
users guide: Fix broken link
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 596304963a..5d708e1aa3 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -10380,7 +10380,11 @@ is *not* fine in Haskell today; we have no way to solve such a constraint. Here, the quantified constraint ``forall b. (Eq b) => Eq (f b)`` behaves a bit like a local instance declaration, and makes the instance typeable. -The paper `Quantified class constraints <http://i.cs.hku.hk/~bruno//papers/hs2017.pdf>`_ (by Bottu, Karachalias, Schrijvers, Oliveira, Wadler, Haskell Symposium 2017) describes this feature in technical detail, with examples, and so is a primary reference source for this proposal. +The paper `Quantified class constraints +<https://homepages.inf.ed.ac.uk/wadler/papers/quantcc/quantcc.pdf>`_ (by Bottu, Karachalias, +Schrijvers, Oliveira, Wadler, Haskell Symposium 2017) describes this feature in +technical detail, with examples, and so is a primary reference source for this +feature. Motivation ---------------- |