From a8601d0e040bf09752e3d0e9b4964e31de12f77b Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 9 Aug 2004 12:35:02 +0000
Subject: [PATCH] [project @ 2004-08-09 12:35:02 by simonmar] Fix scoped type
 variable example.

---
 ghc/docs/users_guide/glasgow_exts.sgml |   10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index 81d77dd..5c72af7 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -2900,12 +2900,18 @@ in lambda abstractions:
  Pattern type signatures, including the result part, can be used
 in <literal>case</literal> expressions:
 
-
 <programlisting>
-  case e of { (x::a, y) :: a -> x }
+  case e of { ((x::a, y) :: (a,b)) -> x }
 </programlisting>
 
+Note that the <literal>-&gt;</literal> symbol in a case alternative
+leads to difficulties when parsing a type signature in the pattern: in
+the absence of the extra parentheses in the example above, the parser
+would try to interpret the <literal>-&gt;</literal> as a function
+arrow and give a parse error later.
+
 </para>
+
 </listitem>
 
 <listitem>
-- 
1.7.10.4