From: simonmar <unknown>
Date: Tue, 14 Aug 2001 11:41:19 +0000 (+0000)
Subject: [project @ 2001-08-14 11:41:19 by simonmar]
X-Git-Tag: Approximately_9120_patches~1264
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b19d97709b3a5f8a6be04f113525f868cc48ad53;p=ghc-hetmet.git

[project @ 2001-08-14 11:41:19 by simonmar]
Fix example code in the generics section.
---

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index abe513a..1374ac4 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -3415,10 +3415,10 @@ So this too is illegal:
 <programlisting>
   class Foo a where
     op1 :: a -> Bool
-    op {| a :*: b |} (Inl x) = True
+    op1 {| a :*: b |} (x :*: y) = True
 
     op2 :: a -> Bool
-    op {| p :*: q |} (Inr y) = False
+    op2 {| p :*: q |} (x :*: y) = False
 </programlisting>
 (The reason for this restriction is that we gather all the equations for a particular type consructor
 into a single generic instance declaration.)