[commit: ghc] wip/forall-keyword: Dot/forall in 8.8.1 release notes (647894e)
git at git.haskell.org
git at git.haskell.org
Thu Feb 14 09:13:02 UTC 2019
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/forall-keyword
Link : http://ghc.haskell.org/trac/ghc/changeset/647894e5450d354e0255b705b8fdbe3264514ecb/ghc
>---------------------------------------------------------------
commit 647894e5450d354e0255b705b8fdbe3264514ecb
Author: Vladislav Zavialov <vlad.z.4096 at gmail.com>
Date: Thu Feb 14 00:59:23 2019 +0300
Dot/forall in 8.8.1 release notes
>---------------------------------------------------------------
647894e5450d354e0255b705b8fdbe3264514ecb
docs/users_guide/8.8.1-notes.rst | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/docs/users_guide/8.8.1-notes.rst b/docs/users_guide/8.8.1-notes.rst
index 33b7f48..0f97ff7 100644
--- a/docs/users_guide/8.8.1-notes.rst
+++ b/docs/users_guide/8.8.1-notes.rst
@@ -41,9 +41,13 @@ Language
terminating value of type ``Void``. Accordingly, GHC will not warn about
``K2`` (whereas previous versions of GHC would).
-- ``(!)`` is now a valid type operator: ::
+- ``(!)`` and ``(.)`` are now a valid type operators: ::
type family a ! b
+ type family a . b
+
+- ``forall`` is now always a keyword in types to provide more helpful
+ error messages when ``-XExplicitForall`` is off.
- An existential context no longer requires parenthesization: ::
More information about the ghc-commits
mailing list