diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-02-14 00:36:00 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-15 07:29:05 -0500 |
| commit | 887454d8889ca5dbba70425de41d97939cb9ac60 (patch) | |
| tree | 6d7d57ee977f58fcceed0d59a95bcfdf057551dc /docs | |
| parent | b31df5caaebb1c4f72a3c70a9cdb7893af4c3309 (diff) | |
| download | haskell-887454d8889ca5dbba70425de41d97939cb9ac60.tar.gz | |
'forall' always a keyword, plus the dot type operator
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.8.1-notes.rst | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/users_guide/8.8.1-notes.rst b/docs/users_guide/8.8.1-notes.rst index 33b7f48e43..c5bc89a586 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 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: :: |