diff options
Diffstat (limited to 'docs/users_guide')
| -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: :: |