diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-08-26 03:56:01 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-08-26 03:56:01 -0400 |
commit | e383899b59feb7533e34158b35dc588f3e37b676 (patch) | |
tree | e30238a2fe0588f71ae91a0810f1dc4b06dcf38b | |
parent | 9c787d4d24f2b515934c8503ee2bbd7cfac4da20 (diff) | |
download | haskell-e383899b59feb7533e34158b35dc588f3e37b676.tar.gz |
relnotes: Clarify reference to VKA
-rw-r--r-- | docs/users_guide/8.8.1-notes.rst | 2 |
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. |