diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-01-06 23:59:30 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-01-07 00:13:09 +0100 |
| commit | 5040686532d15a11a2ff52a020fc77de9374b7e3 (patch) | |
| tree | a15d089c59a57402bc65bc97de26e3f9d0a34ae6 /docs | |
| parent | 568736d757d3e0883b0250e0b948aeed646c20b5 (diff) | |
| download | haskell-5040686532d15a11a2ff52a020fc77de9374b7e3.tar.gz | |
users guide: Add links to release notes
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.0.1-notes.rst | 18 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
2 files changed, 12 insertions, 8 deletions
diff --git a/docs/users_guide/8.0.1-notes.rst b/docs/users_guide/8.0.1-notes.rst index be1f65b344..33a5c39965 100644 --- a/docs/users_guide/8.0.1-notes.rst +++ b/docs/users_guide/8.0.1-notes.rst @@ -16,25 +16,26 @@ The highlights, since the 7.10 branch, are: - nokinds -- Record pattern synonyms +- Support for :ref:`record pattern synonyms <record-patsyn>` -- ``-XDeriveAnyClass`` +- ``-XDeriveAnyClass`` to conveniently derive default instances (see :ref:`derive-any-class`) - More reliable DWARF debugging information -- Injective type classes +- Support for :ref:`injective type classes :ref:`injective-ty-fams` -- Applicative ``do`` notation +- Applicative ``do`` notation (see :ref:`applicative-do`) - Support for wildcards in data and type family instances - ``Strict`` and ``StrictData`` extensions, allowing modules to be compiled with - strict-by-default bindings. + strict-by-default bindings (see :ref:`strict-haskell`) - ``DuplicateRecordFields``, allowing multiple datatypes to declare the same - record field names provided they are used unambiguously + record field names provided they are used unambiguously (see :ref:`duplicate-record-fields`) -- Support for implicit parameters providing light-weight callstacks and source locations +- Support for implicit parameters providing light-weight + :ref:`callstacks and source locations <implicit-callstacks>` - User-defined error messages for type errors @@ -460,7 +461,8 @@ See ``changelog.md`` in the ``base`` package for full release notes. ``zipWithM`` and ``replicateM_`` (see :ghc-ticket:`10168`). - Add ``GHC.TypeLits.TypeError`` and ``ErrorMessage`` to allow users - to define custom compile-time error messages. + to define custom compile-time error messages. (see :ref:`custom-errors` and + the original :ghc-wiki:`proposal <Proposal/CustomTypeErrors>`). - The ``Generic`` instance for ``Proxy`` is now poly-kinded (see :ghc-ticket:`10775`) diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 372a03374a..5808d52876 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -784,6 +784,8 @@ The table below summarises where each kind of pattern synonym can be used. | Expression | No | Yes (Inferred)| Yes (Explicit) | +---------------+----------------+---------------+---------------------------+ +.. _record-patsyns: + Record Pattern Synonyms ~~~~~~~~~~~~~~~~~~~~~~~ |