From: simonmar <unknown>
Date: Mon, 9 Aug 2004 12:35:02 +0000 (+0000)
Subject: [project @ 2004-08-09 12:35:02 by simonmar]
X-Git-Tag: Initial_conversion_from_CVS_complete~1762
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=a8601d0e040bf09752e3d0e9b4964e31de12f77b

[project @ 2004-08-09 12:35:02 by simonmar]
Fix scoped type variable example.
---

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>