[commit: ghc] master: Update syntax of pattern synonym type signature in documentation (fixes #9967) (68a5a78)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/68a5a784e71b7535aa7d739bf1b003e96267a021/ghc

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

commit 68a5a784e71b7535aa7d739bf1b003e96267a021
Author: Dr. ERDI Gergo <gergo at erdi.hu>
Date:   Fri Jan 9 19:29:28 2015 +0800

    Update syntax of pattern synonym type signature in documentation (fixes #9967)


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

68a5a784e71b7535aa7d739bf1b003e96267a021
 docs/users_guide/glasgow_exts.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 424064e..0503561 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -1088,7 +1088,8 @@ would bring into scope the data constructor <literal>Just</literal> from the
   <replaceable>CReq</replaceable> are type contexts, and
   <replaceable>t1</replaceable>, <replaceable>t2</replaceable>, ...,
   <replaceable>tN</replaceable> and <replaceable>t</replaceable> are
-  types.
+  types. If <replaceable>CReq</replaceable> is empty
+  (<literal>()</literal>) it can be omitted.
 </para>
 
 <para>
@@ -1118,7 +1119,7 @@ the inferred pattern type of <literal>ExNumPat</literal> is
 </para>
 
 <programlisting>
-pattern (Show b) => ExNumPat b :: (Num a, Eq a) => T a
+pattern ExNumPat :: (Show b) => (Num a, Eq a) => b -> T a
 </programlisting>
 
 <para>