[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