diff options
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 11cebb17d7..4513f7483c 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -1796,7 +1796,7 @@ In the case of transform comprehensions, notice that the groups are parameterised over some arbitrary type ``n`` (provided it has an ``fmap``, as well as the comprehension being over an arbitrary monad. -.. _monadfail-desugaring +.. _monadfail-desugaring: New monadic failure desugaring mechanism ---------------------------------------- @@ -10642,7 +10642,7 @@ strict, regardless of the pattern. (We say "apparent" exception because the Right Way to think of it is that the bang at the top of a binding is not part of the *pattern*; rather it is part of the syntax of the *binding*, creating a "bang-pattern binding".) See :ref:`Strict recursive and -polymorphic let bindings <recursive-and-polymorphic-let-bindings> for +polymorphic let bindings <recursive-and-polymorphic-let-bindings>` for how bang-pattern bindings are compiled. However, *nested* bangs in a pattern binding behave uniformly with all |