[commit: ghc] ghc-8.0: users guide: Add links to release notes (7319008)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/7319008f7141129d5de6dafdd8d39156e6864015/ghc

>---------------------------------------------------------------

commit 7319008f7141129d5de6dafdd8d39156e6864015
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Wed Jan 6 23:59:30 2016 +0100

    users guide: Add links to release notes
    
    (cherry picked from commit 5040686532d15a11a2ff52a020fc77de9374b7e3)


>---------------------------------------------------------------

7319008f7141129d5de6dafdd8d39156e6864015
 docs/users_guide/8.0.1-notes.rst  | 18 ++++++++++--------
 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 a3b114e..252244d 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
 
@@ -451,7 +452,8 @@ See ``changelog.md`` in the ``base`` package for full release notes.
   provided by the ``semigroups`` package previously. (:ghc-ticket:`10365`)
 
 - 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 372a033..5808d52 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
 ~~~~~~~~~~~~~~~~~~~~~~~