From b19d97709b3a5f8a6be04f113525f868cc48ad53 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 14 Aug 2001 11:41:19 +0000
Subject: [PATCH] [project @ 2001-08-14 11:41:19 by simonmar] Fix example code
 in the generics section.

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

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.)
-- 
1.7.10.4