From 5bd23e513eeff5beb852d60e2c9ff6314e24e87b Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 28 Oct 2008 15:04:47 +0000 Subject: [PATCH] Rename some variables in docs --- docs/users_guide/glasgow_exts.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 8b81139..2c3bea0 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -2007,9 +2007,9 @@ 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) -data G a b where { G1 { f1::a, f2::c } :: G a [c] } -upd3 g x = g { f1=x } -- OK: upd3 :: G a b -> c -> G c b -upd4 g x = g { f2=x } -- BAD (f2's type mentions c, which is not a simple +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 +upd4 g x = g { g2=x } -- BAD (f2's type mentions c, which is not a simple -- type-variable argument in G1's result type) -- 1.7.10.4