diff options
| -rw-r--r-- | docs/users_guide/extending_ghc.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/docs/users_guide/extending_ghc.rst b/docs/users_guide/extending_ghc.rst index efe18b0a3f..a0c3bd1665 100644 --- a/docs/users_guide/extending_ghc.rst +++ b/docs/users_guide/extending_ghc.rst @@ -58,7 +58,7 @@ A number of restrictions apply to use of annotations: - The expression you are annotating with must have a type with ``Typeable`` and ``Data`` instances -- The `Template Haskell staging restrictions <>`__ apply to the +- The :ref:`Template Haskell staging restrictions <th-usage>` apply to the expression being annotated with, so for example you cannot run a function from the module being compiled. diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 4513f7483c..93261a2227 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -9772,6 +9772,8 @@ The syntax for a declaration splice uses "``$``" not "``splice``". The type of the enclosed expression must be ``Q [Dec]``, not ``[Q Dec]``. Typed expression splices and quotations are supported.) +.. _th-usage: + Using Template Haskell ---------------------- |