diff options
Diffstat (limited to 'docs/users_guide/7.12.1-notes.rst')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/7.12.1-notes.rst b/docs/users_guide/7.12.1-notes.rst index bb4c55e71e..81609423ca 100644 --- a/docs/users_guide/7.12.1-notes.rst +++ b/docs/users_guide/7.12.1-notes.rst @@ -83,6 +83,11 @@ Language See :ref:`lib-base` for a description of the ``CallStack`` type. +- GHC now supports visible type application, allowing + programmers to easily specify how type parameters should be + instantiated when calling a function. See + :ref:`visible-type-application` for the details. + - To conform to the common case, the default role assigned to parameters of datatypes declared in ``hs-boot`` files is ``representational``. However, if the constructor(s) for the datatype |