summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-08-26 03:56:01 -0400
committerBen Gamari <ben@smart-cactus.org>2019-08-26 03:56:01 -0400
commite383899b59feb7533e34158b35dc588f3e37b676 (patch)
treee30238a2fe0588f71ae91a0810f1dc4b06dcf38b
parent9c787d4d24f2b515934c8503ee2bbd7cfac4da20 (diff)
downloadhaskell-e383899b59feb7533e34158b35dc588f3e37b676.tar.gz
relnotes: Clarify reference to VKA
-rw-r--r--docs/users_guide/8.8.1-notes.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/8.8.1-notes.rst b/docs/users_guide/8.8.1-notes.rst
index daeef56e7f..6c10205b25 100644
--- a/docs/users_guide/8.8.1-notes.rst
+++ b/docs/users_guide/8.8.1-notes.rst
@@ -13,7 +13,7 @@ Highlights
The highlights, since the 8.6.1 release, are:
-- GHC now supports :ref:`visible type applications <visible-type-application>`.
+- GHC now supports :ref:`visible type applications <visible-type-application>` at the type level.
- Type variables in type family instances and rewrite rules can now be explicitly ``forall``-bound.
- A new code layout algorithm for x86.
- The final phase of the ``MonadFail`` proposal has been implemented.