From 7d7d29b6fd7967099856b6f7e0bf7ee2e7a212ea Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 28 Oct 2008 15:05:34 +0000 Subject: [PATCH] Doc fix --- docs/users_guide/glasgow_exts.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 2c3bea0..aafe421 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -2005,7 +2005,7 @@ type. For example: data T a where { T1 { f1::a, f2::(a,b) } :: T a } -- b is existential upd1 t x = t { f1=x } -- OK: upd1 :: T a -> b -> T b upd2 t x = t { f2=x } -- BAD (f2's type mentions b, which is - existentially quantified) + -- existentially quantified) data G a b where { G1 { g1::a, g2::c } :: G a [c] } upd3 g x = g { g1=x } -- OK: upd3 :: G a b -> c -> G c b -- 1.7.10.4