diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-11-11 10:45:13 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-11-11 16:22:53 -0500 |
| commit | 649bd8b3f30410d89ed2666371aa115bb9804cd5 (patch) | |
| tree | 9742fc10958cea16c61674341d9c9300589bdaef /docs | |
| parent | 446160febd129580fb5527cb7c7591331f65bf64 (diff) | |
| download | haskell-wip/T17458.tar.gz | |
users guide: Fix broken linkwip/T17458
Diffstat (limited to 'docs')
| -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 ---------------- |