[commit: ghc] ghc-7.10: Update syntax of pattern synonym type signature in documentation (fixes #9967) (44815dd)

[git at git.haskell.org]

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

On branch  : ghc-7.10
Link       : http://ghc.haskell.org/trac/ghc/changeset/44815ddbf4f682067c50704dd8920b0e56d8238c/ghc

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

commit 44815ddbf4f682067c50704dd8920b0e56d8238c
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)
    
    (cherry picked from commit 68a5a784e71b7535aa7d739bf1b003e96267a021)


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

44815ddbf4f682067c50704dd8920b0e56d8238c
 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 44577f9..96e3d28 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>